Abstract
Tagmemic theory as a semiotic theory can be used to analyze multiple systems of logic and to assess their strengths and weaknesses. This analysis constitutes an application of semiotics and also a contribution to understanding of the nature of logic within the context of human meaning. Each system of logic is best adapted to represent one portion of human rationality. Acknowledging this correlation between systems and their targets helps explain the usefulness of more than one system. Among these systems, the two-valued system of classical logic takes its place. All the systems of logic can be incorporated into a complex mathematical model that has a place for each system and that represents a larger whole in human reasoning. The model can represent why tight formal systems of logic can be applied in some contexts with great success, but in other contexts are not directly applicable. The result suggests that human reasoning is innately richer than any one formal system of logic.
References
Aristotle. 1938. Categories; On interpretation; Prior analytics. Cambridge: Harvard University Press.Search in Google Scholar
Bobzien, Susanne. 2016. Ancient logic. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Winter 2016 edn. https://plato.stanford.edu/archives/win2016/entries/logic-ancient (accessed 19 March 2020).Search in Google Scholar
Bridges, Douglas & Erik Palmgren. 2015. Constructive mathematics. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Summer 2018 edn. https://plato.stanford.edu/archives/sum2018/entries/mathematics-constructive (accessed 28 March 2020).10.1007/BF03026734Search in Google Scholar
Cintula, Petr, Christian G. Fermüller & Carles Noguera. 2017. Fuzzy logic. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Fall 2017 edn. https://plato.stanford.edu/archives/fall2017/entries/logic-fuzzy (accessed 18 March 2020).Search in Google Scholar
Copi, Irving M. 1979. Symbolic logic, 5th edn. New York: Macmillan.Search in Google Scholar
Garson, James. 2018. Modal logic. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Fall 2018 edn. https://plato.stanford.edu/archives/fall2018/entries/logic-modal (accessed 18 March 2020).10.1017/CBO9781139856461.017Search in Google Scholar
Gödel, Kurt. 1931. Über formal unentscheidbare Sätze der Principia mathematica und verwandter Systeme, I [On formally undecidable propositions of Principia mathematica and related systems]. Monatshefte für Mathematik und Physik 38. 173–198.10.1007/BF01700692Search in Google Scholar
Gödel, Kurt. 2000. On formally undecidable propositions of Principia mathematica and related systems, Martin Hirzel (trans.). https://web.archive.org/web/20040916041216/http://www.research.ibm.com/people/h/hirzel/papers/canon00-goedel.pdf (accessed 21 March 2020).10.1063/1.3051400Search in Google Scholar
Gottwald, Siegfried. 2017. Many-valued logic. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Winter 2017 edn. https://plato.stanford.edu/archives/win2017/entries/logic-manyvalued (accessed 18 March 2020).10.1016/B978-044451541-4/50021-XSearch in Google Scholar
Halbach, Volker & Graham E. Leigh. 2020. Axiomatic theories of truth. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Spring 2020 edn. https://plato.stanford.edu/archives/spr2020/entries/truth-axiomatic (accessed 28 March 2020).Search in Google Scholar
Iemhoff, Rosalie. 2019. Intuitionism in the philosophy of mathematics. In Edward N. Zalta (ed.), The Stanford encyclopedia of Philosophy, Winter 2019 edn. https://plato.stanford.edu/archives/win2019/entries/intuitionism (accessed 18 March 2020).Search in Google Scholar
Ismael, Jenann. 2015. Quantum mechanics. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Spring 2015 edn. https://plato.stanford.edu/archives/spr2015/entries/qm (accessed 18 March 2020).Search in Google Scholar
McNamara, Paul. 2019. Deontic logic. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Summer 2019 edn. https://plato.stanford.edu/archives/sum2019/entries/logic-deontic (accessed 18 March 2020).10.1016/S1874-5857(06)80029-4Search in Google Scholar
Moschovakis, Joan. 2018. Intuitionistic logic. In Edward N. Zalta (ed.), The Stanford Encyclopedia of philosophy, Winter 2018 edn. https://plato.stanford.edu/archives/win2018/entries/logic-intuitionistic (accessed 18 March 2020).Search in Google Scholar
Parsons, Terence. 2017. The traditional square of opposition. In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, Summer 2017 edn. https://plato.stanford.edu/archives/sum2017/entries/square (accessed 21 March 2020).Search in Google Scholar
Peirce, Charles S. 2011 [1897–1910]. Logic as semiotic: The theory of signs. In Justus Buchler (ed.), Philosophical writings of Peirce, 98–119. New York: Dover.Search in Google Scholar
Pike, Kenneth L. 1959. Language as particle, wave, and field. The Texas Quarterly 2(2). 37–54.10.1515/9783110812213-010Search in Google Scholar
Pike, Kenneth L. 1967. Language in relation to a unified theory of the structure of human behavior, 2nd edn. The Hague & Paris: Mouton.10.1515/9783111657158Search in Google Scholar
Pike, Kenneth L. 1976. Toward the development of tagmemic postulates. In Ruth M. Brend & Kenneth L. Pike (eds.), Tagmemics: Volume 2: Theoretical discussion, 91–127. The Hague & Paris: Mouton.Search in Google Scholar
Pike, Kenneth L. 1982. Linguistic concepts: An introduction to tagmemics. Lincoln, NB & London: University of Nebraska Press.Search in Google Scholar
Polanyi, Michael. 1958. Personal knowledge: Towards a post-critical philosophy. Chicago: University of Chicago Press.Search in Google Scholar
Poythress, Vern S. 2013a. An information-based semiotic analysis of theories concerning theories. Semiotica 193(1/4). 83–99.10.1515/sem-2013-0005Search in Google Scholar
Poythress, Vern S. 2013b. Information-theoretic confirmation of semiotic structures. Semiotica 193(1/4). 67–82.10.1515/sem-2013-0004Search in Google Scholar
Poythress, Vern S. 2013c. Logic: A god-centered approach to the foundation of Western thought. Wheaton, IL: Crossway.Search in Google Scholar
Poythress, Vern S. 2015. Semiotic analysis of the observer in relativity, quantum mechanics, and a possible theory of everything. Semiotica 205(1/4). 149–167.10.1515/sem-2015-0006Search in Google Scholar
Poythress, Vern S. 2018. A simple traffic-light semiotic model for tagmemic theory. Semiotica 225(1/4). 253–267.10.1515/sem-2017-0025Search in Google Scholar
Poythress, Vern S. 2021. Semiotic analysis of symbolic logic using tagmemic theory: With implications for analytic philosophy. Semiotica 243(1/4). 171–186.10.1515/sem-2020-0018Search in Google Scholar
Raatikainen, Panu. 2018. Gödel’s incompleteness theorems. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Fall 2018 edn. https://plato.stanford.edu/archives/fall2018/entries/goedel-incompleteness/ (accessed 21 March 2020).Search in Google Scholar
Rosser, John Barkley. 1939. An informal exposition of proofs of Gödel’s theorem and Church’s theorem. Journal of Symbolic Logic 4. 53–60.10.2307/2269059Search in Google Scholar
Shapiro, Stewart & Teresa Kouri Kissel. 2018. Classical logic. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Spring 2018 edn. https://plato.stanford.edu/archives/spr2018/entries/logic-classical (accessed 18 March 2020).Search in Google Scholar
Wilce, Alexander. 2017a. Quantum logic and probability theory. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Spring 2017 edn. https://plato.stanford.edu/archives/spr2017/entries/qt-quantlog (accessed 18 March 2020).Search in Google Scholar
Wilce, Alexander. 2017b. Supplement to quantum logic and probability theory: The basic theory of ordering relations. In Edward N. Zalta (ed.), The Stanford encyclopedia of philosophy, Spring 2017 edn. https://plato.stanford.edu/entries/qt-quantlog/supplement.html (accessed 18 March 2020).Search in Google Scholar
Zadeh, Lofti A. 1965. Fuzzy sets. Information and Control 8. 338–353.10.21236/AD0608981Search in Google Scholar
© 2021 Walter de Gruyter GmbH, Berlin/Boston