Syntax-Semantics Interaction in Mathematics

Syntax-Semantics Interaction in Mathematics

DOI: http://doi.org/10.26333/sts.xxxii2.06 MICHAEL HELLER SYNTAX–SEMANTICS INTERACTION IN MATHEMATICS SU M M A R Y: Mathematical tools of category theory are employed to study the syntax-semantics problem in the philosophy of mathematics. Every category has its internal logic, and if this...

Full description

Bibliographic Details
Main Author:	Michael Heller
Format:	Article
Language:	English
Published:	Polskie Towarzystwo Semiotyczne / The Polish Semiotic Society 2019-05-01
Series:	Studia Semiotyczne
Subjects:	philosophy of mathematics categorical logic syntax-semantic interaction Bell’s program Gödel-like limitations
Online Access:	http://studiasemiotyczne.pts.edu.pl/index.php/Studiasemiotyczne/article/view/7

Similar Items

A Leibnizian Approach to Mathematical Relationships: A New Look at Synthetic Judgments in Mathematics
by: Purser, David Thurman
Published: (2010)

The homunculus brain and categorical logic
by: Steve Awodey, et al.
Published: (2020-12-01)

Semantic constraints in syntax
by: Marija Znika
Published: (2004-01-01)

Godel's theorem - its place in mathematical history
by: Pullman, Phyllis Louise
Published: (2019)

Mathematical Aspects of Logic Programming Semantics
by: Hitzler, Pascal
Published: (2010)

Four Years with Russell, Gödel, and Erdős: An Undergraduate's Reflection on His Mathematical Education
by: Boggess, Michael H
Published: (2017)

The Syntax and Semantics of Light Attitudes
by: Simeonova, Vesela Tihomirova
Published: (2020)

On formally undecidable propositions of Zermelo-Fraenkel set theory
by: St. John, Gavin
Published: (2013)

Limitations of Formal (Logical) Semantics
Published: (2020-10-01)

What are the limits of mathematical explanation? Interview with Charles McCarty by Piotr Urbańczyk
by: David Charles McCarty, et al.
Published: (2016-08-01)

The syntax and semantics of serial verb constructions in Thai
by: Sudmuk, Cholthicha, 1962-
Published: (2008)

Analysis of RDF Syntaxes for Semantic Web Development
by: Gryaznov Yevgeny, et al.
Published: (2015-12-01)

On the argument-adjunct distinction in the Polish “Semantic Syntax” tradition
by: Adam Przepiórkowski
Published: (2017-12-01)

The syntax and semantics of infinitives of result in English
by: Whelpton, Matthew James
Published: (1995)

The principle of anagramming from an intralighustic perspective: phonetics and syntax
by: Berestnev G.
Published: (2015-11-01)

Gratitude expressions with mh-goi and do-jeh in Cantonese : their syntax, lexical semantics and sentence semantics
by: Lee, Mei-shan, et al.
Published: (2013)

I-Semantics: Foundational Questions
by: Adriano Marques da Silva
Published: (2019-11-01)

A faculdade da linguagem e os sistemas de interface: as relações entre a sintaxe e a semântica The language faculty and the interface systems: interactions between syntax and semantics
by: Esmeralda Vailati Negrão
Published: (2007-01-01)

The Syntax and Semantics of Manner Modification: Adjectives and Adverbs
by: Alyeksyeyenko, Oleksandr
Published: (2016)

Towards a Syntax-Semantics Interface for Latin
by: Andrew M. Devine, et al.
Published: (2017-12-01)

The Syntax and Semantics of the Ojibwe Verbal Domain
by: Riccomini, Kate
Published: (2019)

Generalization of Bounded Linear Logic and its Categorical Semantics
by: Fukihara, Yoji
Published: (2021)

Flexible recruitment of semantic richness: Context modulates body-object interaction effects in lexical-semantic processing
by: Cody eTousignant, et al.
Published: (2012-03-01)

Explorations of the Syntax-Semantics Interface
Published: (2021)

Inquisitive Semantics
Published: (2018)

Inquisitive Semantics
by: Ciardelli, Ivano
Published: (2018)

Towards a Linguistically-Oriented Textual Entailment Test-Suite for Polish Based on the Semantic Syntax Approach
by: Adam Przepiórkowski
Published: (2015-12-01)

Automatic extraction of corollaries from semantic structure of text
by: Nurtazin Abyz T., et al.
Published: (2016-11-01)

The syntax and semantics of clause-typing in Plains Cree
by: Cook, Clare Elizabeth
Published: (2008)

The syntax and semantics of clause-typing in Plains Cree
by: Cook, Clare Elizabeth
Published: (2008)

The syntax and semantics of clause-typing in Plains Cree
by: Cook, Clare Elizabeth
Published: (2008)

Gödel’s Incompleteness Theorems and Physics
by: Newton C. A. da Costa
Published: (2011-12-01)

Gödel’s Incompleteness Theorems and Physics
by: Newton C. A. da Costa
Published: (2011-09-01)

About edible restaurants: conflicts between syntax and semantics as revealed by ERPs.
by: Miriam Kos, et al.
Published: (2010-12-01)

Linear Order and the Construction of Meaning: Is Syntax Deceptive?
by: Geneviève GIRARD-GILLET
Published: (2012-03-01)

Abstract logical structuralism
by: Jean-Pierre Marquis
Published: (2020-12-01)

The Neural Correlates of the Body-Object Interaction Effect in Semantic Processing
by: Ian Scott Hargreaves, et al.
Published: (2012-02-01)

The disjunction introduction rule: Syntactic and semantics considerations
by: Miguel López Astorga
Published: (2015-12-01)

O rio do tempo
by: Monai Antunes
Published: (2021-01-01)

Syntax, semantics, and pragmatics of accusative-quotative constructions in Japanese
by: Horn, Stephen Wright
Published: (2008)