Stack Exchange Network

Stack Exchange network consists of 175 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.

0
votes
0answers
2 views

Where can I study this in more detail?

I am finding pages 11-13 (propositions 1-9) in the pdf file here very interesting: http://traditionalhikma.com/wp-content/uploads/2015/08/Alfarabis-Philosophy-of-Plato-and-Aristotle-Translated-by-...
2
votes
0answers
12 views

What is the difference between normal and non-normal modal logics?

What is the difference between normal and non-normal modal logics that determines why some inferences are valid in one and not the other relative to their respective semantics? What are their ...
3
votes
1answer
253 views

What should one know about term logic before studying propositional and predicate logic?

I'm hearing that predicate logic replaces term logic, but teaching of predicated logic assumes knowledge of term logic. What are essential to know from term logic before studying propositional and ...
2
votes
0answers
26 views

How did Aristotelian logic view this?

I am very interested in the logical aspect of Aristotelian philosophy, especially how it was used by al Farabi and Ibn Sina in explaining understanding and breaking this complicated process down ...
-1
votes
0answers
38 views

What would happen if we saw an impossible thing? Would we see it? [on hold]

Consider there is a multiverse where all kinds of impossible worlds and things occur. Where illogical/logically impossible things exist. Where there are even, somehow, things that are logically ...
-3
votes
0answers
107 views

Philosophy of Logic – Converting formal proofs to the sound deductive logical inference model [on hold]

Within the sound deductive inference model there is a [connected sequence of valid deductions from true premises to a true conclusion] unlike the formal proofs of symbolic logic provability cannot ...
0
votes
3answers
38 views

Can two different objects at the same time be the same? [on hold]

Can two things be different and yet the same at the same time? For example, a chair (white) does not have one leg and another (black) has all of its legs. As in the question, these two things with ...
0
votes
4answers
66 views

Finite Alphabets

This is a question based on section 2.5.6 from the book Logic, laws of truth, by Nicholas J.J Smith, page 48. What does Nicholas mean when he says: Note that we can further specify exactly what we ...
1
vote
0answers
34 views

What is a good history of logic book that covers all logic?

Including inductive, formal and mathematical. I find them separated a lot and I don't know if I have the ability to sit through all the Handbook of the History of Logic series.
-3
votes
2answers
69 views

Is it possible to mathematically define a hypercomputer-universe where things that could not be computed by it could exist? [duplicate]

There are a few physicists that propose that the universe is a hypercomputer. One example is Roger Penrose, who, basing in his quantum interpretation (https://en.wikipedia.org/wiki/...
6
votes
4answers
1k views

In predicate logic, does existential quantification (∃) include universal quantification (∀), i.e. can 'some' imply 'all'?

I am having a discussion wether 'some' can also imply 'all'. The definition for some, 'an unspecified number or amount of people or things' seems to leave room for this interpretation. Discussion ...
-4
votes
0answers
37 views

What does odd and even mean? [closed]

Odds are against us. eg: If you say that the odds are against something or someone, you mean that they are unlikely to succeed. The sentence paints a picture of the word odds as something which is ...
2
votes
4answers
1k views

Is the argument below valid?

If interest rates go down, then I will buy a house. If I buy a house, I will need a loan. Therefore, I will not need a loan if I do not buy a house. Is this argument valid?
5
votes
0answers
66 views

Hume's argument for the subjectivity of morality

I am trying to analyze the following argument by Hume in his Treatise of Human Nature: But can there be any difficulty in proving, that vice and virtue are not matters of fact, whose existence we ...
0
votes
0answers
39 views

Is it there any model of the universe or any (physical) cosmological theory or model completely compatible with trivialism? [duplicate]

Trivialism is a system that proposes that literally every proposition is true and false at the same time blatantly breaking the principle of no contradiction and triggering the principle of explosion (...
0
votes
2answers
67 views

Is “If…then” not a truly logical connective?

Since you can completely fill out a truth table for "not A", "A and B", and "A or B", but not for "if A then B", can it really be a logical connective? The only thing that can be confirmed about the ...
1
vote
0answers
106 views

Is it there any trivialist model in physics (like in quantum mechanics)?

Trivialism is a system that proposes that literally every proposition is true and false at the same time blatantly breaking the principle of no contradiction and triggering the principle of explosion (...
0
votes
2answers
32 views

Recursive definitions (a couple questions based on them)

From the book Logic, laws of truth, by Nicholas J.J Smith: What does Smith mean by recursive definitions? Why does it matter? How do you make recursive definitions for something such as: a) the set ...
1
vote
0answers
54 views

Can hypercomputation compute the impossible?

There are things which are illogical/logically impossible (like saying that 2+2=4 and 2+2=5. Without changing anything in the axioms of mathematics or logic, this would be a contradiction and would be ...
0
votes
1answer
52 views

Syntax of propositional logic

From the book Logic: The laws of truth by Nicholas J.J Smith, page 40, sub-heading: "Syntax of PL". What does the author mean by the syntax of PL? Can someone explain what the author is trying to ...
0
votes
1answer
153 views

What is the difference between the resolution rule and the elimination in natural deduction?

I understand that elimination is: p v q ¬q then p and resolution is: q1 v q2 v q3...qn ¬q1 v q2 v q3...qn then q2 v q3...qn I see no difference, but my teacher is telling us don't use the ...
3
votes
1answer
67 views
1
vote
0answers
43 views

Logic-related note-taking question

I have been thinking about note taking from a logical perspective recently. It started when I realized that note-taking is basically a process of extracting "statements" or "arguments" from a piece of ...
-2
votes
1answer
79 views

To pass two time for the same place. Logic question [closed]

Let be the proposition: "To visit two times the same place is forbidden". It is forbidden to visit the same place three times? A says: "No, because it is forbidden to visit the place two times". ...
3
votes
2answers
160 views

What is the meaning of “comprehension” in logic?

I was reading about the axioms of Zermelo-Fraenkel set theory and the axiom of restricted comprehension. This led me to find out what the meaning of this word is and why it's called this. Then I saw ...
1
vote
0answers
74 views

Why is a square circle metaphysically impossible?

We have definitions for both a square and a circle. By definition, I understand that it's impossible to have a square circle. However, why does the word 'square' have to necessarily mean 'a plane ...
1
vote
0answers
70 views

If logical propositions aren't tautologies (a la Wittgenstein), then what could they be?

This is a historical question about philosophical views. I believe I understand the claim made by Wittgenstein and others that logical propositions are tautologies. I'd like to know what other views ...
16
votes
8answers
7k views

How is the claim “I am in New York only if I am in America” the same as "If I am in New York, then I am in America?

It makes absolutely zero sense to me. It would make sense if "I am in America" is the antecedent and the consequent is the former. Even though it wouldn't be sound, it would make logical sense. I ...
1
vote
3answers
54 views

Relationship between entailment and equivalence with consistency

If A entails B, why is it not true that A is also consistent with B? Given the definition requires A and B to be able to be true at the same time.
0
votes
1answer
79 views

Checking the validity of the logical conclusion gleaned from a heated conversation

I have two friends - call them John and Jane. I was recently privy to an argument concerning a book between John and Jane that went like this: John: This book did not make a single coherent, ...
4
votes
3answers
138 views

When is a connective truth functional?

I got this question from Logic, laws of truth, by Nicholas J.J Smith. He says (page 24) : "A connective is truth functional if it has the property that the truth or falsity of a compound ...
4
votes
1answer
237 views

How to Prove P(a) → ∀x(P(x) ∨ ¬(x = a)) using Natural Deduction

How would a formal Fitch proof look like. I am given P(a) → ∀x(P(x) ∨ ¬(x = a)) to prove using Natural Deduction of predicate logic. I am confused on how to proceed with the proof. Please advice me ...
6
votes
2answers
147 views

Quantum mechanics and the principle of bivalence

Does quantum mechanics, due to the phenomenon of superposition (Schrodinger's cat is both dead and alive), give reasons to alter the laws of logic, specifically the principle of bivalance (something ...
5
votes
2answers
477 views

What is the difference between NTP and validity in Smith's “Logic: The Laws of Truth”?

The book I got this question from is "logic, the laws of truth" by Nicholas j.j smith. "Necessary truth preserving" (NTP in the book) is defined as the property that an argument has when it is ...
9
votes
2answers
505 views

Gödel's incompleteness theorems - what are the religious implications?

Apparently Kurt Gödel believed that his incompleteness theorems have some kind of religious implications. Despite Gödel's belief in a personal God, this was still somewhat surprising to me. ...
5
votes
2answers
195 views

What does Wittgenstein mean when he says “there are no numbers in logic”?

From the Tractatus: 5.453 All numbers in logic stand in need of justification. Or rather, it must become evident that there are no numbers in logic. There are no pre-eminent numbers. What does ...
2
votes
2answers
135 views

How can we be accountable if we are chemically programmed?

If we accept that molecular biology largely explains cognitive function deterministically, how can we be accountable? Is determinism not inherently nihilist in that a person is a victim of ...
-2
votes
0answers
25 views

Wittgenstein argues in the Tractatus that the laws of logic lack sense, say nothing about reality, and are analytic [duplicate]

1) What does this mean? and what's his argument? 2) What do you think of this view?
1
vote
2answers
74 views

Formal proof errors

I am trying to prove A ^ B from the premises shown in the screenshot. As you can see in the screenshot I am struggling with the second sub-sub proof. Do you have recommendations for how to continue/...
0
votes
0answers
52 views

Why do there exist “logical fallacies” that are not really consistent logical fallacies?

Why do there exist "logical fallacies" that are not really consistent logical fallacies? By logical fallacy, consider e.g. ad hominem. By consistent logical fallacy I refer to a type of logical ...
2
votes
0answers
49 views

What did Nietzsche mean? [duplicate]

What does, Nietzsche in Beyond Good and Evil, mean exactly when he states: Whoever fights monsters should see to it that in the process he does not become a monster. And if you gaze long enough into ...
0
votes
1answer
57 views

Logic : steps to prove valid reasoning [closed]

I am very new to this and I can't figure out the steps to prove that these reasonings are valid. Thank you for your help. p ¬r p → (q→r) ___________ ¬q (¬p ∨ ¬q) → r p q __________ ...
6
votes
3answers
285 views

What happens if we accept inconsistency?

(Philosophy novice here and not sure how best to phrase this question; if it's unclear please point out the problems). Imagine this conversation: Alice: I believe that X. Bob: Do you also ...
-1
votes
0answers
42 views

Can you help me tackle this question by giving formal proof using natural deduction

Using the natural deduction rules, give a formal proof that the following three sentences are inconsistent: ¬P∨Q ¬P→Q ¬Q
2
votes
4answers
158 views

Is math arbitrary?

Math at its core begins with calling something true or false and following logic. WE for example call an odd number 2n+1, but what if we called an odd number 2n and flipped it for it to become an even ...
1
vote
1answer
46 views

Fitch Proof and Logic prove A V D given premises 1. A V B 2. ¬C ∨ ¬B [closed]

I have to prove this in Fitch without using any of the cons
0
votes
2answers
396 views

Why is it logical to invoke an uncreated universe with no intelligent design?

How can an atheist invoke an uncreated universe with no intelligent design and assert its logical consistency? Why is it logical? By moving the goal post to aliens seeded earth from another universe,...
17
votes
7answers
6k views

What's the name of the logical fallacy where a debater extends a statement far beyond the original statement to make it true?

Suppose that someone initially states that "fossil fuel consumption due to mobile phone usage is similar to that of private transportation, so if you think we should switch to electric/bike to fight ...
2
votes
0answers
46 views

Please what do we call this type of hypothetical statement?:

"It is certain you have a nose when you can smell but not everyone with a nose can smell". Or "It is certain you have a brain when you can think. But not everyone with a brain can think" Note: As I ...
-2
votes
2answers
62 views

Fitch-style natural deduction

How to prove the following questions? (a) p from assumption ¬(p → q) (b) ¬¬p → p from no assumptions.