Recent studies in semantics of modal and superintuitionistic predicate logics provided many examples of incompleteness, especially for Kripke semantics. So there is a problem: to find an appropriate possible- world semantics which is equivalent to Kripke semantics at the propositional level and which is strong enough to prove general completeness results. The present paper introduces a new semantics of Kripke metaframes' generalizing some earlier notions. The main innovation is in considering "n"-tuples of individuals as abstract "n"-dimensional vectors', together with some (...) transformations of these vectors. Soundness of the semantics is proved to be equivalent to some non- logical properties of metaframes; and thus we describe the maximal semantics of Kripke- type. (shrink)

In [Ono 1987] H. Ono put the question about axiomatizing the intermediate predicate logicLFin characterized by the class of all finite Kripke frames. It was established in [ Skvortsov 1988] thatLFin is not recursively axiomatizable. One can easily show that for any finite posetM, the predicate logic characterized byM is recursively axiomatizable, and its axiomatization can be constructed effectively fromM. Namely, the set of formulas belonging to this logic is recursively enumerable, since it is embeddable in the two-sorted classical (...) predicate calculusCPC 2. Thus the logicLFin is II 2 0 -arithmetical.Here we give a more explicit II 2 0 -description ofLFin: it is presented as the intersection of a denumerable sequence of finitely axiomatizable Kripke-complete logics. Namely, we give an axiomatization of the logicLB n P m + characterized by the class of all posets of the finite height m and the finite branching n. A finite axiomatization of the predicate logicLP m + characterized by the class of all posets of the height m is known from [Yokota 1989]. We prove thatLB n P m + =,B n being the propositional axiom of the branching n. (shrink)

The second order intuitionistic propositional logic characterized by the class of all “principal” Kripke frames is non-recursively axiomatizable, as well as any logic of a class of principal Kripke frames containing every finite frame.

A method for constructing continua of logics squeezed between some intermediate predicate logics, developed by Suzuki [8], is modified and applied to intervals of the form [L, L+ ¬¬S], where Lis a predicate logic, Sis a closed predicate formula. This solves one of the problems from Suzuki's paper.

ABSTRACT A simple method of axiomatizing every finite intermediate propositional logic by a finite set of axioms with the minimal number of variables is proposed. The method is based on Jankov's characteristic formulas.

Intermediate prepositional logics we consider here describe the setI() of regular informational types introduced by Yu. T. Medvedev [7]. He showed thatI() is a Heyting algebra. This algebra gives rise to the logic of infinite problems from [13] denoted here asLM 1. Some other definitions of negation inI() lead to logicsLM n (n ). We study inclusions between these and other systems, proveLM n to be non-finitely axiomatizable (n ) and recursively axiomatizable (n ). We also show that formulas in (...) one variable do not separateLM from Heyting's logicH, andLM n (n ) from Scott's logic (H+S). (shrink)

This paper studies a class of infinite-valued predicate logics. A sufficient condition for axiomatizability of logics from that class is given.

The Kripke-completeness and incompleteness of some intermediate predicate logics is established. In particular, we obtain a Kripke-incomplete logic (H* +A+D+K) where H* is the intuitionistic predicate calculus, A is a disjunction-free propositional formula, D = x(P(x) V Q) xP(x) V Q, K = ¬¬x(P(x) V ¬P(x)) (the negative answer to a question of T. Shimura).

The completeness w.r.t. Kripke frames with equality (or, equivalently, w.r.t. Kripke sheaves, [ 8 ] or [4, Sect. 3.6]) is established for three superintuitionistic predicate logics: ( Q - H + D *), ( Q - H + D *&K), ( Q - H + D *& K & J ). Here Q - H is intuitionistic predicate logic, J is the principle of the weak excluded middle, K is Kuroda’s axiom, and D * (cf. [ 12 ]) is a (...) weakened version of the well-known constant domains principle D . Namely, the formula D states that any individual has ancestors in earlier worlds, and D * states that any individual has $${\neg\neg}$$ -ancestors (i.e., ancestors up to $${\neg\neg}$$ -equality) in earlier worlds. In particular, the logic ( Q - H + D *& K & J ) is the Kripke sheaf completion of ( Q - H + E & K & J ), where E is a version of Markov’s principle (cf. [ 12 ]). On the other hand, we show that the logic ( Q - H + D *& J ) is incomplete w.r.t. Kripke sheaves. (shrink)

We prove that an intermediate predicate logic characterized by a class of finite partially ordered sets is recursively axiomatizable iff it is "finite", i.e., iff it is characterized by a single finite partially ordered set. Therefore, the predicate logic LFin of the class of all predicate Kripke frames with finitely many possible worlds is not recursively axiomatizable.

An intermediate predicate logic L is called finite iff it is characterized by a finite partially ordered set M, i.e., iff L is the logic of the class of all predicate Kripke frames based on M. In this paper we study axiomatizability of logics of this kind. Namely, we consider logics characterized by finite trees M of a certain type (levelwise uniform trees) and establish the finite axiomatizability criterion for this case.

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

We propose a new, rather simple and short proof of Kripke-completeness for the predicate variant of Dummett's logic. Also a family of Kripke-incomplete extensions of this logic that are complete w.r.t. Kripke frames with equality (or equivalently, w.r.t. Kripke sheaves [8]), is described.

An example of finite tree Mo is presented such that its predicate logic (i.e. the intermediate predicate logic characterized by the class of all predicate Kripke frames based on Mo) is not finitely axiomatizable. Hence it is shown that the predicate analogue of de Jongh - McKay - Hosoi's theorem on the finite axiomatizability of every finite intermediate propositional logic is not true.

The article discusses the main features of the Russian philosophy of war that developed in the first third of the 20th century. The author shows that in Russia, the philosophy of war did not develop as a separate broad line of research but limited itself to only a few meaningful, but rather brief, experiments. Nevertheless, many Russian philosophers left deep, well-founded reasoning about war, which can be reconstructed as a consistent system of views. One of its features is the shift (...) in the focus of considering armed violence from the sociological and political to the anthropological and ethical; the focus is not on war as a social phenomenon, but on the human’s position in war. In this regard, the attitude to war in Russian philosophy is paradoxical. On the one hand, war brings a lot of evil in the form of death of many people and destruction, but, on the other hand, it promotes to the manifestation of the best moral qualities in people, up to selflessness and heroism. Armed violence seems to be a tragedy of the Christian conscience, and each participant must independently find a justification for his participation in the war. Based on the conditions of a difficult moral choice, personal, existential justification may come from the idea that people cannot commit violence with a clear conscience. In this case, the person choosing to participate in a war perceives the battle as his own guilt that should be expiated. (shrink)

A comprehensive introduction to the ways in which meaning is conveyed in language. Alan Cruse covers semantic matters, but also deals with topics that are usually considered to fall under pragmatics. A major aim is to highlight the richness and subtlety of meaning phenomena, rather than to expound any particular theory. Rich in examples and exercises, Meaning in Language provides an invaluable descriptive approach to this area of linguistics for undergraduates and postgraduates alike.

Authors philosophical notes on life, conduct of life from the perspective of a life.

Book Commentary:A.Yu. Korobov-Latyntsev. Philosopher and War. On Russian Military Philosophy. Moscow: Russkaya filosofiya, 2020.

The scientific article is devoted to the actual problem of scientific interaction of scientists all over the world by developing the representation of a scientific journal on the Internet. This article describes the status of managing a scientific journal in the digital world. Modern software platforms intended for automation of preparation and publication of electronic scientific journals are presented. The analysis and comparison of several software platforms. The advantages of using open source journal systems are given. The choice of OJS3 (...) platform is substantiated and a short generalized algorithm for its use is outlined. (shrink)

This book: * assumes no mathematical background and keeps the technicalities to a minimum * explains the most important applications of probability theory to ...

In this entry we provide a critical review of recent work on the nature and ethics of blame, including issues of moral standing.

Abstract:Contemporary common sense holds that authenticity is an ethical ideal: that there is something bad about inauthenticity, and something good about authenticity. Here we criticize the view that authenticity is bad because it detracts from the wellbeing of the inauthentic person, and propose an alternative moral account of the badness of inauthenticity, based on the idea that inauthentic behaviour is potentially misleading.

The verb 'imagine' admits of perspectival modification: we can imagine things from above, from a distant point of view, or from the point of view of a Russian. But in such cases, there need be no person, either real or imagined, who is above or distant from what is imagined, or who has the point of view of a Russian. We call this the puzzle of perspectival displacement. This paper sets out the puzzle, shows how it does not just concern (...) language, but also states of imagining themselves, and then presents a solution. The solution draws on the idea that many reports of imagining conceal a distinctive kind of question, and such concealed questions have an extra argument place for (what we will call) an experiencer from whose perspective things are imagined. This solution has a range of advantages over other proposals in the literature, and helps to advance two debates concerning perspectival engagement with fiction. (shrink)

In diesem Band deckt Diego D'Angelo semiotische Strukturen in der Husserl’schen Phänomenologie der Wahrnehmung auf. Ist es der Phänomenologie darum zu tun, die Erfahrung von Dingen in unserer Umwelt zu beschreiben, so ist dabei der Begriff des Horizontes von zentraler Bedeutung: Was wir unmittelbar wahrnehmen, verweist immer schon auf anderes, was nur „mitgegeben“ ist. Wenn wir Dinge wahrnehmen, haben wir nur eine bestimmte Perspektive, d.h. wir sehen lediglich einen Aspekt. Aber wir nehmen immer ganze Gegenstände wahr (wir sehen Tische und (...) Stühle und andere Menschen). Jeder dieser Gegenstände erscheint in einem Feld weiterer Gegenstände, und es ist der Horizontbegriff, der es erlaubt, das Verhältnis zwischen Selbstgegebenheit und Mitgegebenheit zu explizieren. Dieses Buch stellt den ersten detaillierten Versuch dar, die Ursprünge solcher horizontaler Felder in semiotischen Strukturen zu suchen. Aus der Verbindung zwischen Husserls eigener Semiotik und seiner Phänomenologie der Wahrnehmung ergibt sich, dass das wahrgenommene Phänomen als Zeichen verstanden werden muss. Das Zeichen wiederum bezeichnet etwas, was in leiblicher Bewegung eingeholt werden kann. Mit der Verbindung von Leiblichkeit, Semiotik und Wahrnehmung thematisiert diese Monographie das Verhältnis zwischen folgenden phänomenologischen Forschungsgebieten: • Husserls Semiotik der Wahrnehmung in den Logischen Untersuchungen • Phänomenologische Raumanalyse – kinästhetische Indikation • Horizont und Noema • Passive Anzeige • Zeichen und Leiblichkeit als Grundlagen der Fremderfahrung • Genetische Phänomenologie und Semiotik der Erfahrung • Protentionen und teleologische Semiose • Induktion und Ursprung des menschlichen Ichs Das Buch eröffnet die Möglichkeit, Husserls Phänomenologie jenseits einer Metaphysik der Präsenz zu verstehen. Zudem leisten D'Angelos Einzeluntersuchungen einen Beitrag zu aktuellen Diskussionen in der Philosophie der leiblichen Kognition. – Eine hilfreiche Leseempfehlung für • Interessierte Themenneulinge • Bachelor- und Masterstudenten der Geisteswissenschaften • Hochschulabsolventen sowie Forschungswissenschaftler. (shrink)

Onderwerp en gezegde, door D. M. Bakker.--Enkele opmerkingen over het Godsbegrip van Justinus Martyr, door J. den Boeft.--Heidegger, Descartes, Luther, door J. van der Hoeven.--"Geschichtlichkeit" bij Carl Friedrich von Weizsäcker, door G. Horsman.--Menselijke ontmaskering en Bijbels démasqué , door R. Huson.--Kleine geschiedenis van het begrip "niets" in de antieke wijsbegeerte (tot e met de Sofisten en Plato), door P. A. Meijer.--De structuur van opvoeden en opvoedkunde, door J. W. Mojet.--Individualiteit in de fysica, door M. D. (...) Stafleu. (shrink)

1. cahier. Logique et mathématique: Thèmes unitaires et crise de l'unité dans la mathématique, par G. Bouligand. Les techniques logiques et l'unite des mathématiques, par D. Dubarle. Chronique de logique, par F. Russo. Physique: Le renouvellement des idées en physique par les théories quantiques et relativistes, par O. Costa de Beauregard. A la recherche d'une physique cohérente, par F. Russo. Sciences de l'homme et de la vie: La paléontologie, par H. Alimen. La biologie et l'homme nouveau, par R. Collin. Précisions (...) sur la notion d'évolution, par R. Lavocat. Pensée religieuse et esprit scientifique, par A.-M. Dubarle. (shrink)

This is the classic study of the history and continuing philosophical values of the law of nature. D'Entrèves discerned three distinct sources that have contributed to the development of natural law: Roman law teachings, Christian beliefs regarding law, and egalitarian and revolutionary theories of the Enlightenment. Now regarded as a classic work, Natural Law has exercised considerable influence over the course of Anglo-American legal theory in the past forty years. The statements of Clarence Thomas during his 1991 Senate confirmation hearings (...) show that the law of nature still holds powerful appeal in defining judicial rules. In the new introduction, Cary J. Nederman points out both the contemporary value and the historical significance of Natural Law. He also provides the biographical as well as intellectual context for d'Entrèves immense accomplishments. This volume is essential reading for students of legal history, political theory, and philosophy. It will also be of interest to historians. "Few texts provide as concise or as cogent an introduction to natural theory as Alexander Passerin d'Entrèves' Natural Law: An Introduction to Legal Philosophy.... Transaction Publishers has performed a genuine service by bringing out a new edition of Natural Law. D'Entrèves' analysis is clear and penetrating, and will guide the student of natural law to further, fruitful study."--Mitchell Muncy, The University Bookman. (shrink)

The theme of the relationship between art and society is certainly not a central topic in the aesthetic reflection of Italian neo-idealism. Neither in Croce nor in Gentile it is ever discussed at length, and the few writings in which it is addressed are brief and polemically oriented. This essay, however, proposes to discuss the few hints present in Croce and Gentile on this subject. First, the debate on the materialistic interpretation of history will be examined, to which both Croce (...) and Gentile made important contributions at the end of the 19th century. Secondly, Croce’s own way of doing the history of literature will be discussed, showing the differences that distance him from the Desanctisian model and also from the model derived from the Hegelian Aesthetics. Croce’s way of making history of literature, indeed, aroused harsh criticism after World War II and provoked a request for a “return to De Sanctis”.Finally, but the theme will be only hinted at in the essay, a brief reference will be proposed to the opinions of Antonio Gramsci and his reading of Croce. (shrink)

The present monograph is devoted to the principal problems of quantum mechanics and is based on the conception first stated in my course on 'Fundamentals of Quantum Mechanics'. The scope and purpose of the above course did not allow some principal questions to be brought out as fully as they deserved, and besides, some important points were only very recently developed to a sufficient extent. This refers especially to the analysis of the action of the measuring instrument, whose dual role (...) as an analyser of a quantum ensemble and as a detector of individual events was insufficiently elucidated. The reader will find that the present monograph is concerned more with theoretical physics than with philosophy. However, I have never separated Weltanschauung from science (and particularly theoretical physics) so that the philosophical implications are also discussed, justi fying publication in the philosophical series. In conclusion, I should like to thank the publisher and the translator, whose initiative and effort have made it possible for the book to reach the English-speaking reader. (shrink)