About Properties Of L-inconsistent Theories

Sorites 17:7-16 (2006)
  Copy   BIBTEX

Abstract

In the paper a new type of the formal theory, «L-inconsistent theory», is constructed and some properties of such theories are investigated. First a theory T* is defined as a set of limiting sequences of formulas from a theory T with a language L. A limiting sequence {An}∞n=1 of the formulas from T is said to be a theorem of the theory T* if there exists an m≥0 such that for any n≥m the formula An of the language L is a theorem of the theory T. T is embeded into T*. Then, a theorem of T* is called an L-contradiction if the limit of this theorem equals B∧¬B, where B is a formula of the language L. Finally, the theory T* is said to be an L-inconsistent theory if there exists an L-contradiction in T*. It is proved that the theory T* is consistent, complete, etc., iff the theory T is consistent, complete, etc. However, T* contains more theorems and inferences than T . L-inconsistent theory T* can be presented as a new approach to the Philosophical Logic, dealing with an extension of Method of Limits to thinking. Namely some philosophical antinomies, for example Kantian ones, could be presented as L-contradictions in an L-inconsistent theory

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Inconsistent theories as scientific objectives.Dilip B. Madan - 1983 - Philosophy of Science 50 (3):453-470.
Inconsistency in classical electrodynamics.Mathias Frisch - 2004 - Philosophy of Science 71 (4):525-549.
Inconsistent nonstandard arithmetic.Chris Mortensen - 1987 - Journal of Symbolic Logic 52 (2):512-518.
Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references