Constructing formal semantics from an ontological perspective. The case of second-order logics

Giraud, Thibaut

doi:10.1007/s11229-013-0387-9

Cited by 3 publications

(3 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…On peut enfin signaler que les ressources plus étendues qu'offre le cadre réa-liste modéré deviennent particulièrement utiles pour interpréter les langages du second ordre, et de façon générale, les langages plus riches; les différences avec les interprétations nominalistes de ces même langages deviennent alors beaucoup plus nombreuses et significatives (Giraud, 2014).…”

Section: Cadre Réaliste Modéréunclassified

“…De façon générale, les interprétations d'un même langage à partir de différents cadres peuvent différer grandement entre elles; par exemple, les quatre cadres que j'ai présentés produisent des logiques du second ordre très différentes (Giraud, 2014). Cette approche de la sémantique permet ainsi de voir comment des désaccords ontologiques se traduisent en désaccords logiques.…”

Section: Remarques Conclusivesunclassified

See 1 more Smart Citation

Sémantique formelle et engagement ontologique1

Giraud

2014

ateliers

Self Cite

View full text Add to dashboard Cite

document est protégé par la loi sur le droit d'auteur. L'utilisation des services d'Érudit (y compris la reproduction) est assujettie à sa politique d'utilisation que vous pouvez consulter en ligne.https://apropos.erudit.org/fr/usagers/politique-dutilisation/ Cet article est diffusé et préservé par Érudit.Érudit est un consortium interuniversitaire sans but lucratif composé de l'Université de Montréal, l'Université Laval et l'Université du Québec à Montréal. Il a pour mission la promotion et la valorisation de la recherche. Résumé de l'article Je montrerai en premier lieu comment et pourquoi la sémantique formelle peut être employée comme un outil pour déterminer l'engagement ontologique d'une théorie : je soutiendrai d'une part que la sémantique doit être prise au sérieux comme apte à décrire la vérifaction des formules du langage; d'autre part, que les engagements ontologiques d'une théorie sont déterminés par ses vérifacteurs. De là, j'exposerai une méthode générale permettant, étant donné un certain type d'ontologie, de construire une sémantique dont les engagements ontologiques sont en accord avec celle-ci. Pour cela, je définirai la notion de cadre ontologique : il s'agit d'une structure telle que toute sémantique cons-truite à partir de cette structure aura un certain engagement ontologique déterminé à l'avance. J'exposerai quatre cadres représentant deux types de nominalisme et deux types de réalisme, et j'esquisserai à partir de ces cadres quatre sémantiques pour les langages du premier ordre. SEMANTIQUE FORMELLE ET ENGAGEMENT ONTOLOGIQUE 1 THIBAUT GIRAUD DOCTORANT À L'INSTITUT JEAN NICOD, EHESS RÉSUMÉ :Je montrerai en premier lieu comment et pourquoi la sémantique formelle peut être employée comme un outil pour déterminer l'engagement ontologique d'une théorie : je soutiendrai d'une part que la sémantique doit être prise au sérieux comme apte à décrire la vérifaction des formules du langage; d'autre part, que les engagements ontologiques d'une théorie sont déterminés par ses vérifacteurs. De là, j'exposerai une méthode géné-rale permettant, étant donné un certain type d'ontologie, de construire une sémantique dont les engagements ontologiques sont en accord avec celle-ci. Pour cela, je définirai la notion de cadre ontologique : il s'agit d'une structure telle que toute sémantique construite à partir de cette structure aura un certain engagement ontologique déterminé à l'avance. J'exposerai quatre cadres représentant deux types de nominalisme et deux types de réalisme, et j'esquisserai à partir de ces cadres quatre sémantiques pour les langages du premier ordre. ABSTRACT:In a first part, I will show why formal semantics can be used as a tool to determine the ontological commitment of a theory: first I will argue that we should take semantics seriously as describing the truthmaking of formulas of language, and then I will claim that the ontological commitments of a theory are determined by its truthmakers. From there, I will set forth a general method allowing us, for a given kind of ontology, to constru...

show abstract

Section: Cadre Réaliste Modéréunclassified

Section: Remarques Conclusivesunclassified

Sémantique formelle et engagement ontologique1

Giraud

2014

ateliers

Self Cite

View full text Add to dashboard Cite

show abstract

“…Particularly some metaphors in some languages can coincide 11. T. Giraud offers a fundamentally different ontological perspective[32] 12. In the way as it is defined in quantum mechanics.…”

mentioning

confidence: 99%

A Formal Model of Metaphor in Frame Semantics

Пенчев

2016

SSRN Journal

View full text Add to dashboard Cite

1 A formal model of metaphor is introduced. It models metaphor, first, as an interaction of "frames" according to the frame semantics, and then, as a wave function in Hilbert space. The practical way for a probability distribution and a corresponding wave function to be assigned to a given metaphor in a given language is considered. A series of formal definitions is deduced from this for: "representation", "reality", "language", "ontology", etc. All are based on Hilbert space. A few statements about a quantum computer are implied: The sodefined reality is inherent and internal to it. It can report a result only "metaphorically". It will demolish transmitting the result "literally", i.e. absolutely exactly. A new and different formal definition of metaphor is introduced as a few entangled wave functions corresponding to different "signs" in different language formally defined as above. The change of frames as the change from the one to the other formal definition of metaphor is interpreted as a formal definition of thought. Four areas of cognition are unified as different but isomorphic interpretations of the mathematical model based on Hilbert space. These are: quantum mechanics, frame semantics, formal semantics by means of quantum computer, and the theory of metaphor in linguistics.

show abstract

Ontological Pluralism and Multi-Quantificational Ontology

Król

Lubacz

2021

Found Sci

View full text Add to dashboard Cite

This paper explores some variants and aspects of multi-quantificational criteria of existence, examining these in the context of the debate between monism and pluralism in analytical philosophy. Assuming familiarity with the findings to date (summarized in broad terms at the outset), we seek to apply to these the newly introduced concepts of “substitution” and “substitutional model”. Possible applications of formal theories involving multiple types of existential quantifier are highlighted, together with their methods of construction. These considerations then lead to a thesis asserting the irrelevance of both multi-quantificational criteria and assumptions involving quantificational ontology to the debate between monism and pluralism in ontology. Many quantifiers cannot properly distinguish different modes of existence–as we aim to show by furnishing a general method for constructing counter-examples to any theory that assumes that different types of existential quantifier correspond to different modes of existence.

show abstract

Constructing formal semantics from an ontological perspective. The case of second-order logics

Cited by 3 publications

References 6 publications

Sémantique formelle et engagement ontologique1

Sémantique formelle et engagement ontologique1

A Formal Model of Metaphor in Frame Semantics

Ontological Pluralism and Multi-Quantificational Ontology

Contact Info

Product

Resources

About