All Questions
Tagged with symbolic-logic bertrand-russell
5
questions
0
votes
1
answer
50
views
formalization: definite description (narrow reading)
I am not sure which formalization is right [1] or [2]:
'The teacher of Plato does not exist.'
[1] ∃x(Tx,p ∧ ∀y[Ty,p → y=x] ∧ ¬∃y[y = x])
[2] ∃x(Tx,p ∧ ∀y[Ty,p → y=x] ∧ ¬∃z[z = x])
Is it possible to ...
- 3
10
votes
7
answers
3k
views
What did Russell mean when he wrote that the null-class, the class having no members, did not exist?
I am not quite sure I interpret the following sentence correctly in Bertrand Russell's paper on existential import:
and among classes there is just one which does not exist, namely, the class having ...
- 8,363
0
votes
2
answers
67
views
How do I symbolise this statement with a definite description in first order logic?
"If there is exactly one present King of France, then the present King of France is a present King of France"
The part I am confused about is the consequent of the conditional which equals ...
2
votes
2
answers
152
views
Truth Value of Definite Descriptions
I'm currently studying definite descriptions in logic. My textbook postulates Bertrand Russell's view of definite descriptions, but I'm curious about other views as well (in the context of classical 2-...
- 317
1
vote
0
answers
56
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 ...
- 19.5k