Graphs are among the most frequently used structures in Computer Science. Some of the properties that must be checked in many applications are connectivity, acyclicity and the Eulerian and Hamiltonian properties. In this work, we analyze how we can express these four properties with modal logics. This involves two issues: whether each of the modal languages under consideration has enough expressive power to describe these properties and how complex it is to use these logics to actually test whether a given (...) graph has some desired property. First, we show that these properties are not definable in a basic modal logic or in any bisimulation-invariant extension of it, like the modal μ-calculus. We then show that it is possible to express some of the above properties in a basic hybrid logic. Unfortunately, the Hamiltonian and Eulerian properties still cannot be efficiently checked. In a second attempt, we propose an extension of CTL* with nominals and show that the Hamiltonian property can be more efficiently checked in this logic than in the previous one. In a third attempt, we extend the basic hybrid logic with the ↓ operator and show that we can check the Hamiltonian property with optimal complexity in this logic. Finally, we tackle the Eulerian property in two different ways. First, we develop a generic method to express edge-related properties in hybrid logics and use it to express the Eulerian property. Second, we express a necessary and sufficient condition for the Eulerian property to hold using a graded modal logic. (shrink)

This work introduces a two-dimensional modal logic to represent agents' Concurrent Common Knowledge in distributed systems. Unlike Common Knowledge, Concurrent Common Knowledge is a kind of agreement reachable in asynchronous environments. The formalization of such type of knowledge is based on a model for asynchronous systems and on the definition of Concurrent Knowledge introduced before in paper [5]. As a proper semantics, we review our concept of closed sub-product of modal logics which is based on the product of modal logics. (...) The key idea is to reason about Concurrent Knowledge under a two-dimensional approach, regarding asynchronous runs and consistent global states as dimensions. We present an axiomatic system for the logic and issue the corresponding soundness and completeness proofs. (shrink)

This paper introduces a two-dimensional modal logic to reason about knowledge in asynchronous multi-agent message-passing systems. We present a new theoretical definition for concurrent knowledge in order to describe the kind of knowledge typical in such asynchronous environments. To define concurrent knowledge, we propose the closed sub-product of modal logics: a two-dimensional formal semantics where one dimension corresponds to asynchronous runs, the other corresponds to consistent cuts and the concurrent knowledge is defined as the transitive closure over the product of (...) the former dimensions. We axiomatize the presented logic issuing proofs of soundness and completeness with respect to the class of closed sub-product of modal frames. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

Vague notions, such as ‘generally’, ‘rarely’, ‘often’, ‘almost always’, ‘a meaningful subset of a whole’, ‘most’, etc., occur often in ordinary language and in some branches of science. We introduce modal logical systems, with generalized operators, for the precise treatment of assertions involving some versions of such vague notions. We examine modal logics, constructed in a modular fashion, with generalized operators corresponding to some versions of ‘generally’ and ‘rarely’.

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input-output behavior of processes. (shrink)

O filósofo Dominique Lecourt, nascido em 05 de fevereiro de 1944, em Paris, é professor da Universidade Paris Diderot-7, e discute questões como ética, política e ciência, atentando ao biocatastrofismo e ao cientificismo. Tais questões são pertinentes na presente obra, a qual é dividida em quatro capítulos.

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

Should decision-making algorithms be held to higher standards of transparency than human beings? The way we answer this question directly impacts what we demand from explainable algorithms, how we govern them via regulatory proposals, and how explainable algorithms may help resolve the social problems associated with decision making supported by artificial intelligence. Some argue that algorithms and humans should be held to the same standards of transparency and that a double standard of transparency is hardly justified. We give two arguments (...) to the contrary and specify two kinds of situations for which higher standards of transparency are required from algorithmic decisions as compared to humans. Our arguments have direct implications on the demands from explainable algorithms in decision-making contexts such as automated transportation. (shrink)

This paper examines two twenty-first-century developments in the enactive approach in philosophy and the cognitive sciences. The first is the surging interest in Hans Jonas, which begins with Weber and Varela's 'Life After Kant' (2002) and continues up to the present. The second is the 'social turn' that the enactive approach has taken, especially after De Jaegher and Di Paolo's (2007) work on participatory sense-making. We look at these two developments through the lens of the problem of other minds. We (...) argue that they are incompatible due to a residual solipsism in Jonasian phenomenology. Ultimately, this leaves enactive theory with a choice between embracing Jonas or embracing the social turn in enactive theory. We recommend replacing Jonasian influences with those from the late work of Maurice Merleau-Ponty. We argue that enactivism can evade the problem of other minds using Merleau-Ponty's discussion of 'flesh' and 'expression'. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that describes their nature (...) and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

It is generally argued that if the wave-function in the de Broglie–Bohm theory is a physical field, it must be a field in configuration space. Nevertheless, it is possible to interpret the wave-function as a multi-field in three-dimensional space. This approach hasn’t received the attention yet it really deserves. The aim of this paper is threefold: first, we show that the wave-function is naturally and straightforwardly construed as a multi-field; second, we show why this interpretation is superior to other interpretations (...) discussed in the literature; third, we clarify common misconceptions. (shrink)

Em Ser e Tempo, Heidegger argumenta que o conhecimento primordial do Dasein se dá no manuseio de entes mundanos. Merleau-Ponty, por sua vez, descreve na Fenomenologia da Percepção que o conhecimento é, antes de tudo, uma intencionalidade corporal intraduzível em termos proposicionais. Mais tarde, em What Computers Can’t Do, Hubert Dreyfus usa a obra de ambos para apontar os equívocos do paradigma cognitivista, isto é, a abordagem dominante do então nascente campo da inteligência artificial. Finalmente, em The Embodied Mind: Cognitive (...) Science and Human Experience, a noção de enativismo - elaborada por Francisco Varela, Evan Thompson e Eleanor Rosch - surge como uma tentativa de tomar do cognitivismo e do conexionismo a hegemonia nas ciências cognitivas. Dito isso, o objetivo do artigo consiste em descrever o enativismo e apontar sua herança fenomenológica. (shrink)

O livro "Humano pós-humano: a técnica e a vida" de Dominique Lecourt expõe as formas das aplicações da técnica e as mudanças que ela causou na vida humana e na sua natureza; na sua essência. Essa resenha visa explicitar suas ideias, expondo os argumentos de Lecourt para defender a sua tese de que o ser humano ultrapassou essa essência e tornou-se o pós-humano, no momento em que o homem aliou a técnica e a ciência não mais para suprir suas necessidades, (...) mas para construir máquinas que ultrapassem o seu modelo e seus limites biológicos, substituindo o homem em quase todas as suas atividades. Apresente como solução para esse problema a necessidade da aplicação da ética a cada inovação tecnológica. (shrink)

No final da década de 1950, Merleau-Ponty desloca seu foco de investigação da fenomenologia à ontologia. Tal transição envolve a articulação de seus estudos prévios acerca da percepção e da corporeidade com os desdobramentos filosóficos dos postulados da física e da biologia da primeira metade do século. A partir de uma reformulação do conceito de natureza, fomentada não só pelas ciências supracitadas como pela metafísica de Whitehead, Merleau-Ponty propõe a admissão da natureza como um fluxo de expressividade temporal autoprodutora de (...) sentido, incorporando ao âmago do ser a temporalidade e a negatividade antes exclusivas ao para-si. A carne de Merleau-Ponty, como veremos, está em harmonia com a noção de processo de Whitehead, apontando assim um certo hilozoísmo pré-socrático na ontologia de ambos. Dito isso, o objetivo do artigo consiste em examinar a ontologia indireta de Merleau-Ponty, indicando sua convergência com a filosofia de Whitehead para, finalmente, introduzirmos uma crítica incipiente a partir da obra de Francisco Varela. Defende-se aqui que o conceito de autopoiesis pode indicar uma alternativa à noção merleau-pontiana de natureza. (shrink)

In Varieties of Religious Experience: A Study in Human Nature William James examines the role of mysticism in the development of religion. James argues that the root of all religions is precisely the experience of mystical states of consciousness. As we shall see, although James himself admits that his own psychological constitution shuts him out from these experiences, the acknowledgement of practical developments of mysticism within institutionalized religions illustrates the reality of these states of consciousness, a stance supported by James’ (...) pragmatism. Thus, the paper not only examines the nature of mysticism but presents James’ pragmatist view of religion. (shrink)

English summary: What is Religious Experience? For more than a hundred years the term "religious experience" has been part of the vocabulary of philosophy of religion. However, there is no common understanding of the meaning of religious experience. Mario Fischer analyzes Heidegger's early phenomenology of religious life and its background in contemporaneous theological and philosophical developments. The young Martin Heidegger developed his first autonomous phenomenological approaches by considering how the Christian experience of life is expressed in the letters of (...) the apostle Paul and in Augustine's onfessions These studies led to his later analysis of aseinin eing and Time In conclusion, Fischer examines the significance of Heidegger's understanding of religious experience for current discussions in the philosophy of religion. German description: Was ist religiose Erfahrung? Auch wenn seit etwas mehr als einem Jahrhundert der Begriff der religiosen Erfahrung aus der Religionsphilosophie nicht mehr wegzudenken ist, besteht kein einheitliches Verstandnis dessen, was unter religioser Erfahrung zu verstehen ist. Mario Fischer untersucht Heideggers fruhe Phanomenologie des religiosen Lebens vor dem Hintergrund der zeitgeschichtlichen theologischen und philosophischen Entwicklungen. Der junge Freiburger Privatdozent Martin Heidegger wollte nach dem Ersten Weltkrieg die Philosophie neu grundlegen und entwickelte seine ersten Ansatze einer eigenstandigen Phanomenologie. Dabei spielte die Auseinandersetzung mit Fragen nach der Bedeutung und Erfassung religioser Erfahrung eine wesentliche Rolle. Zunachst befasste sich Heidegger mit der Struktur religioser Erlebnisse, weitete seinen Blick dann aber auf die Struktur der Lebenserfahrung und ihre religiose Dimension. Dazu untersuchte er, wie sich diese konkret in den Briefen des Apostels Paulus und in den Confessiones Augustins ausdruckt. Spater fuhrten diese Studien zu seiner Daseinsanalyse in Sein und Zeit und stellten die Grundlage seines spateren Gesprachs mit Bultmann dar. Die Darstellung orientiert sich an Heideggers Biographie bis zu seinem Weggang aus Freiburg im Jahre 1923. Bewusst setzt sie nicht erst mit dem Beginn seiner philosophischen Lehrtatigkeit ein, sondern nimmt auch die Einflusse aus Heideggers Kindheit und Jugend sowie aus seiner Studentenzeit mit in den Blick. So entsteht ein vielgestaltiges und spannendes Bild der verschiedenen Geistesstromungen um den Ersten Weltkrieg. Abschliessend fragt Fischer nach der Bedeutung von Heideggers phanomenologischen Studien fur die gegenwartige religionsphilosophische Diskussion um religiose Erfahrung. (shrink)

This paper investigates the historical origin and ancestors of typicality, which is now a central concept in Boltzmannian Statistical Mechanics and Bohmian Mechanics. Although Ludwig Boltzmann did not use the word typicality, its main idea, namely, that something happens almost always or is valid for almost all cases, plays a crucial role for his explanation of how thermodynamic systems approach equilibrium. At the beginning of the 20th century, the focus on almost always or almost everywhere was fruitful for developing measure (...) theory and probability theory. It was apparently Hugh Everett III who first mentioned typicality in physics in 1957 while searching for a justification of the Born rule in his interpretation of quantum mechanics. The historically closest concept before these developments is moral certainty, which was invented by the medieval French theologian Jean Gerson, and it became a standard concept at least until the Age of Enlightenment, when Jakob Bernoulli proved the Law of Large numbers. (shrink)

We put forth an account for when to believe causal and evidential conditionals. The basic idea is to embed a causal model in an agent’s belief state. For the evaluation of conditionals seems to be relative to beliefs about both particular facts and causal relations. Unlike other attempts using causal models, we show that ours can account rather well not only for various causal but also evidential conditionals.

We propose a method of learning indicative conditional information. An agent learns conditional information by Jeffrey imaging on the minimally informative proposition expressed by a Stalnaker conditional. We show that the predictions of the proposed method align with the intuitions in Douven, 239–263 2012)’s benchmark examples. Jeffrey imaging on Stalnaker conditionals can also capture the learning of uncertain conditional information, which we illustrate by generating predictions for the Judy Benjamin Problem.

Stress has been being pointed as the evil of the current world and can affect as much adults as children. The disorders associated with stress are varied, and people who suffer from it frequently present physical and psychological problems, influencing their behavior and social environment. The care..

Este artigo tem como objetivo estabelecer as relações entre as habilidades sociais e as vivências acadêmicas necessárias à adaptação ao contexto universitário. A pesquisa foi realizada com 200 estudantes do curso de Psicologia de instituições públicas e privadas. Os dois instrumentos utilizados (IHS-Del Prette, 2001 e QVA de Villar, 2003) foram aplicados em conjunto em consonância com as normas do QVA. Os resultados permitem aÞ rmar que os alunos de instituições públicas apresentam melhor adaptação acadêmica do que os de instituições (...) privadas. Foram encontradas correlações entre adaptação acadêmica e habilidades sociais. Para os alunos de instituições públicas as habilidades sociais se relacionam principalmente com as dimensões pessoal e contextual e para os de instituições particulares, com a dimensão de realização. (shrink)

I want to combine two hitherto largely independent research projects, scientific understanding and mechanistic explanations. Understanding is not only achieved by answering why-questions, that is, by providing scientific explanations, but also by answering what-questions, that is, by providing what I call scientific descriptions. Based on this distinction, I develop three forms of understanding: understanding-what, understanding-why, and understanding-how. I argue that understanding-how is a particularly deep form of understanding, because it is based on mechanistic explanations, which answer why something happens in (...) virtue of what it is made of. I apply the three forms of understanding to two case studies: first, to the historical development of thermodynamics and, second, to the differences between the Clausius and the Boltzmann entropy in explaining thermodynamic processes. (shrink)

The ontological models framework distinguishes ψ-ontic from ψ-epistemic wave- functions. It is, in general, quite straightforward to categorize the wave-function of a certain quantum theory. Nevertheless, there has been a debate about the ontological status of the wave-function in the statistical interpretation of quantum mechanics: is it ψ-epistemic and incomplete or ψ-ontic and complete? I will argue that the wave- function in this interpretation is best regarded as ψ-ontic and incomplete.

The following article proposes a change of perspective in the capital-theory debate of political economy. Instead of insisting upon the differences between a Marxian labour theory of value and a Ricardo-Sraffaian theory of prices of production (Marx versus Sraffa) the common basis of the two approaches is stressed. The common basis consists in the paradigm of duality between physical quantities and evaluation standards. The last part of the paper collects sceptical arguments concerning the question of whether the duality paradigm can (...) provide an adequate approach to an analysis of modern technical change. (shrink)

This fascinating exploration of the great discoveries of history's most important mathematicians seeks an answer to the eternal question: Does mathematics hold the key to understanding the mysteries of the physical world?

Questions of boosting human potential and biomedical techniques by modifying the normal way in which the human body works. This text first explains this phenomenon then reflects on it, drawing on philosophy, bioethics, law and technology.

What does it take to understand a phenomenon ideally, or to the highest conceivable extent? In this paper, we answer this question by arguing for five necessary conditions for ideal understanding: (i) representational accuracy, (ii) intelligibility, (iii) truth, (iv) reasonable endorsement, and (v) fitting. Even if one disagrees that there is some form of ideal understanding, these five conditions can be regarded as sufficient conditions for a particularly deep level of understanding. We then argue that grasping, novel predictions, and transparency (...) are not reasonable conditions for ideal understanding. (shrink)