Paradoxes, Self-Reference and Truth in the 20th Century
暂无分享,去创建一个
[1] Kenneth Kunen,et al. Negation in Logic Programming , 1987, J. Log. Program..
[2] Nino B. Cocchiarella,et al. Russell's paradox of the totality of propositions , 2000 .
[3] Peter W. Woodruff. Paradox, truth and logic part I: Paradox and truth , 1984, J. Philos. Log..
[4] G. Burali-Forti. Sulle classi ben ordinate , 1897 .
[5] Gilbert Harman,et al. Semantics of natural language , 2004, Synthese.
[6] Bar-Hillel,et al. Essays on the Foundations of Mathematics , 1961 .
[7] Roland Hinnion. Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic , 1994, Notre Dame J. Formal Log..
[8] Robert L. Martin. The Paradox of the Liar , 1972, Philosophical Logic.
[9] Paul Finsler. Gibt es Widersprüche in der Mathematik , 1926 .
[10] Godehard Link. On a Russellian Paradox about Propositions and Truth , 2004 .
[11] Petr Hájek,et al. The liar paradox and fuzzy logic , 2000, Journal of Symbolic Logic.
[12] Alfred Tarski,et al. Der Wahrheitsbegriff in den formalisierten Sprachen , 1935 .
[13] Moh Shaw-Kwei. Logical Paradoxes for Many-Valued Systems , 1954, J. Symb. Log..
[14] Gregory H. Moore. The Origins of Russell’s Paradox: Russell, Couturat, and the Antinomy of Infinite Number , 1995 .
[15] Frederic B. Fitch. Universal Metalanguages For Philosophy , 1964 .
[16] E. Schröder. Vorlesungen uber die Algebra der Logik , 1967 .
[17] Aladdin M. Yaqub,et al. The Liar Speaks the Truth: A Defense of the Revision Theory of Truth , 1993 .
[18] K Grelling,et al. Bemerkungen zu den Paradoxieen von Russell und Burali-Forti , 1907 .
[19] Stewart Shapiro,et al. The Oxford Handbook of Philosophy of Mathematics and Logic , 2005, Oxford handbooks in philosophy.
[20] Donald Yau,et al. Categories , 2021, 2-Dimensional Categories.
[21] Donald Perlis. Truth and Meaning , 1989, Artif. Intell..
[22] Kurt Schütte. Proof theory , 1977 .
[23] Willard Van Orman Quine,et al. New Foundations for Mathematical Logic , 1937 .
[24] H. Weyl,et al. Über die neue Grundlagenkrise der Mathematik , 1921 .
[25] G. Markowsky. Chain-complete posets and directed sets with applications , 1976 .
[26] Robert C. Flagg,et al. Implication and analysis in classical frege structures , 1987, Ann. Pure Appl. Log..
[27] Thomas Jech. About the Axiom of Choice , 1973 .
[28] Frederic Brenton Fitch. Representations of Calculi , 1944, J. Symb. Log..
[29] Ross T. Brady. The consistency of the axioms of abstraction and extensionality in a three-valued logic , 1971, Notre Dame J. Formal Log..
[30] Dmitri Mirimanoff,et al. Remarques sur la théorie des ensembles et les antinomies cantoriennes. II , 1920 .
[31] John P. Burgess,et al. The truth is never simple , 1986, Journal of Symbolic Logic.
[32] Raymond M. Smullyan. Languages in Which Self Reference is Possible , 1957, J. Symb. Log..
[33] Stephen G. Simpson,et al. Subsystems of second order arithmetic , 1999, Perspectives in mathematical logic.
[34] É. Borel. Leçons sur la théorie des fonctions , 2009 .
[35] Gerhard Jäger,et al. Induction in the Elementary Theory of Types and Names , 1987, CSL.
[36] PerlisDonald. Languages with self-reference I: foundations (or: we can have everything in first-order logic]) , 1985 .
[37] Solomon Feferman,et al. Systems of predicative analysis , 1964, Journal of Symbolic Logic.
[38] Richard B. White,et al. The consistency of the axiom of comprehension in the infinite-valued predicate logic of Łukasiewicz , 1979, J. Philos. Log..
[39] Makoto Kikuchi. A Note on Boolos' Proof of the Incompleteness Theorem , 1994, Math. Log. Q..
[40] Michael Glanzberg. Circularity, Definition and Truth , 2002 .
[41] Jean-Yves Girard,et al. Linear Logic , 1987, Theor. Comput. Sci..
[42] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .
[43] Gian Aldo Antonelli,et al. The Complexity of Revision , 1994, Notre Dame J. Formal Log..
[44] Timothy McCarthy. Ungroundedness in classical languages , 1988, J. Philos. Log..
[45] G. Boolos. The logic of provability , 1993 .
[46] Keith Simmons,et al. Universality and the Liar: An Essay on Truth and the Diagonal Argument , 1993 .
[47] S. Kleene. On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper) , 1955 .
[48] Henryk Kotlarski,et al. Inductive Full Satisfaction Classes , 1990, Ann. Pure Appl. Log..
[49] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .
[50] Haim Gaifman,et al. Pointers to Truth , 1992 .
[51] Stephen J. Garland. Review: C. Spector, Inductively Defined Sets of Natural Numbers , 1969 .
[52] Maurice Boffa,et al. The consistency problem for NF , 1977, Journal of Symbolic Logic.
[53] Andrea Cantini. A Theory of Formal Truth Arithmetically Equivalent to ID1 , 1990, J. Symb. Log..
[54] Jan Krajícek,et al. A Possible Modal Formulation of Comprehension Scheme , 1987, Math. Log. Q..
[55] William N. Reinhardt. Some remarks on extending and interpreting theories with a partial predicate for truth , 1986, J. Philos. Log..
[56] Van Fraassen,et al. Formal semantics and logic , 1971 .
[57] W. Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik. II , 1952 .
[58] Audrey Wishard McMillan. A Phragmen Lindelof Theorem , 1944 .
[59] Émile Borel. Quelques remarques sur les principes de la théorie des ensembles , 1905 .
[60] J. Hadamard,et al. Cinq lettres sur la théorie des ensembles , 1905 .
[61] Soren Hallden,et al. The logic of nonsense , 1952, The free speech wars.
[62] D. Davidson. Truth and meaning , 2004, Synthese.
[63] B. Russell. Mathematical Logic as Based on the Theory of Types , 1908 .
[64] Dana S. Scott,et al. Combinators and classes , 1975, Lambda-Calculus and Computer Science Theory.
[65] Marco Forti,et al. The Consistency Problem for Positive Comprehension Principles , 1989, J. Symb. Log..
[66] Leon Chwistek. Die nominaliftifche Grundlegung der Mathematik , 1932 .
[67] N. Belnap,et al. The Revision Theory of Truth , 1993 .
[68] Frederic Brenton Fitch. A Simplification of Basic Logic , 1953, J. Symb. Log..
[69] Andrea Cantini,et al. Uniform Inseparability in Explicit Mathematics , 1999, J. Symb. Log..
[70] Edmund Husserl,et al. Aufsätze und Rezensionen (1890-1910) , 1979 .
[71] I. Grattan-Guinness,et al. How Bertrand Russell discovered his paradox , 1978 .
[72] Richmond H. Thomason,et al. A note on syntactical treatments of modality , 1980, Synthese.
[73] Frederic B. Fitch,et al. The system CΔ of combinatory logic , 1963, Journal of Symbolic Logic.
[74] Tyler Burge. The Liar paradox: Tangles and chains , 1982 .
[75] Andrea Cantini. A note on three-valued logic and Tarski theorem on truth definitions , 1980 .
[76] A. Schoenflies. Über Eine Vermeintliche Antinomie der Mengenlehre , 1909 .
[77] Andrea Cantini,et al. The Undecidability of Grisin's Set Theory , 2003, Stud Logica.
[78] William S. Zwicker,et al. Playing games with games: the hypergame paradox , 1987 .
[79] Walther Kindt. Über Sprachen mit Wahrheitsprädikat , 1978 .
[80] David Kaplan,et al. A paradox regained , 1960, Notre Dame J. Formal Log..
[81] Andrea Cantini. Levels of Truth , 1995, Notre Dame J. Formal Log..
[82] Leon Chwistek. Neue Grundlagen der Logik und Mathematik , 1929 .
[83] Stephen Yablo,et al. Paradox without Self-Reference , 1993 .
[84] Harvey M. Friedman,et al. The disjunction and existence properties for axiomatic systems of truth , 1988, Ann. Pure Appl. Log..
[85] Gregory H. Moore,et al. Burali-Forti's paradox: A reappraisal of its origins , 1981 .
[86] Frederic B. Fitch. IV.—SELF-REFERENCE IN PHILOSOPHY , 1946 .
[87] Richard E. Grandy,et al. Words and Objections Essays on the Work of W.V. Quine , 1973 .
[88] Jan M. Smith,et al. An interpretation of Martin-Löf's type theory in a type-free theory of propositions , 1984, Journal of Symbolic Logic.
[89] Abraham Robinson. On languages which are based on non-standard arithmetic , 1963 .
[90] Shuzo Takahashi. Monotone Inductive Definitions in a Constructive Theory of Functions and Classes , 1989, Ann. Pure Appl. Log..
[91] A. Pillay. Models of Peano Arithmetic , 1981 .
[92] G. Frege. Grundgesetze der Arithmetik , 1893 .
[93] Brian Edison McDonald,et al. On Meaningfulness and Truth , 2000, J. Philos. Log..
[94] Walther Kindt. The Introduction of Truth Predicates into First-Order Languages , 1978 .
[95] H. B. Curry. Some Properties of Equality and Implication in Combinatory Logic , 1934 .
[96] L. M.-T.. Grundzüge der theoretischen Logik , 1929, Nature.
[97] Ray Turner,et al. A theory of properties , 1987, Journal of Symbolic Logic.
[98] Fritz Hamm,et al. If it can be done , why do it ? , 2002 .
[99] N. N. Nepeivoda. A new concept of predicative truth and definability , 1973 .
[100] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .
[101] Wilfried Sieg,et al. Hilbert's Programs: 1917–1922 , 1999, Bulletin of Symbolic Logic.
[102] Peter Aczel,et al. Non-well-founded sets , 1988, CSLI lecture notes series.
[103] Yehoshua Bar-Hillel,et al. Logic, Methodology and Philosophy of Science Proceedings of the 1964 International Congress. Edited by Yehoshua Bar-Hillel , 1965 .
[104] L. Chwistek. Über die Hypothesen der Mengenlehre , 1926 .
[105] W. Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik , 1952 .
[106] Solomon Feferman,et al. Categorical Foundations and Foundations of Category Theory , 1977 .
[107] P. Aczel. Frege Structures and the Notions of Proposition, Truth and Set* , 1980 .
[108] Melvin Fitting,et al. Bilattices and the theory of truth , 1989, J. Philos. Log..
[109] Jaakko Hintikka,et al. Definire la verità, tutta la verità, nient'altro che la verità , 1995 .
[110] Philip Kremer,et al. The Gupta-Belnap systems S# and S* are not axiomatisable , 1993, Notre Dame J. Formal Log..
[111] E. Groves. A Dissertation ON , 1928 .
[112] Volker Halbach,et al. Conservative Theories of Classical Truth , 1999, Stud Logica.
[113] Godehard Link. Logicism’s ‘Insolubilia’ and Their Solution by Russell’s Substitutional Theory , 2004 .
[114] Johan van Benthem,et al. Handbook of Logic and Language , 1996 .
[115] J. Krivine,et al. Théorie axiomatique des ensembles ... , 1972 .
[116] Wilhelm Ackermann,et al. Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur , 1950, J. Symb. Log..
[117] Solomon Feferman,et al. Non-extensional type-free theories of partial operations and classifications, I , 1975 .
[118] Norio Yoshida,et al. FORCED OSCILLATIONS OF NONLINEAR PARABOLIC EQUATIONS WITH FUNCTIONAL ARGUMENTS , 1995 .
[119] Thierry Coquand,et al. A new paradox in type theory , 1995 .
[120] J. Barwise,et al. The Liar: An Essay on Truth and Circularity , 1987 .
[121] Richard L. Epstein,et al. A theory of truth based on a medieval solution to the liar paradox , 1992 .
[122] H. Keisler,et al. The Kleene Symposium , 1980 .
[123] Bernard Linsky. Paradoxes of Belief and Strategic Rationality (Cambridge Studies in Probability, Induction, Decision Theory) , 2009 .
[124] C. Chang,et al. The Axiom of Comprehension in Infinite Valued Logic. , 1963 .
[125] Robert L. Martin. Recent essays on truth and the liar paradox , 1984 .
[126] Haskell B. Curry,et al. The paradox of Kleene and Rosser , 1941 .
[127] Nino B. Cocchiarella. Formal Theories of Predication , 2007 .
[128] John L. Bell,et al. Fregean Extensions of First-Order Theories , 1994, Math. Log. Q..
[129] M. Schönfinkel. Über die Bausteine der mathematischen Logik , 1924 .
[130] Dusko Pavlovic,et al. On the structure of paradoxes , 1992, Arch. Math. Log..
[131] John R. Myhill,et al. A Type-Free System Extending (ZFC) , 1989, Ann. Pure Appl. Log..
[132] S. Kleene. A Theory of Positive Integers in Formal Logic. Part II , 1935 .
[133] Paul C. Gilmore,et al. An intensional type theory: motivation and cut-elimination , 2001, Journal of Symbolic Logic.
[134] Haim Gaifman. Self-Reference and the Acyclicity of Rational Choice , 1999, Ann. Pure Appl. Log..
[135] David Hilbert,et al. Über die Grundlagen der Logik und der Arithmetik , 1905 .
[136] 정필중,et al. Axiomatic Approach를 이용한 제품 개발 , 1999 .
[137] Roberto Magari,et al. Significato e verità nell'aritmetica peaniana , 1975 .
[138] Michael Clark. Richard’s Paradox , 2002 .
[139] Paul C. Gilmore. Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes , 1986, J. Symb. Log..
[140] Dana,et al. JSL volume 88 issue 4 Cover and Front matter , 1983, The Journal of Symbolic Logic.
[141] Steve Yablo,et al. Grounding, dependence, and paradox , 1982, J. Philos. Log..
[142] Gerhard Jäger. Power Types in Explicit Mathematics , 1997, J. Symb. Log..
[143] Aldo Ursini,et al. On the set of ‘Meaningful’ sentences of arithmetic , 1978 .
[144] Frank van Harmelen,et al. Truth and Modality for Knowledge Representation , 1990, AI Commun..
[145] Solomon Feferman,et al. Toward useful type-free theories. I , 1984, Journal of Symbolic Logic.
[146] Thoralf Skolem. Studies on the axiom of comprehension , 1963, Notre Dame J. Formal Log..
[147] R. Carnap,et al. Die Antinomien und die Unvollständigkeit der Mathematik , 1934 .
[148] Robert C. Flagg,et al. K-continuous lattices and comprehension principles for frege structures , 1987, Ann. Pure Appl. Log..
[149] R. Turner. Truth and Modality for Knowledge Representation , 1990 .
[150] P. Finsler,et al. Formale Beweise und die Entscheidbarkeit , 1926 .
[151] A. N. Prior. Review: Boleslaw Sobocinski, L'analyse de l'Antinomie Russellienne par Lesniewski , 1953 .
[152] Julius König. Zum Kontinuum-Problem , 1905 .
[153] Alonzo Church,et al. Comparison of Russell's resolution of the semantical antinomies with that of Tarski , 1976, Journal of Symbolic Logic.
[154] Michael Rathjen,et al. Explicit mathematics with the monotone fixed point principle. II: Models , 1998, Journal of Symbolic Logic.
[155] Makoto Kikuchi. Kolmogorov complexity and the second incompleteness theorem , 1997, Arch. Math. Log..
[156] Franz Guenthner,et al. Formal Semantics and Pragmatics for Natural Languages , 1978 .
[157] James Cain,et al. On the Weak Kleene Scheme in Kripke's Theory of Truth , 1991, J. Symb. Log..
[158] Jean-Pierre Bourguignon,et al. Mathematische Annalen , 1893 .
[159] 中野 裕,et al. PX, a computational logic , 1988 .
[160] D. van Dalen,et al. Mystic, geometer, and intuitionist : the life of L.E.J. Brouwer , 1999 .
[161] Robert Jones. Elementary set theory with a universal set , 2007 .
[162] Michael Rathjen. Explicit Mathematics with The Monotone Fixed Point Principle. II: Models , 1999, J. Symb. Log..
[163] H. B. Curry. The inconsistency of certain formal logics , 1942, Journal of Symbolic Logic.
[164] Douglas S. Bridges,et al. Constructivity in Mathematics , 2004 .
[165] Gabriel Sandu,et al. If-Logic and Truth-definition , 1998, J. Philos. Log..
[166] Nino B. Cocchiarella. Logical Investigations of Predication Theory and the Problem of Universals , 1987 .
[167] A. Ursini. A sequence of theories for arithmetic whose union is complete , 1977 .
[168] Bas C. Van Fraassen. Inference and self-reference , 2004, Synthese.
[169] Giovanna D'Agostino,et al. Translating the hypergame paradox: Remarks on the set of founded elements of a relation , 1996, J. Philos. Log..
[170] Greg Restall. Arithmetic and truth in L/ukasiewicz''s infinitely valued logic , 1992 .
[171] Vann McGee. Maximal consistent sets of instances of Tarski's schema (T) , 1992, J. Philos. Log..
[172] Julius König. Über die Grundlagen der Mengenlehre und das Kontinuumproblem , 1905 .
[173] Lawrence S. Moss,et al. Vicious circles - on the mathematics of non-wellfounded phenomena , 1996, CSLI lecture notes series.
[174] Peter Aczel,et al. The Strength of Martin-Löf's Intuitionistic Type Theory with One Universe , 1984 .
[175] Frederic Brenton Fitch,et al. A complete and consistent modal set theory , 1967, Journal of Symbolic Logic.
[176] Hartry Field,et al. A Revenge-Immune Solution to the Semantic Paradoxes , 2003, J. Philos. Log..
[177] Andrea Cantini,et al. Logical frameworks for truth and abstraction , 1996 .
[178] Nino B. Cocciharella. Cantor's power-set theorem versus frege's double-correlation thesis , 1992 .
[179] Reinhard Kahle,et al. Universes over Frege structures , 2003, Ann. Pure Appl. Log..
[180] Andrea Cantini,et al. On a Russellian paradox about propositions and truth , 2001 .
[181] Roberto Magari,et al. Su certe teorie non enumerabili , 1974 .
[182] Fernando Ferreira,et al. On the Consistency of the Δ11-CA Fragment of Frege's Grundgesetze , 2002, J. Philos. Log..
[183] M. Oksanen,et al. The Russell-Kaplan paradox and other modal paradoxes : A new solution , 1999 .
[184] I. G. BONNER CLAPPISON. Editor , 1960, The Electric Power Engineering Handbook - Five Volume Set.
[185] Chantal Berline,et al. A κ-denotational semantics for map theory in ZFC + SI: Theoret. Comput. Sci. 179 (1997) 137–202☆ , 1999 .
[186] J. Lambek,et al. Introduction to higher order categorical logic , 1986 .
[187] Paola Zambelli. Alexandre Koyré alla scuola di Husserl a Gottinga , 1999 .
[188] E. Zermelo,et al. Sur les ensembles finis et le principe de l'induction complète , 1909 .
[189] Albert Visser,et al. Four valued semantics and the Liar , 1984, J. Philos. Log..
[190] Solomon Feferman,et al. Reflecting on incompleteness , 1991, Journal of Symbolic Logic.
[191] Thomas Studer,et al. Universes in explicit mathematics , 2001, Ann. Pure Appl. Log..
[192] E. Zermelo. Untersuchungen über die Grundlagen der Mengenlehre. I , 1908 .
[193] F. W. Lawvere,et al. Diagonal arguments and cartesian closed categories , 1969 .
[194] R. Jensen. On the Consistency of a Slight (?) Modification of Quine’s New Foundations , 1968 .
[195] Furio Honsell,et al. Choice Principles in Hyperuniverses , 1996, Ann. Pure Appl. Log..
[196] Frederic Brenton Fitch,et al. A system of formal logic without an analogue to the curry W operator , 1936, Journal of Symbolic Logic.
[197] Jaakko Hintikka,et al. From Dedekind to Gödel : essays on the development of the foundations of mathematics , 1995 .
[198] Frederic Brenton Fitch. The Heine-Borel Theorem in Extended Basic Logic , 1949, J. Symb. Log..
[199] Philip D. Welch,et al. On revision operators , 2003, Journal of Symbolic Logic.
[200] Frederic Brenton Fitch. A Consistent Combinatory Logic with an Inverse to Equality , 1980, J. Symb. Log..
[201] Richard B. White. A consistent theory of attributes in a logic without contraction , 1993, Stud Logica.
[202] Philip D. Welch,et al. On Gupta-Belnap Revision Theories of Truth, Kripkean fixed points, and the next stable set , 2001, Bull. Symb. Log..
[203] Harvey M. Friedman,et al. An axiomatic approach to self-referential truth , 1987, Ann. Pure Appl. Log..
[204] H B Curry,et al. Functionality in Combinatory Logic. , 1934, Proceedings of the National Academy of Sciences of the United States of America.
[205] Saul A. Kripke,et al. Outline of a Theory of Truth , 1975 .
[206] B. Russell,et al. On Some Difficulties in the Theory of Transfinite Numbers and Order Types. , 1906 .
[207] H. Poincaré,et al. Les Mathematiques et la Logique. , 1906 .
[208] Richard A. Rempel,et al. The Collected Papers of Bertrand Russell, Volume 15: Uncertain Paths to Freedom: Russia and China 1919-1922 , 2000 .
[209] Nuel Belnap,et al. Gupta's rule of revision theory of truth , 1982, J. Philos. Log..
[210] Stan Wagon,et al. The Banach-Tarski paradox , 1985 .
[211] Verzekeren Naar Sparen,et al. Cambridge , 1969, Humphrey Burton: In My Own Time.
[212] Donald Perlis,et al. Languages With Self-Reference I: Foundations , 1985, Artif. Intell..
[213] John Myhill,et al. A system which can define its own truth , 1950 .
[214] Melvin Fitting,et al. The Family of Stable Models , 1993, J. Log. Program..
[215] Melvin Fitting,et al. Notes on the mathematical aspects of Kripke's theory of truth , 1986, Notre Dame J. Formal Log..
[216] Virgil C. Aldrich,et al. The Philosophy of Bertrand Russell , 1945 .
[217] Gordon Plotkin,et al. An Illative Theory of Relations , 2003 .
[218] Yiannis N. Moschovakis,et al. Elementary induction on abstract structures , 1974 .
[219] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[220] Graham Priest,et al. Reasoning About Truth , 1989, Artif. Intell..
[221] Felix Bernstein,et al. Zum Kontinuumproblem , 2022 .
[222] Volker Halbach. A System of Complete and Consistent Truth , 1994, Notre Dame J. Formal Log..
[223] Jaakko Hintikka,et al. Logic, Foundations of Mathematics, and Computability Theory , 1977 .
[224] E. Zermelo. Beweis, daß jede Menge wohlgeordnet werden kann , 1904 .
[225] Alonzo Church,et al. The Richard Paradox , 1934 .
[226] V. S. Subrahmanian,et al. Meta-languages, reflection principles, and self-reference , 1994, Handbook of Logic in Artificial Intelligence and Logic Programming.
[227] A. Church. A Set of Postulates for the Foundation of Logic , 1932 .
[228] D. C. Cooper,et al. Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.
[229] Kurt Schütte. Zur Widerspruchsfreiheit einer typenfreien Logik , 1952 .
[230] J. Girard. Proof Theory and Logical Complexity , 1989 .
[231] Philip D. Welch,et al. Possible-Worlds Semantics for Modal Notions Conceived as Predicates , 2003, J. Philos. Log..
[232] Wilhelm Ackermann,et al. Grundgedanken einer Typenfreien Logik , 1967 .
[233] André Chapuis,et al. Alternative revision theories of truth , 1996, J. Philos. Log..
[234] Godehard Link,et al. Paradoxes in Göttingen , 2004 .
[235] Gerhard Jäger,et al. The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories , 1999, J. Symb. Log..
[236] Heinrich Behmann. Der Pradikatenkalkul mit Limitierten Variablen Grundlegung Einer Naturlichen Exakten Logik , 1959, J. Symb. Log..
[237] Irving H. Anellis,et al. The First Russell Paradox , 2008 .
[238] Frederic B. Fitch,et al. The Logical Enterprise , 1975 .
[239] Solomon Feferman,et al. Iterated Inductive Fixed-Point Theories: Application to Hancock's Conjecture , 1982 .
[240] Frederic Brenton Fitch. A Definition of Negation in Extended Basic Logic , 1954, J. Symb. Log..
[241] Patrick Suppes,et al. Logic, Methodology and Philosophy of Science , 1963 .
[242] J. Heijenoort. From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931 , 1967 .
[243] Henryk Kotlarski. Full Satisfaction Classes: A Survey , 1991, Notre Dame J. Formal Log..
[244] Jaakko Hintikka,et al. Truth Definitions, Skolem Functions and Axiomatic Set Theory , 1998, Bulletin of Symbolic Logic.
[245] Melvin Fitting,et al. Fixpoint Semantics for Logic Programming a Survey , 2001, Theor. Comput. Sci..
[246] Dov M. Gabbay,et al. Handbook of Philosophical Logic , 2002 .
[247] Richard G. Heck Jnr. The Consistency of predicative fragments of frege’s grundgesetze der arithmetik , 1996 .
[248] Jan Krajícek,et al. Some Results and Problems in The Modal Set Theory MST , 1988, Math. Log. Q..
[249] Paolo Mancosu. The Russellian Influence on Hilbert and his School , 2004, Synthese.
[250] Paul C. Gilmore,et al. The Consistency of Partial Set Theory without Extensionality , 1974 .
[251] Frederic B. Fitch,et al. The System $C\Delta$ of Combinatory Logic , 1963 .
[252] Peter W. Woodruff,et al. On representing ‘true-in-l’ in L , 1975 .
[253] Albert Visser,et al. Semantics and the Liar Paradox , 2002 .
[254] Bas C. van Fraassen,et al. Inference and Self-Reference , 1970 .
[255] J. Hintikka. On denoting what? , 2005, Synthese.
[256] Max A. Sobel,et al. Introduction to mathematics , 1984 .
[257] Raymond Turner,et al. Montague semantics, nominalization and Scott's domains , 1983 .
[258] G. J. Chaitin. The berry paradox , 1995 .
[259] James Mark Baldwin,et al. Dictionary of Philosophy and Psychology , 1960, Nature.
[260] G. Plotkin,et al. Situation Theory and its Applications , 1995 .
[261] Benedikt Löwe,et al. Set-Theoretic Absoluteness and the Revision Theory of Truth , 2001, Stud Logica.
[262] Gordon Plotkin. On a Question of Friedman , 1995 .
[263] Gian Aldo Antonelli,et al. A Revision-Theoretic Analysis of the Arithmetical Hierarchy , 1994, Notre Dame J. Formal Log..
[264] P. Bernays,et al. Grundlagen der Mathematik , 1934 .
[265] Neil Tennant. Proof and Paradox , 1982 .
[266] Donald Perlis,et al. Languages with Self-Reference II: Knowledge, Belief, and Modality , 1988, Artif. Intell..
[267] Chaïm Perelman. Les paradoxes de la logique , 1936 .
[268] Stuart A. Kauffman,et al. Technological evolution and adaptive organizations: Ideas from biology may find applications in economics , 1995, Complex..
[269] Frank Pfenning,et al. Logical Frameworks , 2001, Handbook of Automated Reasoning.
[270] Paul Lorenzen,et al. Constructive definition of certain analytic sets of numbers , 1959, Journal of Symbolic Logic.
[271] A. C. Dixon. On “Well-Ordered” Aggregates , 1907 .
[272] E. W. Hobson. On the Arithmetic Continuum , 1907 .
[273] Frederic Brenton Fitch,et al. A basic logic , 1942, Journal of Symbolic Logic.
[274] S. Poirier. Foundations of mathematics , 2007 .
[275] P. Finsler,et al. ber die Grundlegung der Mengenlehre: Erster Teil. Die Mengen und ihre Axiome , 1926 .
[276] Michael Sheard. A Guide to Truth Predicates in the Modern Era , 1994, J. Symb. Log..
[277] J. Neumann. Eine Axiomatisierung der Mengenlehre. , 1925 .
[278] Roland Hinnion,et al. Positive abstraction and extensionality , 2003, Journal of Symbolic Logic.
[279] W. Ackermann,et al. Grundzuge der Theoretischen Logik , 1928 .
[280] A. Whitehead. An Introduction to Mathematics , 1949, Nature.
[281] Andrea Cantini,et al. Notes on Formal Theories of Truth , 1989, Math. Log. Q..
[282] S. Feferman. A Language and Axioms for Explicit Mathematics , 1975 .
[283] Vann McGee. How truthlike can a predicate be? A negative result , 1985, J. Philos. Log..
[284] Émile Borel. Les «paradoxes» de la théorie des ensembles , 1908 .
[285] Henryk Kotlarski,et al. The incompleteness theorems after 70 years , 2004, Ann. Pure Appl. Log..
[286] B. Russell. Essays in analysis , 1973 .
[287] Raymond Turner,et al. Semantics and property theory , 1988 .
[288] George Boolos,et al. Logic, Logic, and Logic , 2000 .
[289] Alonzo Church,et al. Set Theory with a Universal Set , 1974 .
[290] K. Hensel. Journal für die reine und angewandte Mathematik , 1892 .
[291] Chantal Berline,et al. A kappa-Denotational Semantics for Map Theory in ZFC + SI , 1997, Theor. Comput. Sci..
[292] Paolo Mancosu. Between Russell and Hilbert: Behmann on the foundations of mathematics , 1999, Bull. Symb. Log..
[293] Bart Jacobs,et al. The inconsistency of higher order extensions of Martin-Löf's type theory , 1989, J. Philos. Log..
[294] M. H. Lob,et al. Solution of a Problem of Leon Henkin , 1955, J. Symb. Log..
[295] Haskell B. Curry,et al. The combinatory foundations of mathematical logic , 1942, Journal of Symbolic Logic.
[296] A. Troelstra. Constructivism in mathematics , 1988 .
[297] George Boolos,et al. Provability: the emergence of a mathematical modality , 1991, Stud Logica.
[298] B. Russell. The Principles of Mathematics , 1938 .
[299] Th. Skolem,et al. Two remarks on set theory , 1957 .
[300] S. Buss. Handbook of proof theory , 1998 .
[301] A. H. Lachlan. Full Satisfaction Classes and Recursive Saturation , 1981, Canadian Mathematical Bulletin.
[302] J. Barkley Rosser,et al. An informal exposition of proofs of Gödel's theorems and Church's theorem , 1939, Journal of Symbolic Logic.
[303] J. Krajíèek. A POSSIBLE MODAL FORMULATION OF COMPREHENSION SCHEME , 2008 .
[304] M. Nivat. Fiftieth volume of theoretical computer science , 1988 .
[305] Miyuki Shirahata. A linear conservative extension of Zermelo-Fraenkel set theory , 1996, Stud Logica.
[306] Francesco Orilia,et al. Property theory and the revision theory of definitions , 2000, Journal of Symbolic Logic.
[307] George Bealer,et al. Property theory: The type-free approachv. the church approach , 1994, J. Philos. Log..
[308] Andrea Cantini,et al. Extending the first-order theory of combinators with self-referential truth , 1993, Journal of Symbolic Logic.
[309] B. V. Fraassen. Singular Terms, Truth-Value Gaps, and Free Logic , 1966 .
[310] Leon Chwistek. Über die Antinomien der Prinzipien der Mathematik , 1922 .
[311] H. Herzberger. Naive Semantics and the Liar Paradox , 1982 .
[312] Ernest Nagel,et al. The Limits of Science , 1949 .
[313] F. Honsell,et al. Set theory with free construction principles , 1983 .
[314] Peter Reuter,et al. The limits of science. , 2010, Addiction.
[315] John P. Burgess. Addendum to "The Truth is Never Simple" , 1988, J. Symb. Log..
[316] Carolyn L. Talcott. A Theory for Program and Data Type Specification , 1992, Theor. Comput. Sci..
[317] Thierry Coquand,et al. An Analysis of Girard's Paradox , 1986, LICS.
[318] Stuart T. Smith,et al. Nonstandard characterizations of recursive saturation and resplendency , 1987, Journal of Symbolic Logic.
[319] Jouko Väänänen,et al. Logic Colloquium '90 , 2002 .
[320] Stephen Yablo,et al. Truth and reflection , 1985, J. Philos. Log..
[321] J.F.A.K. van Benthem,et al. Logic and Scientific Methods , 1997 .
[322] Furio Honsell,et al. A General Construction of Hyperuniverses , 1996, Theor. Comput. Sci..
[323] C. Kuratowski,et al. Les opérations logiques et les ensembles projectifs , 1931 .
[324] C. Smoryński,et al. The Development of Self-Reference: Löb’s Theorem , 2008 .
[325] Seiki Akama,et al. Curry's paradox in contractionless constructive logic , 1996, J. Philos. Log..
[326] Wilhelm Ackermann,et al. Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I , 1958 .
[327] Melvin Fitting,et al. A Theory of Truth that Prefers Falsehood , 1997, J. Philos. Log..
[328] Dov M. Gabbay,et al. Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .
[329] Akihiro Kanamori. Zermelo and set theory , 2004, Bull. Symb. Log..
[330] Jon Barwise,et al. Admissible sets and structures , 1975 .
[331] M. Beeson. Foundations of Constructive Mathematics , 1985 .
[332] K. Gödel. Philosophy of mathematics: Russell's mathematical logic , 1984 .
[333] Keith Simmons. On a medieval solution to the liar paradox , 1987 .
[334] Hans G. Herzberger,et al. Notes on naive semantics , 1982, J. Philos. Log..
[335] Solomon Feferman,et al. SOME FORMAL SYSTEMS FOR THE UNLIMITED THEORY OF STRUCTURES AND CATEGORIES , 2004 .
[336] S. Feferman. Constructive Theories of Functions and Classes , 1979 .
[337] D. Harrison,et al. Vicious Circles , 1995 .
[338] Gian Aldo Antonelli,et al. Non-well-founded sets via revision rules , 1994, J. Philos. Log..
[339] John R. Myhill. A Finitary Metalanguage for Extended Basic Logic , 1952, J. Symb. Log..
[340] Robert F. Stärk,et al. A Proof-Theoretic Framework for Logic Programming , 1998 .
[341] John Henry Newman,et al. To Kegan Paul , 2008 .
[342] H. Gaifman,et al. Symbolic Logic , 1881, Nature.
[343] Claudio Bernardi. Fixed points and unfounded chains , 2001, Ann. Pure Appl. Log..
[344] H. Kotlarski,et al. Construction of Satisfaction Classes for Nonstandard Models , 1981, Canadian Mathematical Bulletin.
[345] J. Thomson. On being and saying : essays for Richard Cartwright , 1987 .
[346] Lawrence S. Moss,et al. Situation Theory , 1997, Handbook of Logic and Language.
[347] Fairouz Kamareddine,et al. Set Theory and Nominalization, Part I , 1992, J. Log. Comput..
[348] Kurt Schütte. Ein widerspruchsloses System der Analysis auf typenfreier Grundlage , 1954 .
[349] D. Hilbert. Axiomatisches Denken , 1917 .
[350] Makoto Kikuchi,et al. On Formalization of Model-Theoretic , 1994 .
[351] Shen Yuting. Paradox of the Class of All Grounded Classes , 1953, J. Symb. Log..
[352] Godehard Link. The Prehistory of Russell’s Paradox , 2004 .
[353] C. Burali-Forti. Una questione sui numeri transfiniti , 1897 .
[354] Thomas Drucker,et al. Perspectives on the history of mathematical logic , 1991 .
[355] Volker Peckhaus,et al. Hilbert's Paradox , 2002 .
[356] Peter Aczel,et al. Two frameworks of theories and their implementation in Isabelle , 1991 .
[357] Frederic B. Fitch. A Theory of Logical Essences , 1967 .
[358] D. Davidson. Truth and Meaning , 1967 .
[359] Hao Wang,et al. A Logical Journey: From Gödel to Philosophy , 1996 .
[360] Jean-Yves Girard,et al. Light Linear Logic , 1998, Inf. Comput..
[361] Haskell B. Curry. Grundlagen der kombinatorischen Logik , 1930 .
[362] G. Cantor,et al. Gesammelte Abhandlungen mathematischen und philosophischen Inhalts , 1934 .
[363] Kees Doets. Proper Classes , 1996 .
[364] S. Kleene. Proof by Cases in Formal Logic , 1934 .
[365] John C. Reynolds,et al. Polymorphism is not Set-Theoretic , 1984, Semantics of Data Types.
[366] Felix Bernstein. Über die Reihe der transfiniten Ordnungszahlen , 1905 .
[367] Uwe Petersen,et al. Logic Without Contraction as Based on Inclusion and Unrestricted Abstraction , 2000, Stud Logica.
[368] D. van Dalen,et al. Sets and integration An outline of the development , 1972 .
[369] Marcel Crabbé. On the Consistency of an Impredicative Subsystem of Quine's NF , 1982, J. Symb. Log..
[370] Jens Erik Fenstad,et al. On the Consistency of the Axiom of Comprehension in the Lukasiewicz Infinite Valued Logic. , 1964 .
[371] Andrea Cantini. PROOF-THEORETICAL ASPECTS OF SELF-REFERENTIAL TRUTH , 1997 .
[372] Olivier Esser. On the Consistency of a Positive Theory , 1999, Math. Log. Q..
[373] Hans G. Herzberger. Paradoxes of Grounding in Semantics , 1970 .
[374] Kazuyuki Tanaka,et al. On Formalization of Model-Theoretic Proofs of Gödel's Theorems , 1994, Notre Dame J. Formal Log..
[375] Jan Woleński,et al. On Tarski’s Background , 1995 .
[376] E. Zermelo. Neuer Beweis für die Möglichkeit einer Wohlordnung , 1907 .
[377] B. V. Fraassen. Presupposition, Implication, and Self-Reference , 1968 .
[378] J. Bregetzer. [The liar]. , 1989, Revue de l'infirmiere.
[379] Henri Poincaré. Réflexions sur les deux notes précédentes , 1909 .
[380] Frederic Brenton Fitch. An Extension of Basic Logic , 1948, J. Symb. Log..
[381] J. Roger Hindley,et al. To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism , 1980 .
[382] Anil Gupta,et al. Truth and paradox , 1982, J. Philos. Log..