Modal Environment for Boolean Speculations

George Gargov, Solomon Passy and Tinko Tinchev
Additional contact information
George Gargov: Faculty of Mathematics at Sofia University
Solomon Passy: Faculty of Mathematics at Sofia University
Tinko Tinchev: Faculty of Mathematics at Sofia University

A chapter in Mathematical Logic and Its Applications, 1987, pp 253-263 from Springer

Abstract: Abstract The common form of a mathematical theorem consists in that “the truth of some properties for some objects is necessary and/or sufficient condition for other properties to hold for other objects”. To formalize this, one happens to resort to Kripke modal logic K which, having in the syntax the notions of ‘property’ and ‘necessity’, appears to provide a reliable metamathematical fundament. In this paper we challenge this reliability. We propose two different approaches each claiming better formal treatment of the state of affairs. The first approach is in formalizing the notion of ‘sufficiency’ (which remains beyond the capacities of K), and consequently of ‘sufficiency’ and ‘necessity’ in a joint context. The second is our older idea to formalize the notion of ‘object’ in the same modal spirit. Having ‘property, object, sufficiency, necessity’, we establish some basic results and profess to properly formalize the everyday metamathematical reason.

Keywords: Modal Logic; Kripke Model; Dynamic Logic; Completeness Theorem; Modal Formula (search for similar items in EconPapers)
Date: 1987
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-1-4613-0897-3_17

Ordering information: This item can be ordered from
http://www.springer.com/9781461308973

DOI: 10.1007/978-1-4613-0897-3_17

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().