排序方式: 共有82条查询结果,搜索用时 15 毫秒
41.
42.
In this paper, we are going to analyze the phenomenon of modal incompleteness from an algebraic point of view. The usual method of showing that a given logic L is incomplete is to show that for some
L and some
cannot be separated from by a suitably wide class of complete algebras — usually Kripke algebras. We are going to show that classical examples of incomplete logics, e.g., Fine logic, are not complete with respect to any class of complete BAOs. Even above Grz it is possible to find a continuum of such logics, which immediately implies the existence of a continuum of neighbourhood-incomplete Grz logics. Similar results can be proved for Löb logics. In addition, completely incomplete logics above Grz may be found uniformly as a result of failures of some admissible rule of a special kind. 相似文献
43.
Gregory Landini 《Axiomathes》2009,19(2):115-142
This is a critical discussion of Nino B. Cocchiarella’s book “Formal Ontology and Conceptual Realism.” It focuses on paradoxes
of hyperintensionality that may arise in formal systems of intensional logic.
相似文献
Gregory LandiniEmail: |
44.
The main goal of this paper is to explain the link between the algebraic models and the Kripke-style models for certain classes of propositional non-classical logics. We consider logics that are sound and complete with respect to varieties of distributive lattices with certain classes of well-behaved operators for which a Priestley-style duality holds, and present a way of constructing topological and non-topological Kripke-style models for these types of logics. Moreover, we show that, under certain additional assumptions on the variety of the algerabic models of the given logics, soundness and completeness with respect to these classes of Kripke-style models follows by using entirely algebraical arguments from the soundness and completeness of the logic with respect to its algebraic models. 相似文献
45.
《Canadian journal of philosophy》2012,42(3-4):388-406
In ‘Kripke on epistemic and metaphysical possibility: two routes to the necessary a posteriori’, Scott Soames identifies two arguments for the existence of necessary a posteriori truths in Naming and Necessity (NN). He argues that Kripke's second argument relies on either of two principles, each of which leads to contradiction. He also claims that it has led to ‘two-dimensionalist’ approaches to the necessary a posteriori which are fundamentally at odds with the insights about meaning and modality expressed in NN. I argue that the alleged second argument is not in NN. I identify the mistakes that lead to Soames' misinterpretation. 相似文献
46.
We introduce modal propositional substructural logics with strong negation, and prove the completeness theorems (with respect to Kripke models) for these logics. 相似文献
47.
Mathematical modal logic: A view of its evolution 总被引:1,自引:0,他引:1
This is a survey of the origins of mathematical interpretations of modal logics, and their development over the last century or so. It focuses on the interconnections between algebraic semantics using Boolean algebras with operators and relational semantics using structures often called Kripke models. It reviews the ideas of a number of people who independently contributed to the emergence of relational semantics, and compares them with the work of Kripke. It concludes with an account of several applications of modal model theory to mathematics and theoretical computer science. 相似文献
48.
Achille C. Varzi 《Studia Logica》2006,82(3):371-378
Is standard, Kripke-style semantics for quantified modal logic compatible with the view that no individual may belong to more than one possible world? One is naturally inclined to answer in the negative, arguing that the view requires a Lewis-style, counterpart-theoretic semantics instead. Strictly speaking, however, this natural answer is wrong-headed. This note explains why. 相似文献
49.
We define dual and symmetric combinatory calculi (inequational and equational ones), and prove their consistency. Then, we introduce algebraic and set theoretical– relational and operational – semantics, and prove soundness and completeness. We analyze the relationship between these logics, and argue that inequational dual logics are the best suited to model computation. 相似文献
50.
Semantics, cross-cultural style 总被引:4,自引:0,他引:4