排序方式: 共有239条查询结果,搜索用时 0 毫秒
41.
Alberto Zanardo 《Studia Logica》2006,82(3):379-400
Temporal logic is one of the many areas in which a possible world semantics is adopted. Prior's Ockhamist and Peircean semantics
for branching-time, though, depart from the genuine Kripke semantics in that they involve a quantification over histories,
which is a second-order quantification over sets of possible worlds. In the paper, variants of the original Prior's semantics
will be considered and it will be shown that all of them can be viewed as first-order counterparts of the original semantics. 相似文献
42.
Dale Jacquette 《Studia Logica》2006,82(3):337-343
If we agree with Michael Jubien that propositions do not exist, while accepting the existence of abstract sets in a realist
mathematical ontology, then the combined effect of these ontological commitments has surprising implications for the metaphysics
of modal logic, the ontology of logically possible worlds, and the controversy over modal realism versus actualism. Logically
possible worlds as maximally consistent proposition sets exist if sets generally exist, but are equivalently expressed as
maximally consistent conjunctions of the same propositions in corresponding sets. A conjunction of propositions, even if infinite
in extent, is nevertheless itself a proposition. If sets and hence proposition sets exist but propositions do not exist, then
whether or not modal realism is true depends on which of two apparently equivalent methods of identifying, representing, or
characterizing logically possible worlds we choose to adopt. I consider a number of reactions to the problem, concluding that
the best solution may be to reject the conventional model set theoretical concept of logically possible worlds as maximally
consistent proposition sets, and distinguishing between the actual world alone as maximally consistent and interpreting all
nonactual merely logically possible worlds as submaximal.
I am grateful to the Netherlands Institute for Advanced Study in the Humanities and Social Sciences (NIAS), Royal Netherlands
Academy of Arts and Sciences (KNAW), for supporting this among related research projects in philosophical logic and philosophy
of mathematics during my Resident Research Fellowship in 2005-2006. 相似文献
43.
Willem Blok and Modal Logic 总被引:1,自引:0,他引:1
We present our personal view on W.J. Blok's contribution to modal logic. 相似文献
44.
Hamblin’s Action-State Semantics provides a sound philosophical foundation for understanding the character of the imperative.
Taking this as our inspiration, in this paper we present a logic of action, which we call ST, that captures the clear ontological distinction between being responsible for the achievement of a state of affairs and
being responsible for the performance of an action. We argue that a relativised modal logic of type RT founded upon a ternary
relation over possible worlds integrated with a basic tense logic captures intuitions of the Hamblinian model of imperatives.
The logic implements a direct mapping of each of Hamblin’s key concepts: strategies, partial strategies and wholehearted satisfaction. 相似文献
45.
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. 相似文献
46.
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 相似文献
47.
48.
49.
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 相似文献
50.
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 相似文献