All Questions
Tagged with symbolic-logic syllogism
6
questions
-3
votes
8
answers
2k
views
Why does the Principle of Explosion not make Mathematical Logic inconsistent? [closed]
Step Proposition Derivation
1 ------P --------- Assumption
2 ---- ¬P --------- Assumption
3 ----- P ∨ Q ----- Disjunction introduction (1)
4 ----- Q --------- Disjunctive syllogism (3,2)
https:...
- 477
0
votes
3
answers
712
views
How to solve this natural deduction problem?
This one is driving me crazy. I don't understand most keys for de morgan, modus ponens, etc, so please abbreviate if possible? EX: DM, MP, SIMP, HS, Conj, Imp (material Implication). Thank you anybody ...
- 21
0
votes
1
answer
161
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, ...
- 19.5k
1
vote
3
answers
477
views
Is the reiteration rule in formal logic begging the question?
Wikipedia defines "begging the question" as
To "beg the question" is to put forward an argument whose validity
requires that its own conclusion is true.
I assume this is something Aristotle's ...
- 19.5k
3
votes
2
answers
880
views
In modern logic, why does "All S is P" contradict "Some S is not P"?
In modern logic, the existential import is removed from universal statements. So All S is P may still be true if there is no S at all.
Contradictory statements must have opposite truth values.
Why ...
- 91
2
votes
1
answer
950
views
Representation of Categorical Syllogism in Symbolic Logic
How would I represent a AAA categorical syllogism with symbolic logic?
- 45