The philosophy of alternative logics

[1]  Johan van Benthem.  General dynamic logic , 1994 .

[2]  Dov M. Gabbay,et al.  Chapter 13 – Labelled Deductive Systems , 2003 .

[3]  Hilary Putnam,et al.  Vagueness and alternative logic , 1983 .

[4]  Paul Thagard,et al.  From the Descriptive to the Normative in Psychology and Logic , 1982, Philosophy of Science.

[5]  D. Bloor.  Wittgenstein: A Social Theory of Knowledge , 1985 .

[6]  J. Neumann,et al.  The Logic of Quantum Mechanics , 1936 .

[7]  Peter Gibbins,et al.  Particles and Paradoxes: The Limits of Quantum Logic , 1987 .

[8]  T. Kuhn,et al.  The Structure of Scientific Revolutions , 1963 .

[9]  Hans Reichenbach,et al.  Philosophic foundations of quantum mechanics , 1945 .

[10]  Stephan Korner,et al.  The philosophy of mathematics , 1961 .

[11]  G. Priest.  Everett's trilogy , 1996 .

[12]  Arnon Avron.  What is a logical system , 1994 .

[13]  Michael Dickson.  Quantum Logic Is Alive ∧ (It Is True ∨ It Is False) , 2001, Philosophy of Science.

[14]  Timothy Smiley.  Sense Without Denotation , 1960 .

[15]  Walter G. Rosen,et al.  The End of Science: Facing the Limits of Knowledge in the Twilight of the Scientific Age , 1996 .

[16]  James D. McCawley,et al.  Everything That Linguists Have Always Wanted to Know About Logic , 1980, Stud Logica.

[17]  Jean Gallier,et al.  Constructive Logics Part I: A Tutorial on Proof Systems and Typed gamma-Calculi , 1993, Theor. Comput. Sci..

[18]  Stephen Read,et al.  Relevant Logic: A Philosophical Examination of Inference , 1989 .

[19]  D. Lewis.  Survival and Identity , 1983 .

[20]  I. Lakatos.  History of Science and Its Rational Reconstructions , 1970, PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association.

[21]  Bas C. van Fraassen.  Semantic Analysis of Quantum Logic , 1973 .

[22]  Dag Prawitz,et al.  Philosophical aspects of proof theory , 1981 .

[23]  M. Dummett.  Frege: Philosophy of Language , 1973 .

[24]  Margaret Morrison.  Quantum Logic and the Invariance Argument--A Reply to Bell and Hallett , 1986, Philosophy of Science.

[25]  Dominic Hyde,et al.  From heaps and gaps to heaps of gluts , 1997 .

[26]  Matteo Motterlini,et al.  Reconstructing Lakatos: a reassessment of Lakatos’ epistemological project in the light of the Lakatos Archive , 2002 .

[27]  G. Gentzen.  Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik , 1974 .

[28]  J. C. C. McKinsey,et al.  Proof of the independence of the primitive symbols of Heyting's calculus of propositions , 1939, Journal of Symbolic Logic.

[29]  Carl B. Boyer,et al.  A History of Mathematics. , 1993 .

[30]  Martha Kneale,et al.  The development of logic , 1963 .

[31]  Peter Schroeder-Heister,et al.  Popper's theory of deductive inference and the concept of a logical constant , 1984 .

[32]  D. J. Shoesmith,et al.  Multiple-Conclusion Logic , 1978 .

[33]  M. J. Ma̧czyński,et al.  Boolean properties of observables in axiomatic quantum mechanics , 1971 .

[34]  J. Passmore,et al.  A Hundred Years of Philosophy , 1957 .

[35]  Andrea Nye.  Words of Power: A Feminist Reading of the History of Logic , 1990 .

[36]  B. J. Copeland.  What is a Semantics for Classical Negation , 1986 .

[37]  Robert K. Meyer,et al.  Sentential constants in R and R⌝ , 1986, Stud Logica.

[38]  Roberto Giuntini,et al.  Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics , 2010 .

[39]  Bas C. van Fraassen,et al.  The Labyrinth of Quantum Logics , 1974 .

[40]  D. Malament,et al.  Causal Theories of Time and the Conventionality of Simultaneity , 1977 .

[41]  Brendan Larvor,et al.  Lakatos: An Introduction , 1998 .

[42]  G. Gentzen.  Untersuchungen über das logische Schließen. I , 1935 .

[43]  Stephen Read.  LOGICAL CONSEQUENCE AS TRUTH-PRESERVATION , 2003 .

[44]  Stig Alstrup Rasmussen,et al.  Realism and logic , 2004, Synthese.

[45]  Noel Balzer.  The human being as a logical thinker , 1992 .

[46]  Diderik Batens.  Against global paraconsistency , 1990 .

[47]  Donald Gillies.  Philosophy of Science in the Twentieth Century: Four Central Themes , 1993 .

[48]  David Hilbert.  Philosophy of mathematics: On the infinite , 1984 .

[49]  Graham Priest,et al.  Minimally inconsistent LP , 1991, Stud Logica.

[50]  M. Dummett.  What Is a Theory of Meaning? (II) , 1996 .

[51]  J. Meheus.  Adaptive logic in scientific discovery: the case of Clausius , 1993 .

[52]  Alfred Tarski,et al.  Some theorems about the sentential calculi of Lewis and Heyting , 1948, The Journal of Symbolic Logic.

[53]  B. J. Copeland,et al.  Pure semantics and applied semantics , 1983 .

[54]  R. Routley,et al.  Relevantism, Material Detachment, and the Disjunctive Syllogism Argument , 1984, Canadian Journal of Philosophy.

[55]  William Empson,et al.  朦胧的七种类型 = Seven types of ambiguity , 1930 .

[56]  I. Lakatos.  Falsification and the Methodology of Scientific Research Programmes , 1976 .

[57]  Wayne A. Davis.  Implicature: Intention, Convention, and Principle in the Failure of Gricean Theory , 1998 .

[58]  L. Brouwer,et al.  Intuitionism and formalism , 1913 .

[59]  M. Dummett.  The justification of deduction , 1974 .

[60]  D. A. Anapolitanos,et al.  Proofs and Refutations: A Reassessment , 1989 .

[61]  Newton C. A. da Costa,et al.  On the theory of inconsistent formal systems , 1974, Notre Dame J. Formal Log..

[62]  P. F. Gibbins,et al.  The distributive law in the two-slit experiment , 1981 .

[63]  John L. Bell,et al.  Logic, Quantum Logic and Empiricism , 1982, Philosophy of Science.

[64]  Rudolf Carnap,et al.  Introduction to semantics , 1942 .

[65]  John Preston,et al.  Feyerabend: Philosophy, Science and Society , 1997 .

[66]  M. Redhead,et al.  Incompleteness, Nonlocality, and Realism: A Prolegomenon to thePhilosophy of Quantum Mechanics , 1989 .

[67]  S. Feferman.  Finitary inductively presented logics , 1994 .

[68]  Daniel Barwick,et al.  Manifesto of a passionate moderate , 1999 .

[69]  B. Coecke,et al.  Operational Quantum Logic: An Overview , 2000, quant-ph/0008019.

[70]  Gregory Currie.  Lakatos's philosophy of mathematics , 2004, Synthese.

[71]  Michael Dummett.  The significance of Quine's indeterminacy thesis , 2004, Synthese.

[72]  Kenneth L. Caneva,et al.  What Should We do with the Monster? Electromagnetism and the Psychosociology of Knowledge , 1981 .

[73]  S. V. Bhave,et al.  Situations in Which Disjunctive Syllogism Can Lead from True Premises to a False Conclusion , 1997, Notre Dame J. Formal Log..

[74]  G. Priest.  Denyer's $ Not Backed By Sterling Arguments , 1989 .

[75]  M. Douglas,et al.  Natural Symbols: Explorations in Cosmology. , 1970 .

[76]  Michael Dummett,et al.  The logical basis of metaphysics , 1991 .

[77]  Willard Van Orman Quine,et al.  Philosophy of Logic. , 1988 .

[78]  Wim Veldman.  An Intuitionistic Completeness Theorem for Intuitionistic Predicate Logic , 1976, J. Symb. Log..

[79]  S. Toulmin,et al.  Criticism and the Growth of Knowledge: Does the Distinction between Normal and Revolutionary Science Hold Water? , 1970 .

[80]  David Finkelstein,et al.  Matter, Space and Logic , 1969 .

[81]  Richard Routley,et al.  Systems of paraconsistent logic , 1989 .

[82]  P. Frascolla.  Wittgenstein's philosophy of mathematics , 1994 .

[83]  M. Dummett.  The Philosophical Basis of Intuitionistic Logic , 1975 .

[84]  C. I. Lewis.  The Issues Concerning Material Implication , 1917 .

[85]  Richard Routley,et al.  Relevant Logics and Their Rivals: Part 1. The Basic Philosophical and Semantical Theory , 1988 .

[86]  David Bloor,et al.  Polyhedra and the Abominations of Leviticus , 1978, British Journal for the History of Science.

[87]  Richard Routley,et al.  Exploring Meinong's Jungle and Beyond , 1983 .

[88]  Graham Priest,et al.  On Alternative Geometries, Arithmetics, and Logics; a Tribute to Łukasiewicz , 2003 .

[89]  Graham Priest,et al.  REVIEWS-The law of non-contradiction: New philosophical essays , 2006 .

[90]  Routledge,et al.  Routledge Encyclopedia of Philosophy , 1998 .

[91]  G. Priest.  An introduction to non-classical logic , 2001 .

[92]  Steven French,et al.  Inconsistency in Science: A Partial Perspective , 2002 .

[93]  Harrie C. M. de Swart.  Another Intuitionistic Completeness Proof , 1976, J. Symb. Log..

[94]  A. M. Ungar.  Normalization, Cut-Elimination, and the Theory of Proofs , 1992 .

[95]  Hugh MacColl.  Symbolic logic and its applications , 1906 .

[96]  M. Dummett.  Elements of Intuitionism , 2000 .

[97]  Felix C. Klein,et al.  A comparative review of recent researches in geometry , 1893, 0807.3161.

[98]  Dennis E. Hesseling.  Gnomes in the Fog: The Reception of Brouwer's Intuitionism in the 1920s , 2003 .

[99]  John P. Burgess,et al.  Common sense and "relevance" , 1983, Notre Dame J. Formal Log..

[100]  S. Haack.  Philosophy of logics , 1978 .

[101]  Richard Sylvan,et al.  The semantics of entailment—II , 1972, Journal of Philosophical Logic.

[102]  Val Plumwood,et al.  The politics of reason: Towards a feminist logic , 1993 .

[103]  N. Goodman.  Fact, Fiction, and Forecast , 1955 .

[104]  J. Plato.  Creating Modern Probability: Its Mathematics, Physics and Philosophy in Historical Perspective , 1994 .

[105]  J. Neumann.  Mathematical Foundations of Quantum Mechanics , 1955 .

[106]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[107]  Adam Morton.  Denying the doctrine and changing the subject , 1973 .

[108]  Andreas Kamlah.  The connexion between Reichenbach's three-valued and v. Neumann's lattice-theoretical quantum logic , 1981 .

[109]  R. Sikorski,et al.  Algebraic Treatment of the Notion of Satisfiability , 1953 .

[110]  L. Brouwer,et al.  HISTORICAL BACKGROUND, PRINCIPLES AND METHODS OF INTUITIONISM , 1975 .

[111]  E. Mares.  Relevant Logic: A Philosophical Interpretation , 2004 .

[112]  Chris Mortensen,et al.  The validity of disjunctive syllogism is not so easily proved , 1983, Notre Dame J. Formal Log..

[113]  L. Laudan.  Science as Problem-Solving. (Book Reviews: Progress and Its Problems. Toward a Theory of Scientific Growth) , 1977 .

[114]  Michael Kremer.  Logic and Meaning: The Philosophical Significance of the Sequent Calculus , 1988 .

[115]  Imre Lakatos,et al.  On the Uses of Rigorous Proof. (Book Reviews: Proofs and Refutations. The Logic of Mathematical Discovery) , 1977 .

[116]  Edwin D. Mares,et al.  Relevant logic and the theory of information , 1996, Synthese.

[117]  E. Specker,et al.  The Problem of Hidden Variables in Quantum Mechanics , 1967 .

[118]  N. Tennant.  The Taming of the True , 1997 .

[119]  Arthur N. Prior,et al.  The Runabout Inference-Ticket , 1960 .

[120]  Richmond H. Thomason,et al.  Paradoxes and Semantic Representation , 1986, TARK.

[121]  Jean-Yves Girard,et al.  A new constructive logic: classic logic , 1991, Mathematical Structures in Computer Science.

[122]  Graham Priest.  Gaps and Gluts: Reply to Parsons , 1995 .

[123]  Wilhelm Ackermann,et al.  Begründung einer strengen Implikation , 1956, Journal of Symbolic Logic.

[124]  Dale Jacquette,et al.  Meinongian Logic: The Semantics of Existence and Nonexistence , 1996 .

[125]  Graham Priest,et al.  Boolean negation and all that , 1990, J. Philos. Log..

[126]  Keith Devlin,et al.  Logic and information , 1991 .

[127]  Hilary Putnam.  Is Logic Empirical , 1969 .

[128]  Greg Restall,et al.  An Introduction to Substructural Logics , 2000 .

[129]  M. Redhead,et al.  Nonlocality and the Kochen-Specker paradox , 1983 .

[130]  Stephen P. Schwartz.  Intuitionism and sorites , 1987 .

[131]  B. V. Fraassen.  Singular Terms, Truth-Value Gaps, and Free Logic , 1966 .

[132]  Jeffrey Bub.  The problem of properties in quantum mechanics , 1991 .

[133]  Jarrett Leplin,et al.  MEANING VARIANCE AND THE COMPARABILITY OF THEORIES , 1969, The British Journal for the Philosophy of Science.

[134]  Nicholas Rescher,et al.  The logic of inconsistency , 1979 .

[135]  Rudolf Carnap,et al.  Logical foundations of probability , 1951 .

[136]  Jair Minoro Abe,et al.  A META-INTERPRETER BASED ON PARACONSISTENT LEGAL KNOWLEDGE ENGINEERING , 2004 .

[137]  Mary Hesse.  Fine's Criteria of Meaning Change , 1968 .

[138]  Edwin D. Mares,et al.  Who's Afraid of Impossible Worlds? , 1997, Notre Dame J. Formal Log..

[139]  G. Priest.  What is a non-normal world? , 1992 .

[140]  Robert K. Meyer,et al.  Logic on the Australian plan , 1986, J. Philos. Log..

[141]  N. Rescher,et al.  The Primacy of Practice. , 1975 .

[142]  Alvin Plantinga,et al.  The Nature of Necessity. , 1975 .

[143]  Hirokazu Nishimura.  Sequential Method in Quantum Logic , 1980, J. Symb. Log..

[144]  Kosta Dosen,et al.  Logical Constants as Punctuation Marks , 1989, Notre Dame J. Formal Log..

[145]  Jc Beall,et al.  Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic , 2003 .

[146]  C. Wright.  Truth and Objectivity , 1992 .

[147]  Peter F. Strawson,et al.  Introduction To Logical Theory , 1954 .

[148]  Hilary Putnam.  Mathematics, Matter and Method: A philosopher looks at quantum mechanics , 1979 .

[149]  Charles Taylor,et al.  Comments and replies , 1991 .

[150]  Douglas Walton,et al.  Argument Structure: A Pragmatic Theory , 1996 .

[151]  Michael Levin,et al.  Quine’s View(s) of Logical Truth , 1978 .

[152]  Susan Haack,et al.  The Justification of Deduction , 1976 .

[153]  R. H. Kane.  PRESUPPOSITION AND ENTAILMENT , 1972 .

[154]  John Corcoran,et al.  Three Logical Theories , 1969, Philosophy of Science.

[155]  Jean Curthoys,et al.  Feminist amnesia : the wake of women's liberation , 1997 .

[156]  Anthony Hunter,et al.  Paraconsistent logics , 1998 .

[157]  Ayda I. Arruda.  Aspects of the historical development of paraconsistent logic , 1989 .

[158]  Richard Routley,et al.  The Semantics of First Degree Entailment , 1972 .

[159]  Graham Priest.  On Inconsistent Arithmetics: A Reply to Denyer , 1996 .

[160]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[161]  John L. Bell,et al.  Logical Options: An Introduction to Classical and Alternative Logics , 2001 .

[162]  M. Crowe.  Ten “Laws” concerning patterns of change in the history of mathematics , 1975 .

[163]  Graham Priest,et al.  Can Contradictions Be True , 1993 .

[164]  David J. Foulis,et al.  A Half-Century of Quantum Logic What Have We Learned? , 1999 .

[165]  Kosta Došen,et al.  Logical Consequence: A Turn in Style , 1997 .

[166]  Hilary Putnam.  HOW TO THINK QUANTUM-LOGICALLY , 1974 .

[167]  H. B. Curry.  The inconsistency of certain formal logics , 1942, Journal of Symbolic Logic.

[168]  Michael D. Resnik,et al.  Logic: Normative or Descriptive? The Ethics of Belief or a Branch of Psychology? , 1985, Philosophy of Science.

[169]  Yannis Delmas-Rigoutsos.  A Double Deduction System for Quantum Logic Based On Natural Deduction , 1997, J. Philos. Log..

[170]  Lawrence Sklar,et al.  Philosophy Of Physics , 1992 .

[171]  Michel Foucault,et al.  The Order of Things , 2010 .

[172]  Paul Weingartner,et al.  Alternative logics : do sciences need them? , 2004 .

[173]  B. Jack Copeland,et al.  On when a semantics is not a semantics: Some reasons for disliking the Routley-Meyer semantics for relevance logic , 1979, J. Philos. Log..

[174]  Arthur Fine,et al.  Consistency, Derivability, and Scientific Change , 1967 .

[175]  A. Tarski.  Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften. I , 1930 .

[176]  Andrew Doherty.  Laura Goodship on Priest's principle R , 1998 .

[177]  D. C. Makinson.  Topics in Modern Logic , 1973 .

[178]  F. Ramsey,et al.  Facts and Propositions , 1927 .

[179]  Stephen Read,et al.  Hairier than Putnam Thought , 1985 .

[180]  Roy A. Sorensen,et al.  Mirror notation: symbol manipulation without inscription manipulation , 1999, J. Philos. Log..

[181]  Robert Stalnaker.  A Theory of Conditionals , 2019, Knowledge and Conditionals.

[182]  L. Wittgenstein.  Tractatus Logico-Philosophicus , 2021, Nordic Wittgenstein Review.

[183]  Nuel D. Belnap,et al.  Tonk, Plonk and Plink , 1962 .

[184]  Saul A. Kripke,et al.  Outline of a Theory of Truth , 1975 .

[185]  L. Goble.  The Blackwell guide to philosophical logic , 2001 .

[186]  Stephen Read,et al.  Thinking about logic : an introduction to the philosophy oflogic , 1995 .

[187]  Claudia Faggian,et al.  Basic logic: reflection, symmetry, visibility , 2000, Journal of Symbolic Logic.

[188]  Laurence Goldstein.  Smooth and Rough Logic , 1992 .

[189]  Philip K. Hitti,et al.  External and Internal Relations , 1965 .

[190]  P. Lorenzen.  Einführung in die operative Logik und Mathematik , 1955 .

[191]  Michael Hallett.  Towards a Theory of Mathematical Research Programmes (II) , 1979, The British Journal for the Philosophy of Science.

[192]  Brendan Larvor,et al.  Lakatos as Historian of Mathematics , 1997 .

[193]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[194]  Douglas Walton,et al.  The New Dialectic: Conversational Contexts of Argument , 1998 .

[195]  C. Kirwan,et al.  Logic and argument , 1978 .

[196]  Hilary Putnam,et al.  It Ain't Necessarily So , 1962 .

[197]  Gary Gutting,et al.  Michel Foucault's Archaeology of Scientific Reason. , 1991 .

[198]  Jeffrey Bub.  The Philosophy of Quantum Mechanics , 1989, The British Journal for the Philosophy of Science.

[199]  Michael R. Gardner,et al.  Is Quantum Logic Really Logic? , 1971, Philosophy of Science.