In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

This work treats the problem of axiomatizing the truth and falsity consequence relations, ⊨ t and ⊨ f, determined via truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, 2005). The approach is based on a representation of SIXTEEN 3 as a twist-structure over the two-element Boolean algebra.

We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t: F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to the studies of the well-known Justified True Belief vs. Knowledge problem. We state a general Correspondence Theorem showing that behind each epistemic modal logic, there is a (...) robust system of justifications. This renders a new, evidence-based foundation for epistemic logic. As a case study, we offer a resolution of the GoldmanRed Barns in Justification Logic. Furthermore, we formalize the well-known Gettier example and reveal hidden assumptions and redundancies in Gettier’s reasoning. (shrink)

The present paper is devoted to computational aspects of propositional inconsistency-adaptive logics. In particular, we prove (relativized versions of) some principal results on computational complexity of derivability in such logics, namely in cases of CLuN r and CLuN m , i.e., CLuN supplied with the reliability strategy and the minimal abnormality strategy, respectively.

Die hier vorliegende rezeptionsgeschichtliche Studie leistet eine systematische Aufarbeitung der in der 'Historik' Johann Gustav Droysens (1808-1884) zu findenden Aristoteles-Bezüge und reiht sich somit in die Gruppe der Arbeiten zu den geistesgeschichtlichen Grundlagen der Geschichtstheorie Droysens ein. Durch die Verortung Droysens im Kontext der Aristoteles-Renaissance im 19. Jahrhundert trägt sie zugleich zu deren weiteren Erforschung bei.

The purpose of this article is to describe how expansive learning in organisations can become a resource for learning in a wider community of practice (CoP). The “developmental work research” approach (DWR) based on cultural historical activity theory (CHAT) is beneficial for analysing and interpreting the requirements in a field of action. Engeström’s specific form of “action research” focuses on expansive learning in activity systems. However, complex socio-technical change processes cannot be initiated and managed by the local community of practise (...) alone. In order to establish the use of new tools, new methodologies or organisational solutions in a field of work, a double path of expansive learning is needed: Findings from the participative analysis and interpretation of contradictions in the local activity system have to be transferred to wider communities of practice. This paper illustrates a double path of expansive learning by presenting the experiences of research and development in machine and plant engineering companies in Germany. In the AQUIMO project, a project team has developed an adaptable software tool for multidisciplinary mechatronical engineering and created a related qualification program. The support from external social researchers has helped to initiate, disseminate and establish new ways to organise the division of labour in teams of engineers. (shrink)

The article analyzes the philosophical concept of the “porous self” of J. Rivera. The originality of this concept in the post-phenomenological project is determined by the role of theological constructions that modify the primal experience of self-consciousness. This modification allows us to interpret the phenomenological description of the human self as different from the classical — “porous” temporality, i.e., correlating through “two entrances”—the internal and external—with eternity. Within this approach, the primary phenomenon of the constitution of the "porous" self becomes (...) the inner word, which in the appeal to eternity turns out to be the original self-awareness of the self as a temporality. The secondary phenomenon of the constitution of the “porous” self is not the mundane temporality of M. Heidegger, but Epektasis as an intense striving towards the end of time in General. The worldly temporality of the self, transformed by faith, is phenomenologically revealed as open to eternity in each of its moments. The third phenomenon of the temporality of the self is Memoria, whose interpretation reveals how the structure of the inner consciousness of time by E. Husserl can be framed ontologically and harmoniously integrated into the theological concept. The article shows how, based on this understanding of both the internal and external openness of the “porous” self for eternity, the integral structure of its temporality is formed. The temporality of the porous self is a modification of Husserl’s time diagrams and the intertwining of two streams of temporality at the same time from past to future and from future to past, which itself constitutes a phenomenal field of events of self. This understanding of temporality sets new perspectives for the phenomenological analysis of subjectivity. (shrink)

Die Glosse Suda ε 1756 wird in der Forschung mit der von Damaskios von Damaskos verfaßten Vita des Philosophen Isidoros in Verbindung gebracht. Tatsächlich aber steht sie in engerem Zusammenhang mit der aus dem Werk des Johannes Antiocheus entnommenen Glosse Suda β 246 und ist daher aus dem Corpus des Damaskios zu streichen und Ioannes Antiocheus zuzuschreiben.

The present paper concentrates on the comments of Michael of Ephesus to the 10th book of the Nicomachean Ethics. In particular it investigates the way in which Michael of Ephesus conceived the relationship between political and theoretical happiness. Doing so allows to evidence the theoretical ties that connect Michael of Ephesus with the Peripatetic philosopher Aspasius and demonstrates the influence of Proclus on Michael of Ephesus.

The article analyzes the interpretation of Fr. Alexander Men of Buddhism as teaching of the “Axial Age”. It is based on his seven-volume work “History of Religion: In Search of the Way, Truth and Life”. First defines the methodology used by Fr. Alexander, which is comparative and hermeneutic in nature. At the same time, he proceeds from a theistic-Christian value position, which, nevertheless, allows him respectfully treats other religious-philosophical traditions. The originality of the author’s interpretation of Buddhism is determined, both (...) its adequate features and one-sided, set by the value orientation. The concepts of transcendence and transcendent are differentiated, which allows conducting a comparative analysis of Buddhism and Christianity, assessments given by Fr. Alexander. The denial of the transcendent in Buddhism does not mean the absence of transcendence, especially in understanding the status of nirvana, which is defined purely apophatically. In the Indian worldview, he finds five essential principles that make Buddhism and Christianity related, despite all the difference in their positions: apophaticism, denial of the highest value of earthly goods, recognition of the high dignity of personal asceticism in spiritual life, the concept of “karma” as retribution, the idea of salvation-liberation as the main goal of religion. These principles, in his opinion, “constitute a strong bridge connecting Eastern religious experience with the Gospel”. The work of A. Men contributes to the expansion of the cultural horizon, liberation from both nationalist and Eurocentric points of view, contributes to the development of a dialogue that is so necessary right now. It is noted that the “Axial Age” concept by K. Jaspers as a whole allows avoiding one-sided assessments, revealing the common source of all axial teachings, which can be defined as “a breakthrough to the transcendent”. (shrink)

In this paper individual proofs are integrated into provability logic. Systems of axioms for a logic with operators “A is provable” and “p is a proof of A” are introduced, provided with Kripke semantics and decision procedure. Completeness theorems with respect to the arithmetical interpretation are proved.

The article presents a conception of the end of history, developed on the basis of Giorgio Agamben’s critical engagement with Alexandre Kojève’s reading of Hegel. Departing from Agamben’s concept of inoperosity as an originary feature of the human condition, we argue that the proper or ‘second’ end of history consists not in the fulfilment of its dialectical process but rather in the radical interruption of the dialectic that terminates the teleological dimension of social praxis. Introducing the figure of the ‘workless (...) slave’ into the scenario of the Master—Slave dialectic, the article demonstrates how the dialectic of history may be ended in a non-dialectical fashion through inoperative praxis that subtracts itself from the struggle for recognition. In the conclusion, the implication of this reading of the end of history for the understanding of Agamben’s ‘coming politics’ is addressed. (shrink)

Justification Logic provides an axiomatic description of justifications and delegates the question of their nature to semantics. In this note, we address the conceptual issue of the logical type of justifications: we argue that justifications in the logical setting are naturally interpreted as sets of formulas which leads to a class of epistemic models that we call modular models . We show that Fitting models for Justification Logic naturally encode modular models and can be regarded as convenient pre-models of the (...) former. (shrink)

Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.

The paper aims to present a critical analysis of the phenomenon and notion of exceptionalism in bioethics. The authors demonstrate that exceptionalism pertains to phenomena that are not (yet) entirely familiar to us and could potentially bear risks regarding their regulation. After an overview of the state of the art, we briefly describe the origins and evolution of the concept, compared to exception and exclusion. In the second step, they look at the overall development debates on genetic exceptionalism, compared to (...) other bioethical debates on exceptionalism, before presenting a detailed analysis of a specific case of early regulation of genetic screening. In the last part, the authors explain the historical background behind the connection between exceptionalism and exclusion in these debates. Their main conclusion is that while the initial stage of the discussion is shaped by the concept of exceptionalism and awareness of risks of exclusion, the later development centers around exceptions that are needed in detailed regulatory procedures. (shrink)

'Ontological Semantics' introduces a comprehensive approach to the treatment of text meaning by computer, arguing that being able to use meaning is crucial to the success of natural language processing applications.

Let K be the least normal modal logic and BK its Belnapian version, which enriches K with ‘strong negation’. We carry out a systematic study of the lattice of logics containing BK based on: • introducing the classes of so-called explosive, complete and classical Belnapian modal logics; • assigning to every normal modal logic three special conservative extensions in these classes; • associating with every Belnapian modal logic its explosive, complete and classical counterparts. We investigate the relationships between special extensions (...) and counterparts, provide certain handy characterisations and suggest a useful decomposition of the lattice of logics containing BK. (shrink)

The principle motivation of this work is to display the sense in which the epistemic reading of a Kripke model tacitly requires common knowledge of the model, CKM. This requirement significantly restricts the amount of epistemic situations we are able to consider. We explore possible worlds epistemic models in a general setting without CKM assumptions and show that such models can be identified with observable substructures of Kripke models. We argue that such observable models offer a new level of generality (...) and conceptual clarity in epistemic modeling. Similar analysis applies to intuitionistic models. (shrink)

Tracing how the logic of inoperativity works in the domains of language, law, history and humanity, 'Agamben and Politics' systematically introduces the fundamental concepts of Agamben's political thought and a critically interprets his insights in the wider context of contemporary philosophy.

Various features of the interpretation of these schools main positions, the reasons for their appearance and the consequences for the development of Mahayana Buddhism have been the subject of discussion in this research. Attention is drawn to the existence of various ideas of Buddhist authors about the interpretation of fundamental philosophical ideas of these schools. The influence of the peculiarities of translation into other languages for the adequate transmission of the author’s thought is discussed. It is noted that the possibility (...) of different interpretations was already established in the very methodology of the transmission of Buddhist doctrines, formed at the earliest stages of Buddhism. The opinions of a number of Tibetan authors are analyzed. The study presents the derivation of the existence of different interpretations of some categories central to Mahayana Buddhism due to the presence of different philosophical methodologies. A number of features were associated with the interpretation of the correlation of logical-critical knowledge, yogic methods and their priority in choosing ways to achieve an exit from the chain of rebirth. The factor of similarities in the positions of such authors as Nāgārjuna and Vasubandhu (traditionally attributed to different schools) makes it problematic to unambiguously interpret their philosophical positions; Some features of these schools were determined not only by theoretical backgrounds, but also by political struggle for a leading place in the Buddhist hierarchy of a certain country, as well as the desire to affect authorities. (shrink)

Neuroscience has established several brain pathways that process visual information. Distinct neural circuits analyze body appearance and movement providing information about the person’s cognitive and emotional states. The activity of the pathways depends on the salience of visual stimuli for the organism in the given circumstances. Since ballet performances are not among the crucial events for the viewer’s organism, not all viewers perceive and interpret bodily signs that express the mental state of the dancer. Treatment of the dancer as close (...) other activates the neural circuits that elaborate emotions, this enables the viewer to feel the internal state of the dancer and enrich the interpretation of the scenic action. (shrink)

And so that there may be less difficulty in understanding what I shall say on this matter, I should like that those not versed in anatomy should take the trouble, before they read this, to have cut up before their eyes the heart of some large animal that has lungs—for it is in all respects sufficiently similar to the heart of man….

The problematic of biopolitics has become increasingly important in the social sciences. Inaugurated by Michel Foucault's genealogical research on the governance of sexuality, crime and mental illness in modern Europe, the research on biopolitics has developed into a broader interdisciplinary orientation, addressing the rationalities of power over living beings in diverse spatial and temporal contexts. The development of the research on biopolitics in recent years has been characterized by two tendencies: the increasingly sophisticated theoretical engagement with the idea of power (...) over and the government of life that both elaborated and challenged the Foucauldian canon and the detailed and empirically rich investigation of the concrete aspects of the government of life in contemporary societies. Unfortunately, the two tendencies have often developed in isolation from each other, resulting in the presence of at least two debates on biopolitics: the historico-philosophical and the empirical one. This Handbook brings these two debates together, combining theoretical sophistication and empirical rigour. The volume is divided into five sections. While the first two deal with the history of the concept and contemporary theoretical debates on it, the remaining three comprise the prime sites of contemporary interdisciplinary research on biopolitics: economy, security and technology. Featuring previously unpublished articles by the leading scholars in the field, this wide-ranging and accessible companion will both serve as an introduction to the diverse research on biopolitics for undergraduate students and appeal to more advanced audiences interested in the current state of the art in biopolitics studies. (shrink)

Early normative studies of human behavior revealed a gap between the norms of practical rationality (what humans ought to do) and the actual human behavior (what they do). It has been suggested that, to close the gap between the descriptive and the normative, one has to revise norms of practical rationality according to the Quinean, engineering view of normativity. On this view, the norms must be designed such that they effectively account for behavior. I review recent studies of human perception (...) which pursued normative modeling and which found good agreement between the normative prescriptions and the actual behavior. I make the case that the goals and methods of this work have been incompatible with those of the engineering approach. I argue that norms of perception and action are observer-independent properties of biological agents; the norms are discovered using methods of natural sciences rather than the norms are designed to fit the observed behavior. (shrink)

Sergei Prozorov challenges the assumption that the biopolitical governance means the end of democracy, arguing for a positive synthesis of biopolitics and democracy. He develops a vision of democratic biopolitics where diverse forms of life can coexist on the basis of their reciprocal recognition as free, equal and in common.

The present study aims to elucidate whether insight problem solving could be facilitated by the cognitive component of humour. The authors take interest in whether the logical mechanisms of humour can affect how fast insight problems are solved. To that end, the authors conducted two experiments where participants solved insight problems after watching visual humorous stimuli such as videos and slideshows. The first experiment demonstrated the overall impact of facilitation by humour on insight problem solving; however, it did not show (...) any difference in how particular logical mechanisms of humour affect the solution time of insight problems. The second experiment showed that the cognitive component of humour could selectively affect insight problems whose difficulty stems from different sources. These results suggest that the cognitive component of humour, when operationalised as logical mechanisms and schema switching, contributes to solving insight problems. (shrink)

Let ???? be a computable structure and let R be a new relation on its domain. We establish a necessary and sufficient condition for the existence of a copy ℬ of ???? in which the image of R (¬R, resp.) is simple (immune, resp.) relative to ℬ. We also establish, under certain effectiveness conditions on ???? and R, a necessary and sufficient condition for the existence of a computable copy ℬ of ???? in which the image of R (¬R, resp.) (...) is simple (immune, resp.). (shrink)

The Transcendental Psychology Approach to the study of perception has been developed by A.I. Mirakyan at the Psychological Institute (Moscow, Russia) about 30 years ago. This article considers the results of theoretical and experimental investigations and provides a historical overview of the approach’s development. Started with the investigations of constancy in perception, it went beyond the traditional Product Basis Paradigm (relying on perceptual features for finding perceptual mechanisms) into Philosophical Metaphysics of “nothing” and “something” concepts for revealing the form-generating principles (...) as fundamental axiomatics of the Transcendental Psychology Approach. Several principles were developed and justified: structure-process anisotropy, spatial-temporal discreteness, the formation of anisotropic (particularly, symmetric) relations, the coexistence of alternatives, and some others. Principles are explanatory for the regulations of sensory-perceptual processes and are the direct object of further specification and experimental verification using hypothetical transcendental models of perceptual structures. The theory suggests that the internal mechanisms of these models would not naturally manifest themselves in experiments within the functional range of perception, and to see the phenomena, it is necessary to bring the perceptual system out of its natural functional range. The form-generating processes are named adiaphorous in the sense that they specifically generate new structures and forms, regardless of the characteristics of products used and produced in the processes. In general, it is possible to speak about the class of so-called structurally-generative processes that are specific to the process of transition between the system-generating structures studied by different hierarchically interrelated sciences. The proposed two-staged qualitative model of the perceptual process consists of two substantially different parts: the direct sensory perception and a process of form designation or sensory name assignment. Further investigations of structurally-generative processes seem likely to shed light on the mechanisms of brain function and to contribute strategically to new directions in philosophical psychology and neuroscience. (shrink)