Validity in Simple Partial Logic

Annals of the Japan Association for Philosophy of Science 10 (4):139-153 (2002)
  Copy   BIBTEX

Abstract

Firstly I characterize Simple Partial Logic (SPL) as the generalization and extension of a certain two-valued logic. Based on the characterization I present two definitions of validity in SPL. Finally I show that given my characterization these two definitions are more appropriate than other definitions that have been prevalent, since both have some desirable semantic properties that the others lack.

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.10.139

Links

PhilArchive

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

Partial Up and Down Logic.Jan O. M. Jaspars - 1995 - Notre Dame Journal of Formal Logic 36 (1):134-157.
Semantic games with chance moves revisited: from IF logic to partial logic.Xuefeng Wen & Shier Ju - 2013 - Synthese 190 (9):1605-1620.
A partial functions version of church's simple theory of types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
Probabilistic Canonical Models for Partial Logics.François Lepage & Charles Morgan - 2003 - Notre Dame Journal of Formal Logic 44 (3):125-138.
Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.
Logic: The Stoics (part one).Susanne Bobzien - 1999 - In Keimpe Algra & et al (eds.), The Cambridge History of Hellenistic Philosophy. Cambridge University Press.
Bourne on future contingents and three-valued logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.
Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality.F. Parlamento - 2014 - Notre Dame Journal of Formal Logic 55 (3):383-395.
Relational and partial variable sets and basic predicate logic.Silvio Ghilardi & Giancarlo Meloni - 1996 - Journal of Symbolic Logic 61 (3):843-872.
A partial account of presupposition projection.David Beaver & Emiel Krahmer - 2001 - Journal of Logic, Language and Information 10 (2):147-182.
Partial Logic as a Logic of Extensional Alethic Modality.Daisuke Kachi - 2007 - Journal of the Japan Association for Philosophy of Science 34 (2):61-70.
Quasi-Truth, Supervaluations and Free Logic.Newton C. A. Da Costa & Otavio Bueno - 1999 - History and Philosophy of Logic 20 (3-4):215-226.
Universal functions in partial structures.Maurizio Negri - 1992 - Mathematical Logic Quarterly 38 (1):253-268.

Analytics

Added to PP
2014-03-23

Downloads
364 (#52,479)

6 months
87 (#46,762)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Daisuke Kachi
Saitama University

Citations of this work

An expansion of first-order Belnap-Dunn logic.K. Sano & H. Omori - 2014 - Logic Journal of the IGPL 22 (3):458-481.
Tensed Ontology Based on Simple Partial Logic.Daisuke Kachi - 2002 - Proceedings of Ninth International Symposium on Temporal Representation and Reasoning: TIME-02:141-145.
Bourne on future contingents and three-valued logic.Daisuke Kachi - 2009 - Logic and Logical Philosophy 18 (1):33-43.

Add more citations

References found in this work

Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.
Philosophical problems in Logic.Karel Lambert (ed.) - 1970 - Dordrecht,: Reidel.

Add more references