Questions tagged [fitch]

Frederic Brenton Fitch (1908 – 1987) was an American logician who taught at Yale. He invented the Fitch-style for natural deduction. He is also famous for the paradox of knowability. The tag may also refer to natural deduction proof environments in Fitch-style calculus for giving and checking proofs.

9 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
1
vote
0answers
38 views

How did Fitch's opposition to the Russell-Whitehead theory of types turn out since the 1950's?

In a footnote to Appendix C of Frederic Fitch's Symbolic Logic (page 217), Fitch writes about his article, "Self-Reference in Philosophy": It is reprinted here in order to indicate more fully my ...
0
votes
3answers
65 views

How to prove H → M ¬H → ¬M prove H↔M?

I'm using the program Fitch and I need to make a formal proof for this: H → M ¬H → ¬M Prove: H↔M Any ideas on how to do so?
0
votes
2answers
147 views

Language Proof and logic Chapter 13 problem 31

I have been working on this problem for over an hour and I think I have simply missed something. I need some help. I don't see how this is supposed to work out Here are the premises: ∀x ∀y[Likes(x,...
-1
votes
1answer
212 views

Language, Proof, and Logic 14.11 Fitch Proof

Been stuck on this question for awhile now and I just don't know how to get Cube(x) so that I can use ^ intro with Cube(x) and ∀y (Cube(y) → y = a) and then use ∃ intro to get the conclusion. This is ...
-1
votes
1answer
46 views

How can I prove the law of excluded third (p ∨ ¬p)) using Fitch?

Good day. I do not quite understand how I can get ~~p after the 11th line. According to the proof of the law itself (and all reasonable logic) I should get it, and then simplify the expression - but ...
-1
votes
4answers
137 views

Language Proof & Logic 8.31 Fitch Proof

Been working on this one question for the past hours and I can't ever seem to get the last step working. Any help would be appreciated!
-2
votes
0answers
36 views

Having trouble with a proof

I have been working on this proof and can't seem to figure out how to do a critical step. I am trying to derive the universal quantifier @x and @y. I have derived @z already. Any help is appreciated ...
-2
votes
1answer
156 views

Language, Proof and Logic Exercise 14.13 (Fitch)

Having trouble proving this. I know how to prove the first conjunct of the conclusion, but not the second one. Picture shown is the attempt proof of the second conjunct (rules haven't been added yet). ...
-4
votes
2answers
62 views

how to prove ‘¬∃xP(x)→(P(a)→Q(a))’ from no premises? fitch

I am totally lost on how to do this... can anyone help? What does it mean? I tried to understand what it means before proof but am totally clueless