-
2
-
-
0003879461
-
Logical Frameworks for Truth and Abstraction. An Axiomatic Study
-
Amsterdam: Elsevier
-
Cantini, Andrea 1996: Logical Frameworks for Truth and Abstraction. An Axiomatic Study, vol. 135 of Studies in Logic and the Foundations of Mathematics. Amsterdam: Elsevier
-
(1996)
Studies in Logic and the Foundations of Mathematics
, vol.135
-
-
Cantini, A.1
-
3
-
-
21244485739
-
Finite Axiomatizability Using Additional Predicates
-
Craig, William and Vaught, Robert 1958: "Finite Axiomatizability Using Additional Predicates". Journal of Symbolic Logic, 23, pp. 289-308
-
(1958)
Journal of Symbolic Logic
, vol.23
, pp. 289-308
-
-
Craig, W.1
Vaught, R.2
-
4
-
-
0009949303
-
Reflecting on Incompleteness
-
Feferman, Solomon 1991: "Reflecting on Incompleteness". Journal of Symbolic Logic, 56, pp. 1-49
-
(1991)
Journal of Symbolic Logic
, vol.56
, pp. 1-49
-
-
Feferman, S.1
-
5
-
-
0011570095
-
Tarski's Theory of Truth
-
Field, Hartry 1972: "Tarski's Theory of Truth". Journal of Philosophy, 69, pp. 347-75
-
(1972)
Journal of Philosophy
, vol.69
, pp. 347-375
-
-
Field, H.1
-
6
-
-
0038874752
-
The Deflationary Conception of Truth
-
G. MacDonald and C. Wright eds, Oxford: Blackwell
-
- 1986: "The Deflationary Conception of Truth", in G. MacDonald and C. Wright (eds.), Fact, Science and Morality. Oxford: Blackwell, pp. 55-117
-
(1986)
Fact, Science and Morality
, pp. 55-117
-
-
Field, H.1
-
7
-
-
0040652912
-
Deflationist Views of Meaning and Content
-
- 1994: "Deflationist Views of Meaning and Content". Mind, 103, pp. 247-85
-
(1994)
Mind
, vol.103
, pp. 247-285
-
-
Field, H.1
-
8
-
-
38249037909
-
An Axiomatic Approach to Self-Referential Truth
-
Friedman, Harvey and Sheard, Michael 1987: "An Axiomatic Approach to Self-Referential Truth", Annals of Pure and Applied Logic, 33, pp. 1-21
-
(1987)
Annals of Pure and Applied Logic
, vol.33
, pp. 1-21
-
-
Friedman, H.1
Sheard, M.2
-
9
-
-
24944559601
-
A Critique of Deflationism
-
Gupta, Anil 1993: "A Critique of Deflationism". Philosophical Topics, 21, pp. 57-81
-
(1993)
Philosophical Topics
, vol.21
, pp. 57-81
-
-
Gupta, A.1
-
10
-
-
61449309648
-
-
PhD thesis, Ludwigs-Maximilians-Universität, Centrum für Informations und Spraehverarbeihmg, München
-
Halbach, Volker 1994: Tarski-Hierarchien, PhD thesis, Ludwigs-Maximilians-Universität, Centrum für Informations und Spraehverarbeihmg, München
-
(1994)
Tarski-Hierarchien
-
-
Halbach, V.1
-
13
-
-
85038677681
-
Conservative Theories of Classical Truth
-
forthcoming a
-
- (forthcoming a): "Conservative Theories of Classical Truth". Studia Logica
-
Studia Logica
-
-
Halbach, V.1
-
17
-
-
0004189657
-
-
Basil Blackwell, Oxford
-
Horwich, Paul 1990: Truth. Basil Blackwell, Oxford
-
(1990)
Truth
-
-
Horwich, P.1
-
19
-
-
0041191774
-
Finite Axiomaticability of Theories in the Predicate Calculus Using Additional Predicate Symbols
-
Providence, Rhode Island: American Mathematical Society
-
Kleene, Stephen C. 1952: "Finite Axiomaticability of Theories in the Predicate Calculus Using Additional Predicate Symbols". Memoirs of the American Mathematical Society 10. Providence, Rhode Island: American Mathematical Society, pp. 27-68
-
(1952)
Memoirs of the American Mathematical Society
, vol.10
, pp. 27-68
-
-
Kleene, S.C.1
-
20
-
-
0040832429
-
Construction of Satisfaction Classes for Nonstandard Models
-
Kotlarski, Henryk, Krajewski, Stanislaw and Lachlan, Alistair 1981: "Construction of Satisfaction Classes for Nonstandard Models". Canadian Mathematical Bulletin, 24, pp. 283-93
-
(1981)
Canadian Mathematical Bulletin
, vol.24
, pp. 283-293
-
-
Kotlarski, H.1
Krajewski, S.2
Lachlan, A.3
-
21
-
-
33745739347
-
Theories of Reference and Truth
-
Leeds, Stephen 1978: "Theories of Reference and Truth". Erkenntnis, 13, pp. 111-29
-
(1978)
Erkenntnis
, vol.13
, pp. 111-129
-
-
Leeds, S.1
-
23
-
-
33751072385
-
Maximal Consistent Sets of Instances of Tarski's Schema (T)
-
- 1992: "Maximal Consistent Sets of Instances of Tarski's Schema (T)". Journal of Philosophical Logic, 21, pp. 235-41
-
(1992)
Journal of Philosophical Logic
, vol.21
, pp. 235-241
-
-
McGee, V.1
-
25
-
-
0004242804
-
-
Cambridge, Massachusetts: Harvard University Press
-
Quine, Willard V. O. 1970: Philosophy of Logic. Cambridge, Massachusetts: Harvard University Press
-
(1970)
Philosophy of Logic
-
-
Quine, W.V.O.1
-
26
-
-
0004020881
-
-
Cambridge, Massachusetts: Harvard University Press
-
- 1990: Pursuit of Truth. Cambridge, Massachusetts: Harvard University Press
-
(1990)
Pursuit of Truth
-
-
Quine, W.V.O.1
-
28
-
-
0348174110
-
The Incompleteness Theorems
-
J. Barwise ed, North Holland, Amsterdam
-
Smorynski, Craig 1977: "The Incompleteness Theorems", in: J. Barwise (ed.), Handbook of Mathematical Logic, North Holland, Amsterdam, pp. 821-65
-
(1977)
Handbook of Mathematical Logic
, pp. 821-865
-
-
Smorynski, C.1
-
29
-
-
0011609067
-
The Concept of Truth in Formalized Languages
-
J. H. Woodger transl, Oxford: Clarendon Press
-
Tarski, A. 1935: "The Concept of Truth in Formalized Languages", in Logic, Semantics, Metamathematics. J. H. Woodger (transl.). Oxford: Clarendon Press, 1956, pp. 152-278
-
(1935)
Logic, Semantics, Metamathematics
, pp. 152-278
-
-
Tarski, A.1
|