Kit Fine. Failures of the interpolation lemma in quantified modal logic. The journal of symbolic logic, vol. 44, (1979), pp. 201–206.

1983 ◽  
Vol 48 (2) ◽  
pp. 486-488 ◽  
Author(s):  
Saul A. Kripke
Keyword(s):  
Modal Logic ◽  
Symbolic Logic ◽  
Kit Fine ◽  
Quantified Modal Logic

scholarly journals The New Aristotelian Essentialists

Metaphysica ◽  
2018 ◽  
Vol 19 (1) ◽  
pp. 87-93 ◽  
Author(s):  
Harold W. Noonan
Keyword(s):  
Modal Logic ◽  
Kit Fine ◽  
Quantified Modal Logic ◽  
De Re ◽  
Seminal Work

AbstractIn recent years largely due to the seminal work of Kit Fine and that of Jonathan Lowe there has been a resurgence of interest in the concept of essence and the project of explaining de re necessity in terms of it. Of course, Quine rejected what he called Aristotelian essentialism in his battle against quantified modal logic. But what he and Kripke debated was a notion of essence defined in terms of de re necessity. The new Aristotelian essentialists regard essence as entailing but prior in the order of explanation to de re necessity. In what follows I argue that the concept of essence so understood has not been adequately explained and that any attempt to explain it, at least along the lines most familiar from the literature, must be flagrantly circular or make use of de re modal notions.

Quantified Modal Logic With Rigid Terms

1988 ◽  
Vol 34 (3) ◽  
pp. 251-259 ◽  
Author(s):  
Giovanna Corsi
Keyword(s):  
Modal Logic ◽  
Quantified Modal Logic

QUANTIFIED MODAL LOGIC ON THE RATIONAL LINE

2014 ◽  
Vol 7 (3) ◽  
pp. 439-454 ◽  
Author(s):  
PHILIP KREMER
Keyword(s):  
Modal Logic ◽  
Real Line ◽  
Topological Spaces ◽  
Topological Semantics ◽  
Cantor Space ◽  
Quantified Modal Logic ◽  
Propositional Modal Logic ◽  
The Family ◽  
Modal Logic S4 ◽  
Rational Line

AbstractIn the topological semantics for propositional modal logic, S4 is known to be complete for the class of all topological spaces, for the rational line, for Cantor space, and for the real line. In the topological semantics for quantified modal logic, QS4 is known to be complete for the class of all topological spaces, and for the family of subspaces of the irrational line. The main result of the current paper is that QS4 is complete, indeed strongly complete, for the rational line.

On finite and infinite modal systems

1938 ◽  
Vol 3 (2) ◽  
pp. 77-82 ◽  
Author(s):  
C. West Churchman
Keyword(s):  
Modal Logic ◽  
Symbolic Logic ◽  
Modal Operator ◽  
Image Position ◽  
Modal Systems ◽  
Complex Modal

In Oskar Becker's Zur Logik der Modalitäten four systems of modal logic are considered. Two of these are mentioned in Appendix II of Lewis and Langford's Symbolic logic. The first system is based on A1–8 plus the postulate,From A7: ∼◊p⊰∼p we can prove the converse of C11 by writing ∼◊p for p, and hence deriveThe addition of this postulate to A1–8, as Becker points out, allows us to “reduce” all complex modal functions to six, and these six are precisely those which Lewis mentions in his postulates and theorems: p, ∼p, ◊p, ∼◊p, ∼◊∼p, and ◊∼p This reduction is accomplished by showingwhere ◊n means that the modal operator ◊ is repeated n times; e.g., ◊3p = ◊◊◊p. Then it is shown thatBy means of (1), (2), and (3) any complex modal function whatsoever may be reduced to one of the six “simple” modals mentioned above.It might be asked whether this reduction could be carried out still further, i.e., whether two of the six “irreducible” modals could not be equated. But such a reduction would have to be based on the fact that ◊p = p which is inconsistent with the set B1–9 of Lewis and Langford's Symbolic logic and independent of the set A1–8. Hence for neither set would such a reduction be possible.

scholarly journals LOGIC OF RELATIVITY

2021 ◽  
pp. 42-52
Author(s):  
Ihor Ohirko ◽  
Zinovii Partyko
Keyword(s):  
Modal Logic ◽  
Symbolic Logic ◽  
Logical Theory ◽  
Relative Truth ◽  
Time Space ◽  
Different Types ◽  
Logical Method ◽  
Standard Values ◽  
The Difference ◽  
Modal Values

The problem of the truth of statements is considered. This study had the goal to develop a logical theory that would allow considering the context (the paradigm) from which would depend on the truth of the statement. For the development of such a theory, called the logic of relativity, the following methods of research are used as abstraction, analysis (traditional), synthesis, deduction, formalisation, axiomatisation, logical method. In order to develop the logic of relativity, it is expedient to use the achievements in the area of situational logic. Under the situation, it is proposed to understand two circumstances (time and space) and a condition that creates a context (paradigm) statement. Specifies the modal values that these three parameters can acquire and examines different types of situations. In order to write statements in the logic of relativity, a form of the statement of statements is proposed in the language of extended symbolic logic. For the theory of the logic of relativity, a set of four axioms is proposed and a series of laws. In particular, it is indicated that the values of the assertions in the logic of relativity are the following five estimates: truth, relative truth, relative is absurd, unclear, uncertain. Some theorems of the logic of relativity are proposed. A number of examples of texts in the natural language are given to interpret the statements of the logic of relativity. It is indicated that the proposed apparatus of the logic of relativity should be regarded as a kind of modal logic. The difference in the logic of relativity from situational logic is that it considers the factor of movement (motion) of statements in time, space and environment conditions, which was not considered by situational logic. The logic of relativity should be used wherever it is necessary to take into account the possibility of moving allegations regarding time, space and environment of conditions. One of the most important conclusions of the study is that in the logic to the standard values of truth (true, probably true, false, uncertain), it is expedient to add another value: relatively true (and accordingly: relatively false).

Sign in / Sign up

Export Citation Format

Share Document