排序方式: 共有304条查询结果,搜索用时 15 毫秒
51.
The pure implicational and the multiplicative fragments of arange of propositional relevant (and other) logics are shownto have the property that any two formulas equivalent in sucha logic are constructed from exactly the same propositionalvariables as opposed to merely having (as the definitionof relevance itself would require) some propositional variablein common. 相似文献
52.
Standard Kripke models are inadequate to model situations of inexact knowledge with introspection, since positive and negative
introspection force the relation of epistemic indiscernibility to be transitive and euclidean. Correlatively, Williamson’s
margin for error semantics for inexact knowledge invalidates axioms 4 and 5. We present a new semantics for modal logic which
is shown to be complete for K45, without constraining the accessibility relation to be transitive or euclidean. The semantics corresponds to a system of
modular knowledge, in which iterated modalities and simple modalities are not on a par. We show how the semantics helps to
solve Williamson’s luminosity paradox, and argue that it corresponds to an integrated model of perceptual and introspective
knowledge that is psychologically more plausible than the one defended by Williamson. We formulate a generalized version of
the semantics, called token semantics, in which modalities are iteration-sensitive up to degree n and insensitive beyond n. The multi-agent version of the semantics yields a resource-sensitive logic with implications for the representation of common
knowledge in situations of bounded rationality. 相似文献
53.
Petr Hájek 《Studia Logica》2009,91(3):367-382
Some aspects of vagueness as presented in Shapiro’s book Vagueness in Context [23] are analyzed from the point of fuzzy logic.
Presented are some generalizations of Shapiro’s formal apparatus.
Presented by Daniele Mundici 相似文献
54.
55.
George Voutsadakis 《Studia Logica》2007,85(2):215-249
Two classes of π are studied whose properties are similar to those of the protoalgebraic deductive systems of Blok and Pigozzi. The first
is the class of N-protoalgebraic π-institutions and the second is the wider class of N-prealgebraic π-institutions. Several characterizations are provided. For instance, N-prealgebraic π-institutions are exactly those π-institutions that satisfy monotonicity of the N-Leibniz operator on theory systems and N-protoalgebraic π-institutions those that satisfy monotonicity of the N-Leibniz operator on theory families. Analogs of the correspondence property of Blok and Pigozzi for π-institutions are also introduced and their connections with preand protoalgebraicity are explored. Finally, relations of
these two classes with the (, N)-algebraic systems, introduced previously by the author as an analog of the -algebras of Font and Jansana, and with an analog of the Suszko operator of Czelakowski for π-institutions are also investigated.
Presented by Josep Maria Font 相似文献
56.
Lou Goble 《Studia Logica》2007,85(2):171-197
The results of this paper extend some of the intimate relations that are known to obtain between combinatory logic and certain
substructural logics to establish a general characterization theorem that applies to a very broad family of such logics. In
particular, I demonstrate that, for every combinator X, if LX is the logic that results by adding the set of types assigned to X (in an appropriate type assignment system, TAS) as axioms
to the basic positive relevant logic B∘T, then LX is sound and complete with respect to the class of frames in the Routley-Meyer relational semantics for relevant and substructural
logics that meet a first-order condition that corresponds in a very direct way to the structure of the combinator X itself.
Presented by Rob Goldblatt 相似文献
57.
Guy Axtell 《Synthese》2007,158(3):363-383
This essay extends my side of a discussion begun earlier with Duncan Pritchard, the recent author of Epistemic Luck.Pritchard’s work contributes significantly to improving the “diagnostic appeal” of a neo-Moorean philosophical response to
radical scepticism. While agreeing with Pritchard in many respects, the paper questions the need for his concession to the
sceptic that the neo-Moorean is capable at best of recovering “‘brute’ externalist knowledge”. The paper discusses and directly
responds to a dilemma that Pritchard poses for virtue epistemologies (VE). It also takes issue with Pritchard’s “merely safety-based”
alternative. Ultimately, however, the criticisms made here of Pritchard’s dilemma and its underlying contrast of “anti-luck”
and “virtue” epistemologies are intended to help realize his own aspirations for a better diagnosis of radical scepticism
to inform a still better neo-Moorean response. 相似文献
58.
Linh Anh Nguyen 《Studia Logica》2001,69(1):41-57
We give complete sequent-like tableau systems for the modal logics KB, KDB, K5, and KD5. Analytic cut rules are used to obtain the completeness. Our systems have the analytic superformula property and can thus give a decision procedure. Using the systems, we prove the Craig interpolation lemma for the mentioned logics. 相似文献
59.
Interpolation in practical formal development 总被引:2,自引:0,他引:2
60.
This paper is an attempt to put forward a new kind of partial model for representing belief states. I first introduce some philosophical motivations for working with partial models. Then, I present the standard (total) model proposed by Hintikka, and the partial models studied by Humberstone and Holliday. I then show how to reduce Hintikka’s semantics in order to obtain a partial model which, however, differs from Humberstone’s and Holliday’s. The nature of such differences is assessed, and I provide motivations for using the newly proposed semantics rather than the existing ones. Finally, I review some promising philosophical applications of the ideas developed throughout the discussion. 相似文献