Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [logic]

For questions about logic, whether it concerns syllogistic logic, mathematical logic or the nature of logic itself.

1
vote
2answers
109 views

How to get proof using proof editor and checker

How can I use http://proofs.openlogicproject.org/ or http://logic.tamu.edu/daemon.html to derive the given conclusion from the given premise: (∃x) ( Fx ∙ (y) (Fy → y = x) ) / (∃x) (y) (Fy ≡ y =...
2
votes
2answers
136 views

Is this argument valid?

Is this argument valid? No one under 18 is permitted to vote. No faculty member is under 18. The philosophy chairperson is a faculty member. Conclusion: The philosophy ...
1
vote
1answer
115 views

Universe as a container; Critique of the Kalam Cosmological Argument?

I was introduced to the Kalam Cosmological Argumant the other day (I know, late to the party), and it struck me that there seems to be a rather simple critique that I couldn't find an accounting of. ...
5
votes
1answer
349 views

Can possible-but-non-actual objects have accidental properties?

The modal logic I am considering is the "Simplest Quantified Modal Logic" which combines first-order predicate logic with identity, with S5 in the most straightforward way, described here and slightly ...
4
votes
4answers
226 views

A question on logical positivism and pragmatism with regards to meaning of a statement

‘Despite all its weaknesses, democracy is still the best form of government compared with all other forms of government that have been tried in human history.’ Which of the following is False ...
0
votes
3answers
149 views

How does one go about proving (A&B)⊃C |- A⊃(B⊃C)?

I am relatively new to logic and deductive reasoning, so this problem has been giving me some trouble. I want to start with an assumption of (A&B) and try to isolate a subproof where I can then ...
1
vote
2answers
103 views

How do you prove B v A |- A v B?

I am having trouble with how to use the assumption, which I feel that I will need for this proof. If any one can demonstrate or give hints for this proof, I would greatly appreciate it.
0
votes
2answers
82 views

Does rejecting the law of the excluded middle mean rejecting it for all propositions or only for those one cannot derive?

Wikipedia describes the law of the excluded middle as such: In logic, the law of excluded middle (or the principle of excluded middle) states that for any proposition, either that proposition is ...
-2
votes
2answers
175 views

Logic related to Cantor's argument [closed]

Suppose we construct a choice function that separates R/{0} in the interval (0,1) (viewed in base 2) into two sets A and B each consisting of an arbitrary element chosen from every pair of complements....
2
votes
1answer
46 views

How to translate classical logic to basic Kripkean logic?

I'm trying to semantically prove the following argument (sorry about the formatting - I'm new to stackexchange): if P ⊨c Q then ⊨k 򪪪(P → Q) However, I don't know how to translate or relate the ...
2
votes
3answers
76 views

McGee's Counterexample to Modus Ponens

I'd like to start off by saying that I have read the other posts in the Math StackExchange and here about this paper, but I think my question is a bit different from those although it does stem from ...
2
votes
3answers
163 views

if only one thing exists, nothing exists?

If one thing does not differ from any other, it has no identity (it has no properties, features, limits...). If something has no identity, it's not a thing. So only one thing can't exist. i.e.: I ...
1
vote
1answer
87 views

Are analogies logical arguments?

I have heard several analogies that attempt to give people a better understanding of the Christian trinity. Some compare it to H2O and how water can be solid, liquid, or gas. However, this is a form ...
2
votes
2answers
51 views

How to derive (∃x)(y)(Ax ⊃ By) from (x)Ax ⊃ (y)By?

Upon multiple attempts, I keep arriving at the same conclusion, but I believe this is not right. How shall one proceed with this one? I've exhausted the resources I have at my reach.
0
votes
8answers
213 views

Can we ask an infinite amount of questions or is there a limit to how many questions we can ask? [closed]

I've been thinking about the nature of questions and answers to questions. Can I ask people opinions on whether they think it is possible to ask an infinite amount of questions or do we as human ...
16
votes
4answers
4k views

Is there any worth—other than historical—to reading Aristotle's works on logic?

What I mean is that presumably a topic such as logic would have, at this point, been so advanced that the ancestral works are unnecessary. I would read it for pleasure, but have they been ultimately ...
2
votes
1answer
28 views

What's a Good Introduction/Summary to Probabilistic Logic?

I hadn't even heard of Probabilistic Logic before today. My world view was already leaning in this direction as I never really put much stock in either the law of the excluded middle or the principal ...
2
votes
1answer
43 views

What does predicative mean?

I'm reading this page https://plato.stanford.edu/entries/type-theory/ where the words predicative and impredicative are used in this context: Notice that for defining the predicate R, we have ...
2
votes
4answers
102 views

How to denote physical (not logical) impossibility in modal logic?

Say I want to note that in this world, it's physically impossible to jump over the Eiffel Tower. I can just write ¬◇x, but this seems to say that in all possible worlds x is impossible, and I want to ...
4
votes
4answers
118 views

Can a reason cost 5 dollars?

Imagine a school where no one can wear a red hat. John goes to school with a red hat costing 5 dollars. Someone says John's red hat "is" the reason why he can't get into the school. What is the ...
2
votes
0answers
46 views

‘The claim that I had an affair with Miss A and that I didn’t father her child is false’

The prosecutor asks, ‘Did you father the child of the murdered victim Miss A?’. Mr. N replies, ‘The claim that I had an affair with Miss A and that I didn’t father her child is false’. In response ...
1
vote
2answers
90 views

Is there a rigorous definition of ‘everything’?

Is there a rigorous definition for this concept? ‘The collection of every individual thing’? If an ‘individual thing’ is something that is different from something else, ‘everything’ could be the ...
1
vote
4answers
116 views

Why do we think objects and beings are real? [closed]

How can we tell if we are real and not a simulation that we perceive to be real. Given we know not what the universe is except what we perceive it to be. What if galaxies are just but other ...
6
votes
2answers
179 views

Why do humans make infants? [closed]

Considering that humans are the most intelligent species on earth, why do humans make infants? I cannot understand the reason why humans make infants, when humans can't predict whether the ...
3
votes
2answers
46 views

Is first order logic with fixed domain of discourse decidable?

Whether an arbitrary statement in first order logic has a valid model is undecidable. But what if we constrain the domain of discourse to say, integers, or real numbers. I'm thinking of its ...
1
vote
2answers
73 views

How to prove ~ (~P & ~Q) : P ∨ Q by natural deduction

Here's another of Tomassi's exercises I can't solve (Logic, page 106): ~ (~P & ~Q) : P ∨ Q I have to use natural deduction and the only rules I know are: assumptions, modus ponendo ponens, ...
2
votes
10answers
217 views

How could we get a world where only impossible things happen? [closed]

Imagine a universe where 1+1=3. This contradiction would trigger the effects of the principle of explosion, and thus, literally everything (possible and impossible things) could happen. If we lived in ...
7
votes
5answers
863 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?
1
vote
1answer
66 views

Does relationism resolve the Sorites paradox?

The ancient Sorites paradox, 1 grain of wheat does not make a heap. If 1 grain doesn’t make a heap, then 2 grains don’t. If 2 grains don’t make a heap, then 3 grains don’t. … If 999,999 grains ...
2
votes
0answers
33 views

Are there degrees of rationality/plausibility to assumptions?

There are many kinds of premises, in every possible field. I'll limit this question to metaphysics, although it can definitely be applied to each and every scientific/philosophical study. For example,...
8
votes
1answer
435 views

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 ...
3
votes
4answers
762 views

Is “(1) All humans are mortal. (2) Socrates is mortal. Conclusion: Socrates is human.” unsound argument?

I am new to a philosophy course and recently learned about validity and soundness of an argument. In this exercise: Premise 1: All humans are mortal. Premise 2: Socrates is mortal. ...
0
votes
3answers
107 views

Łukasiewicz & statements about the past

I think this is a fair presentation of Łukasiewicz's view on past, present, and future statements in an answer by Johannes https://philosophy.stackexchange.com/a/31995/29944: "His view is that ...
1
vote
3answers
94 views
0
votes
0answers
30 views

What is an example of a monadic predicate calculus argument that cannot be represented by the 19 classical Aristotelian syllogisms alone?

While reading Wikipedia's description of the monadic predicate calculus, I read the following: Inferences in term logic can all be represented in the monadic predicate calculus. and Conversely, ...
2
votes
0answers
44 views

Is there such a thing as unary logic?

Is there such a thing as unary (as opposed to binary, ternary, …, n-ary) logic? cf. Is there any reason for the heavy focus on binary relations in formal logic?
3
votes
3answers
210 views

Can randomness be random?

In mathematics, a true random number generator it's impossible, because any formula defines a process that, however complex, is not random. A random event must be unrelated to any cause or condition, ...
1
vote
1answer
62 views

Books on the logic of science

I was recently skimming through Nagels "The Structure of Science", and I wonder if there are other books that go through the philosophy of science through a logical point of view; That is, I am ...
1
vote
0answers
44 views

Proof from tree to steps

I'm able to get the proof in a tree form (it's invalid). Is there a method where I can transform it to steps method indicating the rules of inference and replacement?
4
votes
2answers
530 views

meaning of (r .⊃. s ⊃ r) [the syntax meaning]

I'm trying to to determine whether the following is a tautology, contingency, or contradictory: (p ⊃ q) ∨ (q ⊃ p) .⊃. (r .⊃. s ⊃ r) This is school work. I'm getting that it's a tautology, but only ...
3
votes
0answers
34 views

Why does Hume believe that ought brings a new relation?

If means-end reasoning, where we can say that one is ought to do X in order to get Y, does not bring a new relation, then in order to tell that ought brings a new relation, we ought to assert that ...
1
vote
0answers
53 views

What is the difference between ampliative, abductive and inductive arguments?

I know all these arguments are kind of the same but what is the border dividing them?
1
vote
2answers
106 views

You disagree with me, therefore you are X. What is the name of this fallacy (manipulative trick)?

Across my life I have encountered this numerous times. One recent example: If you don't think those are a crime, you are not adult enough or logical enough to have a conversation with me. While ...
1
vote
2answers
87 views

Is arguing that one's opponent has “no evidence” an example of some identified logical fallacy?

I sometimes hear someone claim that the person they are arguing with has "no evidence" for whatever they are arguing for. Although I usually dismiss such claims thinking that what "no evidence" means ...
32
votes
12answers
12k views

Is circular reasoning always a fallacy?

Suppose the following dialogue: ... "I accept only one notion of land property. Namely, 'I am doing my stuff here, therefore I am here". "But this means," he responded, "you can break ...
7
votes
5answers
1k views

Can an argument be formally valid with sound premises and still be informally fallacious?

Consider the following two assumptions: Validity Assumption: Assume an argument is valid. It follows all the formal logical rules of inference. The inference contains no formal logical fallacy. ...
1
vote
2answers
107 views

Does Hume reject the possibility of is-ought syllogisms?

Suppose the following syllogism: It is impossible for anyone to get X without him/her doing Y. It is possible to get X (by doing Y). I want to get X. Therefore I ought to do Y. There is, very likely,...
4
votes
5answers
204 views

IF, THEN and exceptions

I'm trying to figure out if (2) necessarily follows from (1). Or can (1) and (2) be true together? 1) whoever does X, except for the reason of Y, commits Z 2) whoever does X, for the reason of Y, ...
1
vote
1answer
92 views

Prove transitivity in Fitch

How to prove transitivity in Fitch. Is it Ok? | 1. a = b | 2. b = c | 3. c = c =Intro | 4. a = c =Elim: 3, 2 | 5. b = c =Elim: 4, 1
1
vote
1answer
50 views

What is an example of a predictive conditional?

Can someone explain to me with an example what a predictive conditional is? Does this type of conditional have necessary and sufficient conditions?