New answers tagged symbolic-logic
0
votes
How to get online proof writers working?
Well, imo you're kinda missing some stuff to properly delineate the scope of the disjunction. I would makee the premise like this:
∃x[ (S → R(x)) ∨ ((∀yQ(y)) ∧ S) ]
Notice the extra set of parentheses ...
- 2,753
0
votes
What is the difference between logical consistency and logical entailment in deductive logic?
Ok, I think I understand either your confusion or difficulty with these (two)
so-called logical concepts. So let's step back and see if we can think outside the box for a moment (I mean let's forget ...
0
votes
How did Fitch's opposition to the Russell-Whitehead theory of types turn out since the 1950's?
I will interpret the question as, "Did Fitch's allowance for self-reference make headway in analytic philosophy?" and answer in the affirmative. Quine's New Foundations set theory, already ...
- 22.6k
Top 50 recent answers are included