A Note On Formal Reasoning with Extensible Domain

The Reasoner 3 (7):5-6 (2009)
  Copy   BIBTEX

Abstract

Assuming the indefinite extensibility of any domain of quantification leads to reasoning with extensible domain semantics. It is showed that some theorems (e.g. Thomson's) in conventional semantics logic are not theorems in a logic provided with this new semantics

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

Indefinite Extensibility in Natural Language.Laureano Luna - 2013 - The Monist 96 (2):295-308.
Dummett's Argument for the Indefinite Extensibility of Set and Real Number.Peter Clark - 1998 - Grazer Philosophische Studien 55 (1):51-63.
Varieties of Indefinite Extensibility.Gabriel Uzquiano - 2015 - Notre Dame Journal of Formal Logic 56 (1):147-166.
Truth, indefinite extensibility, and fitch's paradox.Jose Luis Bermudez - 2009 - In Joe Salerno (ed.), New Essays on the Knowability Paradox. Oxford University Press.
Sets and Indefinitely Extensible Concepts and Classes.Peter Clark - 1993 - Aristotelian Society Supplementary Volume 67:235--249.
Poincaré, Richard's Paradox and Indefinite Extensilibity.Peter Clark - 1994 - Psa 2:227--235.
Whence the Paradox? Axiom V and Indefinite Extensibility.Crispin Wright - unknown
Speaking of everything.Richard L. Cartwright - 1994 - Noûs 28 (1):1-20.
Unlimited Possibilities.Gonçalo Santos - 2011 - In Michal Peliš & Vít Punčochář (eds.), The Logica Yearbook. College Publications.
Hazy Totalities and Indefinitely Extensible Concepts.Alex Oliver - 1998 - Grazer Philosophische Studien 55 (1):25-50.
Constrained semantic transference: A formal theory of metaphors.Bipin Indurkhya - 1986 - Synthese 68 (3):515 - 551.
Domains of Discourse.Philip Hugly & Charles Sayward - 1987 - Logique Et Analyse 117 (17):173-176.
Identity in modal logic theorem proving.Francis J. Pelletier - 1993 - Studia Logica 52 (2):291 - 308.
Relatively Unrestricted Quantification.Kit Fine - 2006 - In Agustín Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press. pp. 20-44.

Analytics

Added to PP
2010-09-04

Downloads
38 (#410,745)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Laureano Luna
Universidad Nacional de Educación a Distancia (PhD)

Citations of this work

Cantor’s Proof in the Full Definable Universe.Laureano Luna & William Taylor - 2010 - Australasian Journal of Logic 9:10-25.

Add more citations

References found in this work

No references found.

Add more references