Paradoxes, Self-Reference and Truth in the 20th Century

Here is a crude list, possibly summarizing the role of paradoxes within the framework of mathematical logic: 1. directly motivating important theories (e.g. type theory, axiomatic set theory, combinatory

[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..