Abstract
The semantics of picturing, broadly understood as an isomorphism between relevant relations among parts of a picture and relations constituting a state of affairs in some target domain, are a core feature of Wittgenstein’s Tractarian theory of representation. This theory was subsequently developed by Wilfrid Sellars into a rich theory of language and cognition. In this paper we show that by recasting the positive fragment (without negation) of C.S. Peirce’s beta level of Existential Graphs as a category of presheaves, the iconic coordination of syntax and semantics in the Wittgensteinian-Sellarsian picturing-relation may be represented formally in terms of the natural transformations in this category.
The picture is a model of reality.
L. Wittgenstein, Tractatus
Logico-Philosophicus 2.12
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
This example is Sellars’s own as presented and discussed in [16], p. 106.
- 2.
The reader might compare the variant of Peirce’s system detailed in [1] in which the cut as classical negation is also absent but is there replaced with a new type of cut with a non-classical interpretation.
- 3.
Because of our focus on the pictorial character of the graphs and not their strictly logical properties, we do not address the transformation rules of Peirce’s system in this paper.
- 4.
Here the notation \(G(t_n)[G(R_n)]\) represents the action of the “lifted” function \(t_n\) via the functor G as it acts on the “lifted” set \(R_n\) via the same functor G.
- 5.
To organize pictures/states of affairs in a Tarski-style set-theoretical way for instance, given some functor G, one could assign the elements of G(L) to a chosen set M, the elements of each \(T_n\) to a subset of \(M^n\) and each \(R_n\) to an element of \(M^n\) (that is, an n-tuple over M). The functions \(G(r_n^i)\) would then be assigned to the obvious projection maps, and the functions \(G(t_n)\) would be required to send n-tuples \(<a_1,\dots ,a_n>\) to subsets S such that \(<a_1,\dots ,a_n> \in S\).
References
Bellucci F, Chiffi D, Pietarinen A-V (2018) Assertive graphs. J Appl Non-Classical Logics 28(1):72–91
Brandom R (1994) Making it explicit: reasoning, representing, and discursive commitment. Harvard, Cambridge
Brandom R (2015) From empiricism to expressivism: brandom reads sellars. Harvard, Cambridge
Brandom R (2009) Reason in philosophy: animating ideas. Harvard, Cambridge
Butz C (1998) Regular categories and regular logic. BRICS LS, Aarhus
Caterina G, Gangle R (2016) Iconicity and abduction. Springer, New York
Caterina G, Gangle R (2013) Iconicity and abduction: a categorical approach to creative hypothesis-formation in peirce’s existential graphs. Logic J IGPL 21(6):1028–1043
Dau F (2003) The logic system of concept graphs with negation. Springer-Verlag, Berlin
Fong B, Spivak D (2019) Graphical regular logic. ar**v:1812.05765v2
Mac Lane S (2010) Categories for the working mathematician, 2nd edn. Springer, New York
O’Shea JR (2007) Wilfrid sellars: naturalism with a normative turn. Polity, Cambridge
Pietarinen A-V (2006) Signs of logic: Peircean themes on the philosophy of language, games and communication. Springer, Dordrecht
Roberts D (1973) The existential graphs of Charles S. Peirce. Mouton, The Hague
Selinger P (2010) A survey of graphical languages for monoidal categories. In: Coecke B (ed) New structures for physics. Springer, Heidelberg
Sellars W (1996) Naturalism and ontology. Ridgeview, Atascadero
Sellars W (1992) Science and metaphysics: variations on Kantian themes. Ridgeview, Atascadero
Shin S-J (2002) The iconic logic of Peirce’s graphs. MIT, Cambridge
Wittgenstein L (2000) Tractatus logico-philosophicus. Routledge, London Trans. Ogden CK
Wittgenstein L (1978) Philosophical investigations. Basil Blackwell, Oxford Trans. Anscombe GEM
Zalamea F (2012) Peirce’s logic of continuity. Docent, Boston
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Gangle, R., Caterina, G., Tohmé, F. (2019). The Logic of Picturing: Wittgenstein, Sellars and Peirce’s EG-beta. In: Nepomuceno-Fernández, Á., Magnani, L., Salguero-Lamillar, F., Barés-Gómez, C., Fontaine, M. (eds) Model-Based Reasoning in Science and Technology. MBR 2018. Studies in Applied Philosophy, Epistemology and Rational Ethics, vol 49. Springer, Cham. https://doi.org/10.1007/978-3-030-32722-4_15
Download citation
DOI: https://doi.org/10.1007/978-3-030-32722-4_15
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-32721-7
Online ISBN: 978-3-030-32722-4
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)