Abstract
What is logical relevance? Anderson and Belnap say that the “modern classical tradition [,] stemming from Frege and Whitehead-Russell, gave no consideration whatsoever to the classical notion of relevance.” But just what is this classical notion? I argue that the relevance tradition is implicitly most deeply concerned with the containment of truth-grounds, less deeply with the containment of classes, and least of all with variable sharing in the Anderson–Belnap manner. Thus modern classical logicians such as Peirce, Frege, Russell, Wittgenstein, and Quine are implicit relevantists on the deepest level. In showing this, I reunite two fields of logic which, strangely from the traditional point of view, have become basically separated from each other: relevance logic and diagram logic. I argue that there are two main concepts of relevance, intensional and extensional. The first is that of the relevantists, who overlook the presence of the second in modern classical logic. The second is the concept of truth-ground containment as following from in Wittgenstein’s Tractatus. I show that this second concept belongs to the diagram tradition of showing that the premisses contain the conclusion by the fact that the conclusion is diagrammed in the very act of diagramming the premisses. I argue that the extensional concept is primary, with at least five usable modern classical filters or constraints and indefinitely many secondary intensional filters or constraints. For the extensional concept is the genus of deductive relevance, and the filters define species. Also following the Tractatus, deductive relevance, or full truth-ground containment, is the limit of inductive relevance, or partial truth-ground containment. Purely extensional inductive or partial relevance has its filters or species too. Thus extensional relevance is more properly a universal concept of relevance or summum genus with modern classical deductive logic, relevantist deductive logic, and inductive logic as its three main domains.
Similar content being viewed by others
References
Abeles F.F.: Lewis Carroll’s method of trees: its origin in studies in logic. Mod. Log. 1(1), 25–35 (1990)
Allwein, G., Barwise, J. (eds): Logical Reasoning with Diagrams. Oxford University Press, New York (1996)
Anderson A.R., Belnap N.D. Jr.: Entailment. In: Iseminger, G. (eds) Logic and Philosophy, Selected Readings, Appleton-Century-Crofts, New York (1968)
Anderson, A.R., Belnap, N.D. Jr. (eds): Entailment: The Logic of Relevance and Necessity, vol. 1. Princeton University Press, Princeton, NJ (1975)
Anderson, A.R., Belnap, N.D. Jr., Dunn J.M., . (eds): Entailment: The Logic of Relevance and Necessity, vol 2. Princeton University Press, Princeton, NJ (1992)
Anellis I.: A history of logic trees. Mod. Log. 1(1), 22–24 (1990)
Anellis I.: From semantic tableaux to smullyan trees: a history of the development of the falsifiability tree method. Mod. Log. 1(1), 36–69 (1990)
Anellis I.: The genesis of the truth-table device. Russell n.s. 24, 55–70 (2004)
Anellis, I.: Russell and His sources for non-classical logics. Log. Universalis. Online publication dated August 5, 2009 (2009)
Aristotle.: Prior analytics. In: The Categories/On Interpretation/Prior Analytics (trans: Tredennick H). Harvard University Press. The Loeb Classical Library, Cambridge (1962)
Aristotle.: A new Aristotle reader. In: Ackrill, J.L. (ed.) Princeton, NJ: Princeton University Press. Quoted by Greaves [66]
Arnauld, A.: The art of thinking. In: The Library of Living Arts. 5th edn. of 1683 (trans: Dickoff J, Patricia J). Bobbs-Merrill, Indianapolis (1964)
Ashworth, E.J.: Medieval theories of singular terms. Stanf. Encycl. Philos. http://www.illc.uva.nl/~seop/entries/singular-terms-medieval/ (2006)
Barnes J.: Aristotle’s theory of demonstration. In: Barnes, B., Schofield, M., Richard, S. (eds) Articles on Aristotle, vol. 1, Science. Duckworth, London (1975)
Bartley W.W. III: Lewis Carroll’s lost book on logic. Sci. Am. 227(1), 38–46 (1972)
Barwise, J.: Preface to Allwein (1996)
Barwise, J., Etchemendy, J.: The Language of First-Order Logic. Center for the Study of Language and Information (CSLI), Stanford, Calif (1991)
Barwise, J., Etchemendy, J.: Hyperproof. Center for the Study of Language and Information (CSLI), Stanford, Calif (1994)
Bazhanov V.A.: Uchenyi i Vek-volkodav. Sud’ba I. E. Orlova v Logike, Filosofii, Nauke. Voprosy Filosofii 11, 123–135 (2001) In Russian
Bazhanov, V.A.: Uchenyi i Vek-volkodav Sudba I. E. Orlova v Logike, Filosofii, Nauke. UIGU, Ulyanovsk (2001). In Russian
Bazhanov, V.A.: Evolyutsiya Nauchnykh Vzglyadov I. E. Orlova. Sud’ba Uchenogo v Vek-volkodav. In: Ocherki Sotsialnoi Istorii Logiki v Rossi. Simbirsk-Ulyanovsk: Izdat. Srednevolzhskogo Nauchnogo Tsentra (2002). In Russian
Bazhanov V.A.: The scholar and the ‘Wolfhound Era’: the Fate of Ivan E. Orlov’s ideas in logic, philosophy, and science. Sci. Context 16(4), 535–550 (2003)
Bazhanov, V.A.: Sudba Uchenogo v ‘Vek-volkodav’. Evolyutsiya Nauchnykh Vzglyadov I. E. Orlova. In: Istoriya logiki v Rossii i SSSR. Kanon+. In Russian, Moscow (2007)
Black, M.: A Companion to Wittgenstein’s ‘Tractatus’. Cornell University Press, Ithaca, NY 1964 (1970)
Blackwell, A.F. (ed.): Thinking with Diagrams. Kluwer, Dordrecht (2001). Reprinted from Artificial Intelligence Review 15/1–2
Bocheński I.M.: A History of Formal Logic. University of Notre Dame Press, Notre Dame, Indiana (1961)
Bolzano, B.: Theory of Science: Attempt at a Detailed and in the Main Novel Exposition of Logic with Constant Attention to Earlier Authors (trans. and ed.: George R.). University of California Press, Berkeley 1837 (1972)
Brady, R.: Recent developments I. In: Brady, R. (ed.) Relevant Logics and Their Rivals, vol. 2: A Continuation of the Work of Richard Sylvan, Robert Meyer, Val Plumwood and Ross Brady. Ashgate, Aldershot (2003)
Butchvarov P.: The Concept of Knowledge. Northwestern University Press, Evanston (1970)
Butchvarov, P.: The Untruth and the Truth of Skepticism. In: Proceedings and Addresses of the American Philosophical Association vol. 67/4, pp. 41–61. Presidential Address, Central Division (1994)
Bynum T.W.: Gottlob Frege: Conceptual Notation and Related Articles (trans. and ed). Clarendon Press, Oxford (1972)
Candlish S.: The Unity of the proposition and Russell’s theories of judgement. In: Monk, R., Palmer, A. (eds) Bertrand Russell and the Origins of Analytical Philosophy, Thoemmes Press, Bristol (1996)
Carroll, L., né Dodgson, C.L.: The game of logic. In: Mathematical Recreations of Lewis Carroll: Symbolic Logic and the Game of Logic. Dover, New York 1887 (1958)
Carroll, L., né Dodgson, C.L.: Symbolic logic. In: Bartley, W.W. III (ed.). Clarkson N. Potter, New York. Part I, Elementary, 5th edn., 1896. Part 2, Advanced, never previously published. Part 2, Book 7 “The Method of Trees” galley proof mailed November 6, 1896 (1977)
Cheng, P.C.-H., Lowe, R.K., Scaife, M.: Cognitive science approaches to understanding diagrammatic representations. In [25]
Cooper W.: The propositional logic of rdinary discourse. Inquiry 11, 297 (1968)
Copi I.M.: né Copilowish/Copilovich: Introduction to Logic, 5th edn. Macmillan, New York (1978)
Creighton J.E.: An Introductory Logic, 3rd edn. Macmillan, New York (1898)
Dejnožka, J.: The Ontology of the Analytic Tradition and Its Origins: Realism and Identity in Frege, Russell, Wittgenstein, and Quine. Reprinted with further corrections. Littlefield Adams, Lanham (2003)
Dejnožka J.: Russell on modality. Bertrand Russell Soc. Q. 120, 33–38 (2003)
Dejnožka J.: Frege on identity. Int. Stud. Philos. 13, 31–41 (1981)
Dejnožka, J.: Bertrand Russell on Modality and Logical Relevance. Ashgate, Aldershot, England. Avebury Series in Philosophy (1999)
Dejnožka, J.: Dummett’s Backward Road to Frege and to Intuitionism. In: Auxier, R.E. (ed.) The Philosophy of Michael Dummett Chicago and La Salle, Ill., Open Court. Library of Living Philosophers, vol. 31 (2007)
Descartes, R.: Rules for the direction of the mind. In: The Philosophical Works of Descartes, vol. 1 (trans: Elizabeth SH, Ross GRT. Cambridge University Press, Cambridge 1628 (1969)
Diaz, M.R.: Topics in the Logic of Relevance. Philosophia Verlag, München (1981)
Dorn, G., Weingartner, P. (eds.): Foundations of Logic and Linguistics: Problems and Their Solutions. Plenum Press, New York. Selected papers from the 7th International Congress of Logic, Methodology, and Philosophy of Science, July 11–16, 1983, in Salzburg, Austria (1985)
Došen K.: The first axiomatisation of relevant logic. J. Philos. Logic 21, 283–336 (1992)
Ducasse C.J.: Philosophy as a Science, its Matter and its Method. Oskar-Piest, New York. Republished by Greenwood Press, 1974 (1941)
Dummett M.: Frege: Philosophy of Language, 2nd edn. Harvard University Press, Cambridge (1981)
Edwards A.W.F.: Cogwheels of the Mind: The Story of Venn Diagrams. The Johns Hopkins University Press, Baltimore (2004)
Englebretsen, G.: Line Diagrams for Logic: Drawing Conclusions. Edwin Mellen, Lewiston, NY Problems in Contemporary Philosophy, vol. 40 (1998)
Ferebee A.S.: Review of A. S. Kuzičév, Diagrammy Vénna: Istoriá i Priménéniá (Venn Diagrams: History and Applications). J. Symb. Logic 40, 469–470 (1975)
Frege, G.: Illustrative Extracts from Frege’s Review of Husserl’s Philosophie der Arithmetik (trans: Peter G). In [55]. (1894)
Frege, G.: On Concept and Object. (trans: Peter G). In [55]. (1892)
Frege, G.: Translations from the Philosophical Writings of Gottlob Frege (trans: Peter G, Max B) 2nd edn. Basil Blackwell, Oxford. 2nd edn. 1960, 1st edn. 1952 (1970)
Frege G.: The Foundations of Arithmetic, 2d rev. edn. (trans: Austin JL). Northwestern University Press, Evanston (1974) Ill, 1884
Frege, G.: Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought. In: [137] (trans: Stefan B.-M.). 1967 English, 1879 German (1977)
Frege G.: Boole’s logical calculus and the concept-script. In: Hans, H., Friedrich, K., Friedrich, K. (eds) Posthumous Writings (trans: Peter L, Roger W)., The University of Chicago Press, Chicago (1979) 1880/81
Gardner M.: Logic Machines, Diagrams and Boolean Algebra. Dover, New York (1968) 1958
Gaukroger S.: Cartesian Logic: An Essay on Descartes’s Conception of Inference. Oxford University Press, Oxford (1989)
Geach, P.: Entailment. In [63]. 1972 (1980)
Geach, P.: Entailment Again. In [63]. 1972 (1980)
Geach P.: Logic Matters. University of California Press, Berkeley (1980) 1972
Gemes K.: Verisimilitude and content. Synthese 154(2), 293–306 (2007)
Gensler H.J.: Historical Dictionary of Logic. Rowman and Littlefield, Lanham (2006)
Greaves, M.: The Philosophical Status of Diagrams. Center for the Study of Language and Information (CSLI), Stanford, Calif (2002)
Grimm, R.: Individual Concepts and Contingent Truths. In: Woolhouse, R.S. (ed.) Gottfried Wilhelm Leibniz: Critical Assessments, vol. 1. Routledge, New York (1993)
Hahn, L.E., Schilpp, P.A. (eds.): The Philosophy of W. V. Quine. Open Court. The Library of Living Philosophers, La Salle, Ill (1986)
Hammer, E.: Peircean Graphs for Propositional Logic. In [2]
Hawkins B.: Peirce and Russell: the history of a neglected controversy. In: Houser, N., Roberts, D.D., Van Evra, J. (eds) Studies in the Logic of Charles Sanders Peirce, Indiana University Press, Indianapolis (1997)
Humphreys, P. (ed.): Patrick Suppes: Scientific Philosopher. Kluwer, Dordrecht. Synthese Library, vol. 3, Philosophy of Language and Logic, Learning and Action Theory (1994)
Jeffrey R.C.: Formal Logic: Its Scope and Limits. McGraw-Hill, New York (1967)
Kant I.: Critique of Pure Reason, 2nd edn. (trans: Smith NK). St. Martin’s Press, New York (1965) 1787 German
Kant I.: In: Jäsche (eds). Logic (trans: Robert SH, Wolfgang S). Dover, New York, 1800 (1988)
Kneale W., Kneale M.: The Development of Logic. Clarendon Press, Oxford (1984) 1962
Kuzičév, A.S.: Diagrammy Vénna: Istoriá i Priménéniá (Venn Diagrams: History and Applications). Izdatéľstvo Nauka, Moscow (1968)
Landini G.: Wittgenstein’s Apprenticeship with Russell. Cambridge University Press, Cambridge (2007)
Leblanc H., Wisdom W.A.: Deductive Logic, 2nd edn. Allyn and Bacon, Boston (1976)
Lee, H.N.: Discourse and Event: The Logician and Reality. In [68]
Lewis D.: Relevant implication. Theoria 54(3), 161–174 (1988)
Locke, J.: An Essay Concerning Human Understanding, vol. 2. Coll. by Alexander Campbell Fraser. Dover, New York (1959). Unabridged and unaltered republication of 1st edn. 1690
Magnani L.: Philosophy and Geometry: Theoretical and Historical Issues. Kluwer, Dordrecht (2001)
Manser A.: How did Kant define analytic?. Analysis 28(6), 197–199 (1968)
Mares E.D.: Relevant Logic: A Philosophical Interpretation. Cambridge University Press, Cambridge (2004)
McDonough R.M.: The Argument of the Tractatus: Its Relevance to Contemporary. Theories of Logic, Language, Mind, and Philosophical Truth. SUNY Press, Albany (1986)
McGuinness B.: Young Ludwig: Wittgenstein’s Life, 1889–1921. Oxford University Press, New York (2005)
McGuinness B.: Wittgenstein: A Life: young Ludwig 1889–1921. University of California Press, Berkeley (1988)
Meyer, R.K.: A Farewell to Entailment. In [46]
Mill, J.S.: A System of Logic: Ratiocinative and Inductive, Being a Connected View of the Principles of Evidence and the Methods of Scientific Investigation, 8th edn. University Press of the Pacific, Honolulu 1891 (2002)
Morris T.V.: Understanding Identity Statements. Scots Philosophical Monographs Number Five. Aberdeen University Press, Aberdeen, Scotland (1984)
Müller E.: Abriss der Algebra der Logik. Ernst Schröder, Algebra der Logik, vol. 3. Chelsea Publishing Co, New York (1966) 1909
Ockham, W.: Ockham’s Theory of Terms (trans: Loux M, Notre Dame). University of Notre Dame Press. Part 1 of Summa Logicae. Ca. 1323 (1974)
Orloff/Orlov E.I.: The logic of compatibility of propositions. Matematicheskii Sbornik 35, 263–286 (1928) In Russian
Peirce, C.S.: The collected papers of C.S. Peirce. In: Hartshorne, C., Weiss, P., Burks, A. (eds.) vols. 1–8, pp. 1931–1938. Harvard University Press, Cambridge (1958)
Popper K.: An Evolutionary Approach. rev. edn. Clarendon Press, Objective Knowledge (1979) 1972
Popper K.: Conjectures and Refutations: The Growth of Scientific Knowledge. Routledge, London (2007) 1963
Quine W.V.O.: Methods of Logic. rev. edn. Holt, Rinehart and Winston, New York (1959)
Quine W.V.O.: Word and Object. The M.I.T. Press, Cambridge (1975) Mass 1960
Quine, W.V.O.: Mr. Strawson on logical theory. In: The Ways of Paradox. rev. and enlarged edn. Harvard University Press, Cambridge (1976)
Quine W.V.O., Ullian J.S.: The Web of Belief. 2nd edn. Random House, New York (1978)
Quine W.V.O.: Mathematical Logic. rev. edn. Harvard University Press, Cambridge (1983) Mass
Quine, W.V.O.: Reply to Harold N. Lee. In [68]
Rahman S.: Review of my [42]. Hist. Philos. Log. 22, 99–112 (2001)
Read S.: Relevant Logic: A Philosophical Examination of Inference. Basil Blackwell, Oxford (1988)
Restall, G.: Negation in relevant logics (How I stopped Worrying and Learned to Love the Routley Star). In: Gabbay, D.M., Wansing, H. (eds.) What is Negation? Kluwer Academic Publishers, Dordrecht. Applied Logic Series, vol. 13 (1999)
Restall G.: An Introduction to Substructural Logics. Routledge, New York (2000)
Restall, G.: Relevant and substructural logics. In: Gabbay, D.M., Woods, J. (eds.) Logic and the Modalities in the Twentieth Century. Elsevier North Holland, Amsterdam Handbooks of the History of Logic, vol. 7 (2006)
Roberts D.D.: The Existential Graphs of Charles S. Peirce. Mouton, The Hague (1973)
Robinson R.: Definition. Clarendon Press, Oxford (1950)
Ross W.D.: Aristotle: A Complete Exposition of his Works and Thought, 2nd edn. Meridian, New York (1960)
Russell B.: Introduction to Mathematical Philosophy. Allen and Unwin, London (1919)
Russell B.: The Analysis of Matter. Dover, New York (1954) 1927
Russell B.: Our Knowledge of the External World as a Field for Scientific Method in Philosophy. 2nd edn. Mentor, New York. Original edn. 1914 (1960)
Russell B.: Principles of Mathematics. 2nd edn. W. W. Norton, New York (1964) 1938
Russell, B.: Introduction to Wittgenstein. 1922 (1969)
Russell B.: The philosophy of logical atomism. In: Robert, C.M. (eds) Logic and Knowledge, Capricorn, New York (1971) 1918
Russell B.: An Outline of Philosophy. Meridian, New York (1974) 1927
Russell B.: Human Knowledge: Its Scope and Limits. Simon and Schuster, New York (1976) 1948
Russell, B.: Autobiography. Unwin. Book, London 1, 1967 (1987)
Russell, B.: In: Nicholas, G., Albert, C.L. (eds.) Philosophical Papers 1896–1899. Routledge, New York. The Collected Papers of Bertrand Russell, vol. 2 (1990)
Russell, B.: Collaboration with Kenneth Blackwell. In: Elizabeth, R.E. (eds.) Theory of knowledge: the 1913 manuscript. Routledge, New York. The Collected Papers of Bertrand Russell, vol. 7 (1993)
Russell, B.: Foundations of logic 1903–05. In: Alasdair (ed.) Urquhart with the assistance of Albert C. Lewis. Routledge, New York. The Collected Papers of Bertrand Russell, vol. 4 (1994)
Russell, B.: Necessity and Possibility. In [122]. Ca. 1903–1905 (1994)
Schurz, G., Weingartner, P.: Verisimilitude defined by relevant consequence elements. A new reconstruction of Popper’s idea. In: Kuipers, T. (ed.) What is Closer-to-the-Truth? Rodopi, Amsterdam. Poznan Studies in the Philosophy of the Sciences and the Humanities, vol. 10 (1987)
Sextus E.: Outlines of pyrrhonism, vol. 1 (trans: Bury RG). Loeb Classical Library, London. Original Greek ca. 200–300 A.D (1933)
Shimojima, A.: The Graphic-Linguistic Distinction. In [25]
Shin S.-J.: The Logical Status of Diagrams. Cambridge University Press, Cambridge (1994)
Shin S.-J.: The Iconic Logic of Peirce’s Graphs. The MIT Press, Cambridge (2002)
Shosky J.: Russell’s use of truth tables. Russell n.s. 17, 11–26 (1997)
Stelzner W.: Compatibility and relevance: Bolzano and Orlov. Log. Log. Philos. 10, 137–171 (2002)
Stenning, K., Lemon, O.: Aligning Logical and Psychological Perspectives on Diagrammatic Reasoning. In [25]
Suppes, P.: Comments [on Paul Weingartner (1994)]. In [71]
Sylvan, R., né Routley, F.R.: In: Dominic, H., Graham, P. (eds.) Sociative Logics and their Applications: Essays by the Late Richard Sylvan. Ashgate, Aldershot (2000)
Tarski A.: Logic, Science, Metamathematics. Clarendon Press, Oxford (1956)
Tarski, A.: In: Corcoran, J. (ed.) Logic, Science, Metamathematics. 2nd edn. Trans. by J. H. Woodger, Hackett, Indianapolis (1983)
Urquhart, A.: The undecidability of all principal relevant logics. §65 In [5]
Heijenoort, J. (eds): From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard University Press, Cambridge (1967)
van Heijenoort, J. (ed.): Introduction to Frege’s Begriffsschrift In [137]
Venn, J.: Symbolic Logic. 2nd edn. Revised and rewritten. Chelsea Publishing Company, Bronx, NY. Textually unaltered reprint of 1894 (1971)
Vojšhvillo, E.K.: Philosophico-Methodological Aspects of Relevance Logic. Izdatél’stvo Moskovskogo Universiteta, Moscow. In Russian (1988)
von Wright H.G.: Logical Studies. Routledge and Kegan Paul, London (1967) 1957
von Wright, H.G.: On The Idea of Logical Truth In [141]
von Wright, H.G.: The Concept of Entailment In [141]
Weingartner, P.: Can There Be Reasons for Putting Limitations on Classical Logic? In [71]
Weingartner, P., Schurz, G.: A Simple Relevance-Criterion for Natural Language and Its Semantics. In [46]
Weingartner, P., Schurz, G.: Paradoxes Solved by Simple Relevance Criteria. Logique et Analyse 113, 29 Année, 3–40 (1986)
Whately R.: Elements of Logic, 9th edn. James Munroe and Company, Boston (1851)
White R.: Peirce’s alpha graphs: the completeness of propositional logic and the fast simplification of truth functions. transactions of the Charles S. Peirce Soc. 20, 351–361 (1984)
Whitehead, A.N, Russell, B.: Principia Mathematica. vol. 1. 2nd edn. Cambridge University Press, Cambridge, England. 1st edn. 1910, 2nd edn. 1927 (1978)
Wittgenstein L.: Tractatus Logico-Philosophicus (trans: Pears DF, McGuinness BF). Routledge & Kegan Paul, London (1969) 1921 German
Woods, J.: Begging the question is not a Fallacy. In: Dégremont, Cedric, Keiff, Laurent, Rückert, Helge (eds.) Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman. College Publications, London (2008)
Zeman, J.J.: The Graphical Logic of C. S. Peirce. University of Dissertation, Chicago (1964)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Dejnožka, J. The Concept of Relevance and the Logic Diagram Tradition. Log. Univers. 4, 67–135 (2010). https://doi.org/10.1007/s11787-010-0014-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-010-0014-1