Quine on Ontological Commitment in Light of Predicate-Functor Logic

Autor: Collins, John, author

Publikováno v: Quine, Structure, and Ontology, 2020.

Externí odkaz: https://doi.org/10.1093/oso/9780198864288.003.0004

Binding Logic: proofs and models

Autor: Thérèse Hardin, Gilles Dowek, Claude Kirchner

Publikováno v: 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning-LPAR'2002
9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning-LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
Scopus-Elsevier
Logic for Programming, Artificial Intelligence, and Reasoning ISBN: 9783540000105
LPAR

We define an extension of predicate logic, called Binding Logic, where variables can be bound in terms and in propositions. We introduce a notion of model for this logic and prove a soundness and completeness theorem for it. This theorem is obtained

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a5188fc8644addb6ae628c41a56d898

A note on Dasgupta’s Generalism

Autor: Lorenzo Cocco, Joshua Babic

Publikováno v: Philosophical Studies. 177:2153-2162

Dasgupta (Philos Stud Int J Philos Anal Tradit 145(1):35–67, 2009) has argued that material individuals, such as particles and laptops, are metaphysically objectionable and must be eliminated from our fundamental theories of the world. He proposes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::86563303c5519e795aacfa8c8f80552e
https://doi.org/10.1007/s11098-019-01303-2

Predicate Functors Revisited

Autor: Quine, W. V.

Publikováno v: The Journal of Symbolic Logic, 1981 Sep 01. 46(3), 649-652.

Externí odkaz: https://www.jstor.org/stable/2273763

Quine on Ontological Commitment in Light of Predicate-Functor Logic

Autor: John Collins

Publikováno v: Quine, Structure, and Ontology

Quine is renowned for offering a criterion of ontological commitment in terms of the values of bound variables. Simultaneously, however, Quine had a long-standing interest in formal systems that dispense with variables and quantifiers that permit var

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::ec7cd1bb1ca78295dce9e0f3a2451f58
https://doi.org/10.1093/oso/9780198864288.003.0004