Questions tagged [logic]
For questions about logic, whether it concerns syllogistic logic, mathematical logic or the nature of logic itself.
568
questions
63
votes
21
answers
22k
views
Is the "omniscient-omnipotent-omnipresent" definition of God consistent?
God is commonly defined as an omniscient (infinite knowledge), omnipotent (unlimited power), omnipresent (present everywhere) entity.
Is there any logical inconsistency in this definition?
I have ...
- 1,511
22
votes
1
answer
15k
views
How can we reason about "if P then Q" or "P only if Q" statements in propositional logic?
When you have a propositional sentence of the form P ⊃ Q — which we might read as "if P, then Q" — how can you tell when it is true, or false, based on the truth-values of P and ...
- 9,970
31
votes
10
answers
291k
views
What is the difference between Fact and Truth?
I'm curious about the difference between Fact and Truth. I was searching on the internet if I could find it. But still I'm confused about the exact meaning.
I first read the forum discussion here
Fact ...
- 595
12
votes
1
answer
872
views
What is the difference between depth and surface information?
I was looking for an answer to this question: Was Euclid's method of proof axiomatic?
While doing so I ran across an abstract of Jaakko Hintikka for an article "What is the axiomatic method?" ...
- 19.2k
26
votes
9
answers
26k
views
Is infinite regress of causation possible? Is infinite regress of causation necessary?
For a number of reasons — including perhaps a desire to feel that we have a complete understanding of where we came from, or at least an understanding which is completely sufficient for all of ...
- 9,970
24
votes
2
answers
27k
views
What fallacy dismisses problems by presenting "bigger" problems?
Wasn't really sure how to phrase this, but I'm thinking of an instance in which someone diminishes a problem by presenting one of larger scope - as a rather shoddy example, "x political problem in ...
- 343
9
votes
2
answers
1k
views
What are the differences between philosophies presupposing one Logic versus many logics?
I was wondering in light of the historical developments of logic since ancient Greeks and well into the nineteenth and twentieth centuries: What kind of a philosophy assumes only one Logic, and what ...
- 2,673
3
votes
2
answers
274
views
Philosophers or philosophical traditions that reject symbolic reasoning
I'm most familiar with philosophy in the context of discussing various flavors of logic, such as independence-friendly logic, various extensions of first-order logic with plurals, relevant logic, and ...
- 1,044
80
votes
12
answers
22k
views
Can you prove anything in philosophy?
I don't understand philosophy very well, and so I am wondering whether you can "prove" anything in philosophy. It always seems you can go a layer down, and find another question, almost endlessly ...
- 926
42
votes
16
answers
13k
views
How to get started with philosophy without getting overwhelmed quickly?
I’ve spent a lot of time trying to find how to get started with philosophy but I can’t. It seems that getting started with computer programming is nothing in comparison - with computer programming it’...
- 529
40
votes
13
answers
8k
views
What are the necessary conditions for an action to be regarded as a free choice?
A common philosophical question revolves around the existence of free will, but what I've found is that these debates seem to gloss over the concept of "free will" itself, either taking it as a given ...
- 657
19
votes
6
answers
5k
views
Is God either amoral or not omnipotent?
The usual (Christian) justification for suffering/evil in the world created by a benevolent God is freedom of the will. However, the more interesting question is not about the source of evil (which ...
- 42.5k
9
votes
2
answers
12k
views
What are the more complex/interesting examples of synthetic a priori statements?
The usual examples of synthetic a priori statements are – it seems at least since Kant:
"Nothing can be simultaneously red and green all over"
7 + 5 = 12 (or any other basic arithmetic statements).
...
- 4,580
42
votes
16
answers
19k
views
Does a negative claimant have a burden of proof?
I have often heard it said that the burden of proof is on the positive claimant but not on the one making a negative claim. A person claiming, "God exists" has a burden of proof but not a person ...
user409
13
votes
8
answers
2k
views
Why does the material conditional have the truth table it does?
Can someone provide me with the simplest possible argument for why the material conditional has the truth table it does?
Googling doesn't help at all, providing only flimsy and clumsy arguments. I ...
- 882
9
votes
12
answers
28k
views
Is it possible to know anything with certainty?
I have been thinking about objectivism vs relativism recently.
It is easy to prove by contradiction that there exist objective truths. However, is it possible to know anything?
If you assume a human ...
- 201
8
votes
2
answers
824
views
Existential import: in logic, do propositions default to true or false when objects in them do not exist?
In this hypothetical:
Firefighters always tell the truth, while politicians always tell lies.
Suppose three people, who are either a mix of firefighters and politicians, all politicians, or all ...
- 233
8
votes
2
answers
688
views
Does Tegmark's Mathematical Universe hypothesis allow existence of alternative mathematics?
Tegmark's mathematical multiverse hypothesis assumes that all mathematical structures exist as universes
But do you know whether his hypothesis also allows/accept universes described by other types ...
- 387
17
votes
2
answers
2k
views
What is the philosophical ground for distinguishing logic and mathematics?
I was wondering why the field of mathematics and that of logic are perceived as two distinct fields. Although could be pleased with the intuition that logic is rather meta-mathematics, still would ...
- 2,673
13
votes
5
answers
798
views
Do all epistemologies suffer from the "regress of justifications" problem?
Aristotle describes the regress problem in his logical work Posterior Analytics I.2:
b5. Some hold that, owing to the necessity of knowing the primary premisses, there is no scientific knowledge. ...
- 7,817
9
votes
4
answers
9k
views
How do I check if two logical expressions are equivalent?
For example:
Is (A ∨ B ∨ C) ∧ (D ∨ E ∨ F) the same as
(A ∧ D) ∨ (A ∧ E) ∨ (A ∧ F) ∨ (B ∧ D) ∨ (B ∧ E) ∨ ( B ∧ F) ∨ (C ∧ D) ∨ (C &...
8
votes
6
answers
7k
views
Why are conditionals with false antecedents considered true?
I don't understand what conceptual sense this scenario makes, or what the motivation behind the decision to make conditionals with a false antecedent true was. Can anyone help me understand this?
...
4
votes
1
answer
414
views
In how many and which ways can a logic be non-classical? Are there systems for organizing them?
I asked on MathSE What are the various respects under which a logic can deviate from classical logic, thus being “ non-classical”? and received one short answer. So, I'm interested in responses from ...
- 852
4
votes
3
answers
2k
views
What is the logical form of the definition of validity?
My text book gives the definition of validity as "An argument is valid IFF if the premises are true, then the conclusion must be true". Using a conditional elimination on the RHS of the IFF yields "An ...
- 49
21
votes
9
answers
33k
views
What is the difference between "necessary" and "sufficient"?
What is the logical difference between something being necessary in order for something else to be true; as opposed to something being sufficient to make something else true. i.e.
Fuel is sufficient ...
- 1,480
11
votes
2
answers
2k
views
Is there a deduction analog to the problem of induction?
Aren't deductive and inductive reasoning equally unjustified? So, inductive reasoning is going from specifics to general, whilst deductive reasoning is going from general to specific. But in deductive ...
- 451
1
vote
8
answers
501
views
Why do people use the material implicaton over alternatives?
It isn't because it works. There are numerous alternative, fully-functioning implication systems.
If people have a problem with conditionals with false antecedents, and with true consequents, always ...
- 73
1
vote
2
answers
559
views
References for the justification of the use of Logic
Following that question : How to justify the use of logic?
I'm looking for references of the justification of the use of Logic (the question above didn't ask explicitly for resources but rather for a ...
- 878
8
votes
4
answers
1k
views
Is free will a third option aside from chance and necessity?
The determinism dilemma is that if our actions are predetermined they are not free, and if they are random they are not willed, either way there is no free will. Even if will causation is a mixture of ...
- 42.5k
7
votes
3
answers
967
views
Is there modal logic without possible worlds?
Would it be desirable to carry out a deflationary research programme in modal logic? In other words, would it be desirable to re-think modal logic without the possible worlds semantics? The original ...
user13738
6
votes
5
answers
1k
views
What fallacy dismisses a conclusion because supporters give invalid arguments for it?
A person dismisses an otherwise valid argument, because some of its proponents support it for the wrong reason.
How is this fallacy called?
EDIT: Here is an example. A person defends the idea that ...
- 223
4
votes
10
answers
4k
views
Can logic be used to prove any belief?
I have witnessed a lot of debates and arguments of different beliefs, and noticed that each side uses logic to prove its point. So, can any belief be proven by logic regardless of its nature (...
3
votes
6
answers
927
views
Is the use of inconsistent definitions a logical fallacy?
I am not asking for a defense of or pro/con of the existence of an omnipotent (or multiple omni-x) being, or for the existence of square-circles or any other similar thing. These arguments are well ...
- 956
0
votes
3
answers
346
views
What justifications have been given for using particular systems of logical calculus?
I think that using any particular system of logical calculus should be properly justified.
This justification should be seen as particularly important and pressing in science and technology, and ...
- 6,241
22
votes
9
answers
4k
views
What formal logical systems "resolve" the Liar Paradox?
Short version of my question.
What formal logical systems can represent, and seem robust against, the Liar Paradox?
N.B. I would like to avoid reference to truth-values, except inasmuch as they ...
- 9,970
21
votes
12
answers
21k
views
Are omniscience and omnipotence mutually inconsistent?
I see this in The God Delusion by Richard Dawkins:
If God is omniscient, he must already know how he is going to intervene to change the course of history using his omnipotence. But
that means ...
- 319
17
votes
6
answers
3k
views
Is Logic Empirical?
We use the logical system that we know from observations (empirical data) holds true in the world we live in (please correct me if I am wrong). Hence the axioms of logic we choose are themselves ...
- 295
15
votes
2
answers
1k
views
What are the current topics in philosophy of logic?
I'm contemplating another attempt at completing my long delayed MA in Philosophy, and I need a new thesis topic. As a student I excelled in advanced symbolic logic, but my connection with academic ...
- 27.2k
9
votes
4
answers
5k
views
What fallacy argues that we should do nothing because we can not do everything?
A says to B "we should recycle because it is better for the environment," and person B says "if we wanted to be better environmentally, there's lots of things we could do that we don't, so we shouldn'...
- 91
7
votes
2
answers
1k
views
What is the relation between the material conditional in logic and conditionals that we use every day?
The material conditional has a truth-value of T in every case except where the antecedent proposition is true and the consequent is false. However, this means that many conditionals are true (if only ...
- 341
6
votes
5
answers
2k
views
How does actual infinity (of numbers or space) work?
Is infinity just continuous generation of numbers, or can space be actually infinite? If it is finite can we see it expand if we went to the edge?
When I say "I am counting to infinity" does it mean ...
- 61
6
votes
4
answers
1k
views
How does Plantinga's free will defense of God's benevolence work?
The purpose of the defense is to show that omniscient, omnipotent and benevolent God is consistent with the existence of evil in creation. The most popular version of the defense is due to Alvin ...
- 42.5k
3
votes
1
answer
576
views
Is there a suppressed premise in Anselm's Ontological Argument?
Source: 5 minutes 20 seconds juncture; Lecture 1, Video 4 (transcription);
MITx: 24.00x Introduction to Philosophy; by MIT Associate Prof Caspar Hare PhD (Princeton)
[...]
Suppose God existed in ...
user8572
23
votes
12
answers
3k
views
Motivations for dialetheism?
At the request of the moderators, I've reformulated this question to change the emphasis of the question to something perhaps a little more broad-ranging:
Question. What are the major modern ...
- 9,970
12
votes
2
answers
551
views
Was Locke right that analytic knowledge is vacuous?
According to Locke, it is impossible to obtain substantive knowledge from analytic propositions. Statements like "triangle has three sides" are analytic, but one cannot derive the Pythagorean Theorem ...
- 225
10
votes
3
answers
9k
views
Can there be a valid argument which has a tautology as a conclusion?
Given this definition:
A deduction is valid if and only if its conclusion is true whenever all of its hypotheses are true.
Can an argument be valid if it has a tautology as a conclusion?
An ...
- 101
9
votes
3
answers
1k
views
What are the arguments for and against "one true arithmetic"?
This question was born out of a discussion Is the real number structure unique? on Math SE, but since it is more philosophical than mathematical I decided to ask here.
From Gödel completeness and ...
- 93
8
votes
4
answers
3k
views
Is logic subjective?
If logic is constructed from axioms, and axioms are depended on observation which in term could be subjective, does this means that logic could be limited to our observation, and not really absolute ...
- 183
8
votes
5
answers
5k
views
What is the difference between the "is" of predication and the "is" of identity?
What is the difference between these, the "is" of predication and the "is" of identity?
For example, when I say, "my pet is a cat", am I using "is" as an identity or as a predicate?
- 691
7
votes
3
answers
669
views
Why is Tarski's notion of logical validity preferred to deductive one?
Its flaws are well-known and serious. To recall, an inference from A to B is valid iff all interpretations of "non-logical constants" that make A true also make B true. What are interpretations, a.k.a....
- 42.5k