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
Pojęcia podstawowe dla odniesień imion własnych
Na początku rozważań autor artykułu przedstawia spekulatywne i oparte na badaniach empirycznych argumenty za istnieniem pojęć podstawowych dla imion własnych mających odniesienie: dzieci nie są w stanie w kilka dni po ur...
Co czyni zdanie prawdziwym?
W artykule rozważane jest zagadnienie związku między własnościami jednostkowymi i abstrakcyjnymi w kontekście problematyki uprawdziwiania (truthmaking). Proponowane jest pewne aksjomatyczne uogólnienie pojęcia konkretyza...
Is Meaning Holism Compatible with Semantic Minimalism?
Meaning Holism and Contextualism are standardly acknowledged to be similar relativistic theories that often lead to similar troubles, in particular to issues concerning instability. On the other hand, the main rival of C...
The Scale Structure of Moral Adjectives
In this paper we discuss how and whether moral adjectives fit a well-known semantics for gradable adjectives. We first test whether moral adjectives are relative or absolute adjectives. The preliminary results suggest th...
W sprawie uwag Pana Piotra Kozaka dotyczących mojej książki
W sprawie uwag Pana Piotra Kozaka dotyczących książki Podstawy teorii znaku ikonicznego