We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of (...) accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND. (shrink)

This is a welcome reprint of a book that continues to grow in importance.

I make three related proposals concerning the development of receptive communication in human infants. First, I propose that the presence of communicative intentions can be recognized in others' behaviour before the content of these intentions is accessed or inferred. Second, I claim that such recognition can be achieved by decoding specialized ostensive signals. Third, I argue on empirical bases that, by decoding ostensive signals, human infants are capable of recognizing communicative intentions addressed to them. Thus, learning about actual modes of (...) communication benefits from, and is guided by, infants' preparedness to detect infant-directed ostensive communication. (shrink)

The author presents and defends three theses: (1) "the first is that it is not profitable for us at present to do moral philosophy; that should be laid aside at any rate until we have an adequate philosophy of psychology." (2) "the second is that the concepts of obligation, And duty... And of what is morally right and wrong, And of the moral sense of 'ought', Ought to be jettisoned if this is psychologically possible...." (3) "the third thesis is that (...) the differences between the well-Known english writers on moral philosophy from sidgwick to the present day are of little importance." (staff). (shrink)

The paper investigates and refines the proportionalist solution to the causal exclusion problem developed by Menzies and List. First and foremost, it explores the implications of their inter-level compatibility result. It is highlighted that in theory the inter-level causal compatibility of realizer and realized properties allows for scenarios where the higher-level property is multiply realized. By developing concrete illustrations, the paper proves this to be an empirically plausible option. Further non-trivial implications of the framework are unpacked to show that the (...) sensitivity of causal relations to background conditions is as important in deciding on the existence and the direction of exclusion as sensitivity to the realization of the cause. This insight also opens the way to further refinements: a richer reconceptualization of upwards exclusion and a plausible answer to a critic of the Menzies and List project. (shrink)

Two experiments investigated whether infants represent goal‐directed actions of others in a way that allows them to draw inferences to unobserved states of affairs (such as unseen goal states or occluded obstacles). We measured looking times to assess violation of infants' expectations upon perceiving either a change in the actions of computer‐animated figures or in the context of such actions. The first experiment tested whether infants would attribute a goal to an action that they had not seen completed. The second (...) experiment tested whether infants would infer from an observed action the presence of an occluded object that functions as an obstacle. The looking time patterns of 12‐month‐olds indicated that they were able to make both types of inferences, while 9‐month‐olds failed in both tasks. These results demonstrate that, by the end of the first year of life, infants use the principle of rational action not only for the interpretation and prediction of goal‐directed actions, but also for making productive inferences about unseen aspects of their context. We discuss the underlying mechanisms that may be involved in the developmental change from 9 to 12 months of age in the ability to infer hypothetical (unseen) states of affairs in teleological action representations. (shrink)

We review studies of an evolution operator ℒ for a discrete Langevin equation with a strongly hyperbolic classical dynamics and a Gaussian noise. The leading eigenvalue of ℒ yields a physically measurable property of the dynamical system, the escape rate from the repeller. The spectrum of the evolution operator ℒ in the weak noise limit can be computed in several ways. A method using a local matrix representation of the operator allows to push the corrections to the escape rate up (...) to order eight in the noise expansion parameter. These corrections then appear to form a divergent series. Actually, via a cumulant expansion, they relate to analogous divergent series for other quantities, the traces of the evolution operators ℒn. Using an integral representation of the evolution operator ℒ, we then investigate the high order corrections to the latter traces. Their asymptotic behavior is found to be controlled by sub-dominant saddle points previously neglected in the perturbative expansion, and to be ultimately described by a kind of trace formula. (shrink)

Many argued (Accardi and Fedullo, Pitowsky) that Kolmogorov's axioms of classical probability theory are incompatible with quantum probabilities, and that this is the reason for the violation of Bell's inequalities. Szabó showed that, in fact, these inequalities are not violated by the experimentally observed frequencies if we consider the real, “effective” frequencies. We prove in this work a theorem which generalizes this results: “effective” frequencies associated to quantum events always admit a Kolmogorovian representation, when these events are collected through different (...) experimental setups, the choice of which obeys a classical distribution. (shrink)

This book offers an introduction to the Sophists of fifth-century Athens and a new overall interpretation of their thought. Since Plato first animadverted on their activities, the Sophists have commonly been presented as little better than intellectual mountebanks - a picture which Professor Kerferd forcefully challenges here. Interpreting the evidence with care, he shows them to have been part of an exciting and historically crucial intellectual movement. At the centre of their teaching was a form of relativism, most famously expressed (...) by Protagoras as 'Man is the measure of all things', and which they developed in a wide range of views - on knowledge and argument, virtue, government, society, and the gods. On all these subjects the Sophists did far more than simply provoke Plato to thought. Their contributions were substantial and serious; they inaugurated the debate on many central philosophical questions and decisively shifted the focus of philosophical attention from the cosmos to man. (shrink)

According to recent work in experimental philosophy, folk intuitions concerning various metaphysical issues are heavily teleological. The experiments in question, which belong to a broader research program in psychology about ‘promiscuous teleology’, have featured prominently in debates about the methodology of metaphysics, with some authors claiming that the folk’s teleological bias debunks everyday intuitions concerning composition, persistence, and organisms. The present paper argues for a possibility that is very rarely discussed in that debate, namely the idea that the folk’s intuitions (...) could be veridical. Our argument is based on an emerging naturalistic theory of biological functions called “the organismic view”. The gist of the organismic view is that biological systems are characterized by a special circular causal regime where each part of the system contributes to the boundary conditions of some other parts, as well as of the whole. We argue that teleological folk intuitions are veridical in the biological domain under such a view, and they are veridical in the social and artefactual domains under coherent extensions of the organismic view. (shrink)

The current study investigates the effects of green advertising and a corporation’s environmental performance on brand attitudes and purchase intentions. A 3 × 3 (firm’s environmental performance and its advertising efforts as independent variables) experiment using n = 302 subjects was conducted. Results indicate that the negative effect of a firm’s low performance on brand attitudes becomes stronger in the presence of green advertising compared to general corporate advertising and no advertising. Further, when the firm’s environmental performance is high, both (...) green and general corporate advertising result in more unfavorable brand attitudes than no advertising. The study’s counter-intuitive findings are explained by attribution theory. (shrink)

The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is (...) also studied. (shrink)

In a recent article “From Epistemology to Ontology,” Tihamer Margitay argues, in addition to other things, that the ontological arguments Polanyi provided for his ontological realism with respect to the levels of reality are insufficient. Although Margitay shows this correctly in the case of arguments from boundary conditions, his arguments are not that convincing against the unidentifyability thesis, the thesis that entity kinds on higher levels cannot be identified with descriptions given on lower levels. I argue that here Polányi relies (...) on a version of the multiple realizeability thesis and this argument can be reformulated in a stronger version against which the counterargument Margitay provides is insufficient. (shrink)

We show that the conceptual distance between any two theories of first-order logic is the same as the generator distance between their Lindenbaum–Tarski algebras of concepts. As a consequence of this, we show that, for any two arbitrary mathematical structures, the generator distance between their meaning algebras (also known as cylindric set algebras) is the same as the conceptual distance between their first-order logic theories. As applications, we give a complete description for the distances between meaning algebras corresponding to structures (...) having at most three elements and show that this small network represents all the possible conceptual distances between complete theories. As a corollary of this, we will see that there are only two non-trivial structures definable on three-element sets up to conceptual equivalence (i.e., up to elementary plus definitional equivalence). (shrink)

Barresi & Moore fail to provide a satisfactory account for the development of social understanding because of (1) their ambiguous characterization of the relationship between the intentional schema and shared intentional activities, (2) their underestimation of the representational capacities of infants, and (3) their overreliance on the simulationist assumption that understanding others is tantamount to sharing their experience.

Heyes's proposed study for testing whether chimpanzees have a theory of mind is too strong because it requires that the animals apply mental concepts to the interpretation of both their own experiences and the behaviours of others, and too weak because dispositional rather than representational understanding of “ seeing ” is sufficient to pass it.

How does cultural knowledge shape the development of human minds and, conversely, what kind of species-specific social-cognitive mechanisms have evolved to support the intergenerational reproduction of cultural knowledge? We critically examine current theories proposing a human-specific drive to identify with and imitate conspecifics as the evolutionary mechanism underlying cultural learning. We summarize new data demonstrating the selective interpretive nature of imitative learning in 14-month-olds and argue that the predictive scope of existing imitative learning models is either too broad or too (...) narrow to account for these findings. We outline our alternative theory of a human-specific adaptation for ‘pedagogy’, a communicative system of mutual design specialized for the fast and efficient transfer of new and relevant cultural knowledge from knowledgeable to ignorant conspecifics. We show the central role that innately specified ostensive-communicative triggering cues and learner-directed manner of knowledge manifestations play in constraining and guiding selective imitation of relevant cultural knowledge that is both new and cognitively opaque to the naive learner. (shrink)

In natural sciences, the most interesting and relevant questions are the so-called why-questions. There are several different approaches to why-questions and explanations in the literature, however, most of the literature deals with why-questions about particular events, such as ``Why did Adam eat the apple?''. Even the best known theory of explanation, Hempel's covering law model, is designed for explaining particular events. Here we only deal with purely theoretical why-questions about general phenomena of physics, for instance ``Why can no observer move (...) faster than light?'' or ``Why are Kepler's laws valid?''. Here we are not going to develop a whole new theory of why-questions in physics. We will just touch upon some ideas and examples relevant to our subject. (shrink)

For simplicity, most of the literature introduces the concept of definitional equivalence only for disjoint languages. In a recent paper, Barrett and Halvorson introduce a straightforward generalization to non-disjoint languages and they show that their generalization is not equivalent to intertranslatability in general. In this paper, we show that their generalization is not transitive and hence it is not an equivalence relation. Then we introduce another formalization of definitional equivalence due to Andréka and Németi which is equivalent to the Barrett–Halvorson (...) generalization in the case of disjoint languages. We show that the Andréka–Németi generalization is the smallest equivalence relation containing the Barrett–Halvorson generalization and it is equivalent to intertranslatability, which is another definition for definitional equivalence, even for non-disjoint languages. Finally, we investigate which definitions for definitional equivalences remain equivalent when we generalize them for theories in non-disjoint languages. (shrink)

Episodic memory has been analyzed in a number of different ways in both philosophy and psychology, and most controversy has centered on its self-referential,autonoeticcharacter. Here, we offer a comprehensive characterization of episodic memory in representational terms and propose a novel functional account on this basis. We argue that episodic memory should be understood as a distinctive epistemic attitude taken toward an event simulation. In this view, episodic memory has a metarepresentational format and should not be equated with beliefs about the (...) past. Instead, empirical findings suggest that the contents of human episodic memory are often constructed in the service of the explicit justification of such beliefs. Existing accounts of episodic memory function that have focused on explaining its constructive character through its role in future-oriented mental time travel do justice neither to its capacity to ground veridical beliefs about the past nor to its representational format. We provide an account of the metarepresentational structure of episodic memory in terms of its role in communicative interaction. The generative nature of recollection allows us to represent and communicate the reasons why we hold certain beliefs about the past. In this process, autonoesis corresponds to the capacity to determine when and how to assert epistemic authority in making claims about the past. A domain where such claims are indispensable are human social engagements. Such engagements commonly require the justification of entitlements and obligations, which is often possible only by explicit reference to specific past events. (shrink)

This paper tracks the commitments of mechanistic explanations focusing on the relation between activities at different levels. It is pointed out that the mechanistic approach is inherently committed to identifying causal connections at higher levels with causal connections at lower levels. For the mechanistic approach to succeed a mechanism as a whole must do the very same thing what its parts organised in a particular way do. The mechanistic approach must also utilise bridge principles connecting different causal terms of different (...) theoretical vocabularies in order to make the identities of causal connections transparent. These general commitments get confronted with two claims made by certain proponents of the mechanistic approach: William Bechtel often argues that within the mechanistic framework it is possible to balance between reducing higher levels and maintaining their autonomy at the same time, whereas, in a recent paper, Craver and Bechtel argue that the mechanistic approach is able to make downward causation intelligible. The paper concludes that the mechanistic approach imbued with identity statements is no better candidate for anchoring higher levels to lower ones while maintaining their autonomy at the same time than standard reductive accounts are, and that what mechanistic explanations are able to do at best is showing that downward causation does not exist. (shrink)

The aim of this paper is to present a new logic-based understanding of the connection between classical kinematics and relativistic kinematics. We show that the axioms of special relativity can be interpreted in the language of classical kinematics. This means that there is a logical translation function from the language of special relativity to the language of classical kinematics which translates the axioms of special relativity into consequences of classical kinematics. We will also show that if we distinguish a class (...) of observers in special relativity and exclude the non-slower-than light observers from classical kinematics by an extra axiom, then the two theories become definitionally equivalent. Furthermore, we show that classical kinematics is definitionally equivalent to classical kinematics with only slower-than-light inertial observers, and hence by transitivity of definitional equivalence that special relativity theory extended with “Ether” is definitionally equivalent to classical kinematics. So within an axiomatic framework of mathematical logic, wee xplicitly show that the transition from classical kinematics to relativistic kinematics is the knowledge acquisition that there is no “Ether”, accompanied by a redefinition of the concepts of time and space. (shrink)

Intelligent sensors should be seamlessly, securely, and trustworthy interconnected to enable automated high-level smart applications. Semantic metadata can provide contextual information to support the accessibility of these features, making it easier for machines and humans to process the sensory data and achieve interoperability. The unique overview of sensor ontologies according to the semantic needs of the layers of IoT solutions can serve a guideline of engineers and researchers interested in the development of intelligent sensor-based solutions. The explored trends show that (...) ontologies will play an even more essential role in interlinked IoT systems as interoperability and the generation of controlled linkable data sources should be based on semantically enriched sensory data. (shrink)