In cognitive science, the dynamical systems theory (DST) has recently been advocated as an approach to cognitive modeling that is better suited to the dynamics of cognitive processes than the symbolic/computational approaches are. Often, the differences between DST and the symbolic/computational approach are emphasized. However, alternatively their commonalities can be analyzed and a unifying framework can be sought. In this paper, the possibility of such a unifying perspective on dynamics is analyzed. The analysis covers dynamics in cognitive disciplines, as well (...) as in physics, mathematics and computer science. The unifying perspective warrants the development of integrated approaches covering both DST aspects and symbolic/computational aspects. The concept of a state-determined system, which is based on the assumption that properties of a given state fully determine the properties of future states, lies at the heart of DST. Taking this assumption as a premise, the explanatory problem of dynamics is analyzed in more detail. The analysis of four cases within different disciplines (cognitive science, physics, mathematics, computer science) shows how in history this perspective led to numerous often used concepts within them. In cognitive science, the concepts desire and intention were introduced, and in classical mechanics the concepts momentum, energy and force. Similarly, in mathematics a number of concepts have been developed to formalize the state-determined system assumption [e.g. derivatives (of different orders) of a function, Taylor approximations]. Furthermore, transition systems - a currently popular format for specification of dynamical systems within computer science - can also be interpreted from this perspective. One of the main contributions of the paper is that the case studies provide a unified view on the explanation of dynamics across the chosen disciplines. All approaches to dynamics analyzed in this paper share the state-determined system assumption and the (explicit or implicit) use of anticipatory state properties. Within cognitive science, realism is one of the problems identified for the symbolic/computational approach - i.e. how do internal states described by symbols relate to the real world in a natural manner. As DST is proposed as an alternative to the symbolic/computational approach, a natural question is whether, for DST, realism of the states can be better guaranteed. As a second main contribution, the paper provides an evaluation of DST compared to the symbolic/computational approach, which shows that, in this respect (i.e. for the realism problem), DST does not provide a better solution than the other approaches. This shows that DST and the symbolic/computational approach not only have the state-determined system assumption and the use of anticipatory state properties in common, but also the realism problem. (shrink)

In this paper, reduction and its pragmatics are discussed in light of the development in computer science of languages to describe processes. The design of higher-level description languages within computer science has had the aim of allowing for description of the dynamics of processes in the (physical) world on a higher level avoiding all (physical) details of these processes. The higher description levels developed have dramatically increased the complexity of applications that came within reach. The pragmatic attitude of a (scientific) (...) practitioner in this area has become inherently anti-reductionist, but based on well-established reduction relations. The paper discusses how this perspective can be related to reduction in general, and to other domains where description of dynamics plays a main role, in particular, biological and cognitive domains. (shrink)

When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in this area is Reiter's Default Logic (1980). A characteristic of this formalism is that the applicability of default (inference) rules can only be verified in the future of the reasoning process. We describe an interpretation of default logic in temporal epistemic logic which makes this characteristic explicit. It is shown that this interpretation yields a semantics (...) for default logic based on temporal epistemic models. A comparison between the various semantics for default logic will show the differences and similarities of these approaches and ours. (shrink)

ABSTRACT Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: a specification language for level 1, with formal semantics based on belief state frames, a fragment of infinitary temporal logic as a general specification language for level 2, (...) with formal semantics based on reasoning frames. In our framework every level 2 description can be abstracted to level 1, and for every level 1 description there are level 2 descriptions which are a specialization of it. (shrink)

In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can be seen as a sequence of information states which describe what has been derived at each time point. A transition from an information state at a point in time to the state at the (or a) next time point is induced by one or more inference steps. We choose to (...) model the information states by partial models and the patterns either by linear time or branching time temporal models. Using temporal logic one can define theories and look at all models of that theory. For a number of examples of reasoning behaviour we have been able to define temporal theories such that its (minimal) models correspond to the valid patterns of the behaviour. These theories prescribe that the inference steps which are possible, are “executed” in the temporal model. The examples indicate that partial temporal logic is a powerful means of describing and formalizing complex reasoning patterns, as the dynamic aspects of reasoning systems are integrated into the static ones in a clear fashion. (shrink)

Temporal logic can be used to describe processes: their behaviour ischaracterized by a set of temporal models axiomatized by a temporaltheory. Two types of models are most often used for this purpose: linearand branching time models. In this paper a third approach, based onsocalled joint closure models, is studied using models which incorporateall possible behaviour in one model. Relations between this approach andthe other two are studied. In order to define constructions needed torelate branching time models, appropriate algebraic notions are (...) defined(in a category theoretical manner) and exploited. In particular, thenotion of joint closure is used to construct one model subsuming a setof models. Using this universal algebraic construction we show that aset of linear models can be merged to a unique branching time model.Logical properties of the described algebraic constructions are studied.The proposed approach has been successfully aplied to obtain anappropriate semantics for non-monotonic reasoning processes based ondefault logic. References are discussed that show the details of theseapplications. (shrink)

This paper contributes an analysis and formalisation of Damasio’s theory on core consciousness. Three important concepts in this theory are ‘emotion’, ‘feeling’ and ‘feeling a feeling’ . In particular, a simulation model is described of the dynamics of basic mechanisms leading via emotion and feeling to core consciousness, and dynamic properties are formally specified that hold for these dynamics at a more global level. These properties have been automatically checked for the simulation model. Moreover, a formal analysis is made of (...) relevant notions of representation used by Damasio. As part of this analysis, specifications of representation relations have been verified and confirmed against the simulation model. (shrink)

Compositional verification aims at managing the complexity of theverification process by exploiting compositionality of the systemarchitecture. In this paper we explore the use of a temporal epistemiclogic to formalize the process of verification of compositionalmulti-agent systems. The specification of a system, its properties andtheir proofs are of a compositional nature, and are formalized within acompositional temporal logic: Temporal Multi-Epistemic Logic. It isshown that compositional proofs are valid under certain conditions.Moreover, the possibility of incorporating default persistence ofinformation in a system, is (...) explored. A completion operation on aspecific type of temporal theories, temporal completion, is introducedto be able to use classical proof techniques in verification withrespect to non-classical semantics covering default persistence. (shrink)

We present an epistemic default logic, based on the metaphore of a meta-level architecture. Upward reflection is formalized by a nonmonotonic entailment relation, based on the objective facts that are either known or unknown at the object level. Then, the meta (monotonic) reasoning process generates a number of default-beliefs of object-level formulas. We extend this framework by proposing a mechanism to reflect these defaults down. Such a reflection is seen as essentially having a temporal flavour: defaults derived at the meta-level (...) are projected as facts in a next object level state. In this way, we obtain temporal models for default reasoning in meta-level formalisms which can be conceived as labeled branching trees. Thus, descending the tree corresponds to shifts in time that model downward reflection, whereas the branching of the tree corresponds to ways of combining possible defaults. All together, this yields an operational or procedural semantics of reasoning by default, which admits one to reason about it by means of branching-time temporal logic. Finally, we define sceptical and credulous entailment relations based on these temporal models and we characterize Reiter extensions in our semantics. (shrink)

Investigations into inter-level relations in computer science, biology and psychology call for an *empirical* turn in the philosophy of mind. Rather than concentrate on *a priori* discussions of inter-level relations between 'completed' sciences, a case is made for the actual study of the way inter-level relations grow out of the developing sciences. Thus, philosophical inquiries will be made more relevant to the sciences, and, more importantly, philosophical accounts of inter-level relations will be testable by confronting them with what really happens (...) in science. Hence, close observation of the ever-changing reduction relations in the developing sciences, and revision of philosophical positions based on these empirical observations, may, in the long run, be more conducive to an adequate understanding of inter-level relations than a traditional *a priori* approach. (shrink)

Computer simulations can be useful tools to support philosophers in validating their theories, especially when these theories concern phenomena showing nontrivial dynamics. Such theories are usually informal, whilst for computer simulation a formally described model is needed. In this paper, a methodology is proposed to gradually formalise philosophical theories in terms of logically formalised dynamic properties. One outcome of this process is an executable logic-based temporal specification, which within a dedicated software environment can be used as a simulation model to (...) perform simulations. This specification provides a logical formalisation at the lowest aggregation level of the basic mechanisms underlying a process. In addition, dynamic properties at a higher aggregation level that may emerge from the mechanisms specified by the lower level properties, can be specified. Software tools are available to support specification, and to automatically check such higher level properties against the lower level properties and against generated simulation traces. As an illustration, three case studies are discussed showing successful applications of the approach to formalise and analyse, among others, Clark’s theory on extended mind, Damasio’s theory on core consciousness, and Dennett’s perspective on intertemporal decision making and altruism. (shrink)

'What is real?' has been one of the key questions of philosophy since its beginning in antiquity. But it is not just a question that philosophers ask. This Very Short Introduction discusses what reality is by looking at a variety of arguments, theories, and thought-experiments from philosophy, physics, and cognitive science.

This paper briefly discusses the relations between logic and metalogic in history. Metalogic is understood as a reflection on logic in its various senses, particularly sensu stricto (formal, mathematical) and sensu largo (formal logic plus semantic plus methodology of science). It is shown that metalogic in its contemporary understanding arose after mathematical logic had become a mature discipline. Special passage is devoted to metalogic in Poland. The last part of the paper discussed so-called logocentric predicament.

This paper investigates the basis arguments of so-called legal logic and their relation to logic in its standard meaning. There is no doubt that legal arguments belong to logic in the wide sense (sensu largo), but their reduction to schemes of formal logic (logica sensu stricto) is a controversial issue. It can be demonstrated that only some legal arguments fall under explicit rules of formal logic, that is, having a deductive character. Most such reasoning is fallible, and its correctness depends (...) on appealing to extra-logical principles taken from legal norms. For instance, if we say, “If it is permitted more, then it is permitted less” (argumentum a maiori ad minus), we assume that the concepts expressed by the words “more” and “less” are already defined. (shrink)

1. Die erste Hälfte des Kommentars, mit Ausnahme der Kapitel über die Weltseele.

The relevance of metamathematical researches for philosophy of math- ematics is an indubitable matter. In the paper I shall speak about impli- cations of metamathematics for general philosophy, especially for classical epistemological problems. Let us start with a historical observation con- cerning Hilbert's programme, the rst research programme in metamathe- matics as a separate study of formal systems. This programme was strongly in uence by epistemological considerations. In fact, Hilbert wanted to se- cure all classical mathematics against inconsistencies and this (...) aim had be achieved with the help of nitary consistency proof. Hilbert's claim is like the Cartesian project of reduction of all concepts to clarae et distinctae ideae. The epistemological commitment of original Hilbert's programme may be treated as a prelim- inary heuristic motivation for looking for epistemological implications of metamathematical results. It seems reasonable to examine in this respect three so-called limitative theorems: the rst Godel's incompleteness theo- rem , the second Godel's incom- pleteness theorem consistency of S, cannot be proved in S, providing that S is consistent) and Tarski's undenability theorem ; \S" stands for formal system containing elementary number theory. From the above-mentioned theorems we obtain an important, from philosophical point of view, conclusion: semantics of S cannot be expressed in S. Now, I shall present three applications of limitative theorems to the analysis of classical epistemological problems. (shrink)

This is a collection of essays about logic and its applications to various philosophical problems. In general, it is argued that logic constitutes an important device of philosophical analysis. Concerning the nature of logic the author defends the thesis that first-order logic is the logic. Among the philosophical problems to which logic is applied in the essays are: truth, consistency, realism, foundations of semantics, psychologism, undetermination of theories by empirical data, modalities, value concepts, identity, vagueness, God's existence, transcendentals, legal reasoning, (...) category mistakes, bivalence, the cognitive relation, and meaningfulness. (shrink)

Summary This article focuses on the Tacitist thought shared by Justus Lipsius and Hugo Grotius. Contrary to what his later works might suggest, in the years before the Dutch political crisis of 1618, Grotius appears willing to look at history and contemporary politics in terms of the Tacitist and reason-of-state-based categories defined in Lipsius's political works. A specific Lipsian inspiration seems present in Grotius's Amsterdam address of 1616, and his analysis of the early Dutch Revolt in the Annales et Historiae (...) is determined by categories of thought which at the time were identified with Lipsius's intellectual legacy. (shrink)

The recent progress in the development of autonomous cars has seen ethical questions come to the forefront. In particular, life and death decisions regarding the behavior of self-driving cars in trolley dilemma situations are attracting widespread interest in the recent debate. In this essay we want to ask whether we should implement a mandatory ethics setting for the whole of society or, whether every driver should have the choice to select his own personal ethics setting. While the consensus view seems (...) to be that people would not be willing to use an automated car that might sacrifice themselves in a dilemma situation, we will defend the somewhat contra-intuitive claim that this would be nevertheless in their best interest. The reason is, simply put, that a PES regime would most likely result in a prisoner’s dilemma. (shrink)

Modern societies are characterized by a division of epistemic labor between laypeople and epistemic authorities. Authorities are often far more competent than laypeople and can thus, ideally, inform their beliefs. But how should laypeople rationally respond to an authority’s beliefs if they already have beliefs and reasons of their own concerning some subject matter? According to the standard view, the beliefs of epistemic authorities are just further, albeit weighty, pieces of evidence. In contrast, the Preemption View claims that, when one (...) discovers what an authority believes, it is not permissible to rely on any of one’s own reasons concerning the subject matter. The original version of this view, as proposed by Linda Zagzebski, has recently been severely criticized for recommending blind trust and for abandoning even minimal standards for critical thinking. In our paper, we defend a new version of the Preemption View—Defeatist Preemptionism—in a way that differs radically from Zagzebski’s. We argue that our view can be derived from certain widely accepted general epistemic principles. In particular, we claim that preemption can be identified as a special case of source sensitive defeat. Moreover, we argue that Defeatist Preemptionism does not lead to the undesirable consequences that critics ascribe to the Preemption View. The paper thus articulates the foundations and refinements of the Preemption View, such that it adequately captures the phenomenon of epistemic authority and the rational requirements related to it. (shrink)

It is a frequent assumption that—via superluminal information transfers—superluminal signals capable of enabling communication are necessarily exchanged in any quantum theory that posits hidden superluminal influences. However, does the presence of hidden superluminal influences automatically imply superluminal signalling and communication? The non-signalling theorem mediates the apparent conflict between quantum mechanics and the theory of special relativity. However, as a ‘no-go’ theorem there exist two opposing interpretations of the non-signalling constraint: foundational and operational. Concerning Bell’s theorem, we argue that Bell employed (...) both interpretations, and that he finally adopted the operational position which is associated often with ontological quantum theory, e.g., de Broglie–Bohm theory. This position we refer to as “effective non-signalling”. By contrast, associated with orthodox quantum mechanics is the foundational position referred to here as “axiomatic non-signalling”. In search of a decisive communication-theoretic criterion for differentiating between “axiomatic” and “effective” non-signalling, we employ the operational framework offered by Shannon’s mathematical theory of communication, whereby we distinguish between Shannon signals and non-Shannon signals. We find that an effective non-signalling theorem represents two sub-theorems: Non-transfer-control theorem, and Non-signification-control theorem. Employing NTC and NSC theorems, we report that effective, instead of axiomatic, non-signalling is entirely sufficient for prohibiting nonlocal communication. Effective non-signalling prevents the instantaneous, i.e., superluminal, transfer of message-encoded information through the controlled use—by a sender-receiver pair —of informationally-correlated detection events, e.g., in EPR-type experiments. An effective non-signalling theorem allows for nonlocal quantum information transfer yet—at the same time—effectively denies superluminal signalling and communication. (shrink)

The aim of this article is to look at an early 17th-century analysis of a prince’s management of an ‘agglomerate polity’ in order to obtain a view of its chief focuses, concerns, and terms of analysis. Four main types of issues appear (apart from Grotius’ general analysis of Philip’s person and policies, which are also discussed): 1. Acceptation and legitimacy of a prince who was perceived to ignore local customs, rights and interests of his various territories; 2. The king’s representatives (...) and intermediaries, their (mis)management of their task, or the King’s (mis)management of them; 3. The conflicting demands of international politics; 4. Controlling armies and the connected issue of financial resources. The ‘Tacitean’ mode of writing history was regarded as the most ‘true’ and ‘revealing’ historiography in Grotius’ time. However Tacitean perceptiveness and analysis were not about what historians today regard as deeper historical processes and causation (like those associated with the ‘philosophic’ histories from the Enlightenment onwards, e.g. in Edward Gibbon), but about understanding personal motives and (hidden) immediate causes and intentions behind particular events and decisions. This historic differences in historical explanation should be taken into account when judging the value of Grotius’ history of his own time. (shrink)

The purpose of this article is to show, by the example of Hugo Grotius's Annales et Historiae de rebus Belgicis (AH), that the nature and content of the concept of Tacitism (Tacitist, Tacitean) in the period around 1600 was markedly different from modern perceptions of the style and political purport of Tacitus's works. This gap between current and early-modern conceptions of Tacitus is important to bear in mind for intellectual historians dealing with early-modern intellectual currents such as Reason of State, (...) Neo-Stoicism, Tacitism, and others. This article first describes how the Tacitean style is characterised in literary criticism around 1600; then it explores the qualities of Hugo Grotius's imitation of Tacitus from the 17th-century perspective and from that of some main aspects of the present-day view of Tacitus. It concludes that Grotius's imitation shows Tacitus's style in a characteristically 17th-century mirror, in that it puts emphasis on Tacitean syntax, brevity and choice of words (the stylistic micro-level), as well as on political iudicium and Reason of State, but omits imitation of the narrative and structural qualities of Tacitus's composition, and their implications, which are central to modern interpretations. ☆ This article is part of the outcome of a research project on Grotius's Annales et Historiae conducted at the Radboud University Nijmegen in 2004–2008 with a VENI-grant from the Dutch research organisation NWO. I thank Corinna Vermeulen, Marc van der Poel, Hans Blom and HEI's anonymous referees for their comments on this piece. (shrink)

This book compiles and reviews the most prominent linguistic theories into a single source that serves as an essential reference for future solutions to one of the most important challenges of our age.

Students of Thomas Aquinas have so far lacked a comprehensive study of his doctrine of the transcendentals. This volume fills this lacuna, showing the fundamental character of the notions of being, one, true and good for his thought. The book inquires into the beginnings of the doctrine in the thirteenth century and explains the relation of the transcendental way of thought to Aquinas's conception of metaphysics. It analyzes 'Being', 'One', 'True', 'Good' and 'Beautiful' individually and discusses their importance for the (...) philosophical knowledge of God. Medieval Philosophy and the Transcendentals: The Case of Thomas Aquinas is intended as a contribution to the question 'What is philosophy in the Middle Ages?' It argues that the doctrine of the transcendentals is essential for understanding medieval philosophy. (shrink)

This paper clarifies Merleau-Ponty’s original account of “higher-order” cognition as fundamentally embodied and enacted. Merleau-Ponty’s philosophy inspired theories that deemphasize overlaps between conceptual knowledge and motor intentionality or, on the contrary, focus exclusively on abstract thought. In contrast, this paper explores the link between Merleau-Ponty’s account of motor intentionality and his interpretations of our capacity to understand and interact productively with cultural symbolic systems. I develop my interpretation based on Merleau-Ponty’s analysis of two neuropathological modifications of motor intentionality, the case (...) of the brain-injured war veteran Schneider, and a neurological disorder known as Gerstmann’s syndrome. Building on my analysis of Schneider’s sensorimotor compensatory performances in relation to his limitations in the domains of algebra, geometry, and language usage, I demonstrate a strong continuity between the sense of embodiment and enaction at all these levels. Based on Merleau-Ponty’s interpretations, I argue that “higher-order” cognition is impaired in Schneider insofar as his injury limits his sensorimotor capacity to dynamically produce comparatively more complex differentiations of any given phenomenal structure. I then show how Merleau-Ponty develops and specifies his interpretation of Schneider’s intellectual difficulties in relation to the ambiguous role of the body, and in particular the hand, in Gerstmann’s syndrome. I explain how Merleau-Ponty defends the idea that sensorimotor and quasi-representational cognition are mutually irreducible, while maintaining that symbol-based cognition is a fundamentally enactive and embodied process. (shrink)

This book provides for the first time a complete history of the doctrine of the transcendentals and shows its importance for the understanding of philosophy in the Middle Ages.