|
|
(to appear in J. Salerno, ed., New Essays on the Knowability Paradox, Oxford: Oxford University Press) Tennant’s Troubles
– Timothy Williamson
|
|
|
Concepts and Axioms
– A.S. Troelstra
- 1998
|
|
|
J. SALERNO ⋆ REVISING THE LOGIC OF LOGICAL REVISION
– unknown authors
|
|
|
Description PHIL 478: Philosophical Logic Fall Semester, 2006
– Instructor J. Horty
|
|
|
A pragmatic framework for intuitionistic modalities: Classical logic and Lax logic.
– Gianluigi Bellin, Massimiliano Carrara, Daniele Chiffi
|
|
2
|
What does it mean to say that logic is formal?
– John Gordon MacFarlane
- 2000
|
|
|
Members of the Thesis Committee:
– Antonio Negro, Drs Theodora Achourioti, Prof Dr, Dick De Jongh, Dr. Catarina, Dutilh Novaes, Prof Dr, Martin Stokhof
- 2010
|
|
|
In Defense of the Ideal 2nd DRAFT
– W. W. Tait
|
|
|
Epistemic truth and excluded middle*
– Cesare Cozzo, Università Di Roma ”la Sapienza
|
|
3
|
2006: ‘Past the Linguistic Turn
– Timothy Williamson
|
|
|
Sense and Proof
– Carlo Penco, Daniele Porello
|
|
1
|
Truth and the foundations of mathematics. An introduction
– H. G. Dales, G. Oliveri
|
|
88
|
The Proof-Theory and Semantics of Intuitionistic Modal Logic
– Alex K. Simpson
- 1994
|
|
1
|
Alonzo Church's contributions to philosophy and Intensional Logic
– C. Anthony Anderson
- 1998
|
|
|
Induction and Indefinite Extensibility: The Gödel Sentence is True, but Did Someone Change the Subject?
– Stewart Shapiro
|
|
|
Thesis Proposal: The logical basis of evaluation order
– Noam Zeilberger, Peter Lee, Robert Harper, Paul-andré Melliès, Université Paris
- 2007
|
|
5
|
Diamonds are a Philosopher's Best Friends. The Knowability Paradox and Modal Epistemic Relevance Logic (Extended Abstract)
– Heinrich Wansing
- 2002
|
|
2
|
An Interpretation of Kleene's Slash in Type Theory
– Jan M. Smith
- 1993
|
|
|
unknown title
– Ursus Philosophicus, Dag Westerståhl
|
