-
1
-
-
0003874773
-
-
Cambridge University Press, Cambridge
-
Boolos, G.: The Logic of Provability, Cambridge University Press, Cambridge, 1993.
-
(1993)
The Logic of Provability
-
-
Boolos, G.1
-
2
-
-
14044261194
-
The non-triviality of dialectical set theory
-
in G. Priest, R. Routley and J. Norman (eds), Philosophia Verlag
-
Brady, R. T.: The non-triviality of dialectical set theory, in G. Priest, R. Routley and J. Norman (eds), Paraconsistent Logic: Essays on the Inconsistent, Philosophia Verlag, 1989, pp. 437-470.
-
(1989)
Paraconsistent Logic: Essays on the Inconsistent
, pp. 437-470
-
-
Brady, R.T.1
-
3
-
-
0039301549
-
On conservativeness and incompleteness
-
Field, H.: On conservativeness and incompleteness, J. Philos. 81 (1985), 239-60.
-
(1985)
J. Philos
, vol.81
, pp. 239-60
-
-
Field, H.1
-
4
-
-
0039467485
-
Deflating the conservativeness argument
-
Field, H.: Deflating the conservativeness argument, J. Philos. 96 (1999), 533-40.
-
(1999)
J. Philos
, vol.96
, pp. 533-40
-
-
Field, H.1
-
5
-
-
14044261192
-
Saving the truth schema from paradox
-
Field, H.: Saving the truth schema from paradox, J. Philos. Logic 31 (2002), 1-27.
-
(2002)
J. Philos. Logic
, vol.31
, pp. 1-27
-
-
Field, H.1
-
6
-
-
0004261788
-
-
MIT Press, Cambridge, MA
-
Gupta, A. and Belnap, N.: The Revision Theory of Truth, MIT Press, Cambridge, MA, 1993.
-
(1993)
The Revision Theory of Truth
-
-
Gupta, A.1
Belnap, N.2
-
7
-
-
0034402468
-
The liar paradox and fuzzy logic
-
Hajek, P., Paris, J. and Shepherdson, J.: The liar paradox and fuzzy logic, J. Symbolic Logic 65 (2000), 339-346.
-
(2000)
J. Symbolic Logic
, vol.65
, pp. 339-346
-
-
Hajek, P.1
Paris, J.2
Shepherdson, J.3
-
8
-
-
0039467481
-
Deflation and Tarski's paradox
-
Ketland, J.: Deflation and Tarski's paradox, Mind 108 (1999), 69-94.
-
(1999)
Mind
, vol.108
, pp. 69-94
-
-
Ketland, J.1
-
9
-
-
0000235860
-
Outline of a theory of truth
-
Kripke, S.: Outline of a theory of truth, J. Philos. 72 (1975), 690-716.
-
(1975)
J. Philos
, vol.72
, pp. 690-716
-
-
Kripke, S.1
-
10
-
-
52649085002
-
Arithmetic and truth in Łukasiewicz's infinitely valued logic
-
Restall, G.: Arithmetic and truth in Łukasiewicz's infinitely valued logic, Logique et Analyse 139-140 (1992), 303-312.
-
(1992)
Logique et Analyse
, vol.139-140
, pp. 303-312
-
-
Restall, G.1
-
12
-
-
0039893666
-
Conservativeness and incompleteness
-
Shapiro, S.: Conservativeness and incompleteness, J. Philos. 80 (1983), 521-31.
-
(1983)
J. Philos
, vol.80
, pp. 521-31
-
-
Shapiro, S.1
-
13
-
-
24944579100
-
Proof and truth: Through thick and thin
-
Shapiro, S.: Proof and truth: Through thick and thin, J. Philos. 95 (1998), 493-521.
-
(1998)
J. Philos
, vol.95
, pp. 493-521
-
-
Shapiro, S.1
|