Tolerating the Barcan Formula, and Refining Digital Physics: Reply to Arkoudas

Minds and Machines 27 (4):679-682 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/s11023-017-9453-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,497

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Prior, Berkeley, and the Barcan formula.James Levine - 2016 - Synthese 193 (11):3551-3565.
The Barcan Formula in Metaphysics.Ori Simchen - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (3):375-392.
Ruth Barcan Marcus and the Barcan Formula.Terence Parsons - 1995 - In Walter Sinnott-Armstrong, Diana Raffman & Nicholas Asher (eds.), Modality, morality, and belief: essays in honor of Ruth Barcan Marcus. New York: Cambridge University Press. pp. 3--11.
Prior, translational semantics, and the Barcan formula.B. Jack Copeland - 2016 - Synthese 193 (11):3507-3519.
Review of Modalities. Philosophical Essays by Ruth Barcan Marcus. [REVIEW]João Branquinho - 1995 - International Journal of Philosophical Studies 3 (2):346-382.
Truthmakers and the converse Barcan formula.Timothy Williamson - 1999 - Dialectica 53 (3-4):253–270.
On modality and reference: Ruth Barcan Marcus (1921-2012).Genoveva Martí - 2012 - Teorema: International Journal of Philosophy 31 (2):203-212.
Ontology of sentential moods.Berislav Žarnić - 2016 - In Myśli o języku, nauce i wartościach. Seria druga. Profesorowi Jackowi Juliuszowi Jadackiemu w siedemdziesiątą rocznicę urodzin. pp. 323-339.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
The universe of discourse of modal logic.Anne Preller - 1996 - Journal of Applied Non-Classical Logics 6 (2):137-147.
Incompleteness and the Barcan formula.M. J. Cresswell - 1995 - Journal of Philosophical Logic 24 (4):379 - 403.
Review on: Ruth Barcan Marcus, Modalities. Philosophical Essays, New York/Oxford (Oxford University Press) 1993. [REVIEW]Eva-Maria Engelen - 1996 - Erkenntnis 44 (1):125-128.
Toward formalizing common-sense psychology: an analysis of the false-belief task.Konstantine Arkoudas & Selmer Bringsjord - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 17--29.
omnibus Review. [REVIEW]Phillip Bricker - 1997 - Journal of Symbolic Logic 62 (1):328-330.
On the Provability, Veracity, and AI-Relevance of the Church-Turing Thesis.Selmer Bringsjord & Konstantine Arkoudas - 2006 - In A. Olszewski, J. Wole'nski & R. Janusz (eds.), Church's Thesis After Seventy Years. Ontos Verlag. pp. 68-118.

Analytics

Added to PP
2017-11-24

Downloads
15 (#953,911)

6 months
3 (#984,719)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Selmer Bringsjord
Rensselaer Polytechnic Institute

Citations of this work

No citations found.

Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
In defense of the contingently nonconcrete.Bernard Linsky & Edward N. Zalta - 1996 - Philosophical Studies 84 (2-3):283-294.
Finite combinatory processes—formulation.Emil L. Post - 1936 - Journal of Symbolic Logic 1 (3):103-105.

View all 6 references / Add more references