Syntax-Semantics Interaction in Mathematics
Journal Title: Studia Semiotyczne - Year 2018, Vol 0, Issue 2
Abstract
Mathematical tools of category theory are employed to study the syntaxsemantics problem in the philosophy of mathematics. Every category has its internal logic, and if this logic is sufficiently rich, a given category provides semantics for a certain formal theory and, vice versa, for each (suitably defined) formal theory one can construct a category, providing a semantics for it. There exists a pair of adjoint functors, Lang and Syn, between a category (belonging to a certain class of categories) and a category of theories. These functors describe, in a formal way, mutual dependencies between the syntactical structure of a formal theory and the internal logic of its semantics. Bell’s program to regard the world of topoi as the univers de discours of mathematics and as a tool of its local interpretation, is extended to a collection of categories and all functors between them, called “categorical field”. This informal idea serves to study the interaction between syntax and semantics of mathematical theories, in an analogy to functors Lang and Syn. With the help of these concepts, the role of Gödel-like limitations in the categorical field is briefly discussed. Some suggestions are made concerning the syntax-semantics interaction as far as physical theories are concerned.
Authors and Affiliations
Michael Heller
Keywords
Related Articles
- EP ID EP487947
- DOI 10.26333/sts.xxxii2.06
- Views 52
- Downloads 0
Directival Theory of Meaning Resurrected
The first aim of this paper is to remind the reader of a very original theory of meaning which in many aspects has not been surpassed by subsequent theories. The theory in question is Kazimierz Ajdukiewicz’s Directival T...
Kategoria wyjaśniania a filozofia matematyki Gödla
Artykuł dotyczy zagadnienia, w jakim sensie można stosować kategorię wyjaśnienia (charakterystyczną raczej dla nauk empirycznych) do interpretacji filozofii matematyki Kurta Gödla. Gödel – jako realista matematyczny – tw...
Argumentacja w edukacji. Postulaty badań edukacyjnych w Polskiej Szkole Argumentacji
Celem niniejszego artykułu jest wyznaczenie kierunków badań edukacyjnych w działalności Polskiej Szkoły Argumentacji (http://argdiap.pl) oraz zainicjowanie dyskusji w polskim środowisku filozoficznym i wśród nauczycieli...
On Suprasubjective Existence in Mathematics
The professional mathematician is a Platonist with regard to the existence of mathematical entities, but, if pressed to tell what kind of existence they have, he hides behind a formalist approach. In order to take both a...
Ocena argumentów w kontekście nauczania krytycznego myślenia
One of the main goals of critical thinking courses should be to provide students with tools helpful in making right choices in their daily lives. During such courses, much attention is usually paid to teaching the studen...