Uwagi o okresie warunkowym, implikacji i entailmencie

Filozofia Nauki 2 (2008)

Abstract
This article is the analysis of the logical system-E (entailment) proposed in work ‘Entailment’, vol 1 i 2 [1975, 1992] by R. A. Aderson and N. D. Belnap Jr. The First part presents a brief history of notion ‘entailment’ and the application of logical systems of entailment. The Second part contains any characterization of reasons of construction of this logical system. The Third part presents logical system-E, and the last part focuses on the weak points of this type of the formalization of the relations between sentences of a formal language. The purpose of this paper is to explore and explicate the realtion of entailment from the point of view of a logical pragmatic
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 61,064
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

On the Formalization of Strawson's Presupposition.Jacek Malinowski - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):111-118.
A Lewisian Semantics for S2.Edwin Mares - 2013 - History and Philosophy of Logic 34 (1):53-67.
Frege on Consistency and Conceptual Analysis.Patricia A. Blanchette - 2007 - Philosophia Mathematica 15 (3):321-346.
Dialogical Connexive Logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):105-139.
Neighborhoods for Entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
Perfect Validity, Entailment and Paraconsistency.Neil Tennant - 1984 - Studia Logica 43 (1-2):181 - 200.
A Natural Deduction System for First Degree Entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Gts and Interrogative Tableaux.Stephen Harris - 1994 - Synthese 99 (3):329 - 343.

Analytics

Added to PP index
2013-03-14

Total views
0

Recent downloads (6 months)
0

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes