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)

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)

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)

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)

Masaryk’s philosophical approach to reality is largely characterised by its orientation towards the positivism of Auguste Comte, which Masaryk sought to offset with the psychologism of J. S. Mill. The combination of these positivist approaches became the positive starting point for Masaryk’s ethics. But that was not the only influence on his ethics. Masaryk’s German translation of Hume’s book, titled Eine Untersuchung über die Prinzipien der Moral von David Hume (1883), reveals that the main stimuli that shaped Masaryk’s ideas about (...) ethics came from David Hume. Although the need for scientific evidence became a fundamental principle of Masaryk’s thought, the need to objectively anchor ethics in rational theism necessitated in this area a departure from his positivist outlook. Masaryk’s lectures on practical philosophy attest to this fact. The reason for his departure from a positivist stance was due to the metaphysical nature of his concept of psychology. (shrink)

According to metaphysical coherentism, grounding relations form an interconnected system in which things ground each other and nothing is ungrounded. This potentially viable view’s logical territory remains largely unexplored. In this paper, I describe that territory by articulating four varieties of metaphysical coherentism. I do not argue for any variety in particular. Rather, I aim to show that not all issues which might be raised against coherentism will be equally problematic for all the versions of that view, which features far (...) more nuance and diversity than is typically ascribed to it. (shrink)

Neither in theory nor in practice does there exist a single model of decision making. It is very difficult to identify a model, or models, which would be most useful during and after a disaster. Within the disaster timeframe (a difficult and complex situation), specific moral dilemmas arise. All the decision making theories tend to be associated with different assumptions about human nature, the quality of the decisions made and the manner in which they are made. Different assumptions may result (...) in different tools being used and subsequently different consequences. The paper will provide a general introduction to the ethical decision making model, and will suggest two ways in which decisions in ethics might be made. The paper will try to deepen the discussion, and suggest answers to questions such as which type of ethical decision making is better in a specific situation such as a disaster? Is there any need to use a different decision making model (from an ethical point of view) in a disaster than in another event? Nonetheless, the article does not provide explicit solutions to these questions, since providing them would require further investigation than is the aim of this paper. (shrink)

The development of early childhood care, education, and development programs in Indonesia suggests unexpected linkages between democratization, empowerment, and neoliberal policy regimes. Despite the shift to grassroots organizing and to empowerment as a goal of development, in Indonesia there is tremendous continuity in the use of women's work to provide social welfare at the community level. Ethnographic research illuminates the impact on women's work and their own interpretation of programs to empower children.

This paper considers whether Marx's views about communism change significantly during his lifetime. According to the ‘standard story’, as Marx got older he dropped the vision of self-realization in labour that he spoke of in his early writings, and adopted a more pessimistic account of labour, where real freedom is achieved outside the working-day, in leisure. Other commentators, however, have argued that there is no pessimistic shift in Marx's thought on this matter. This paper offers a different reading of this (...) debate. It argues that there are two visions of the good life in Marx. However, it suggests that these two visions cannot be understood in terms of a simple shift between a ‘young’ and ‘mature’ Marx. Rather, it claims that Marx moves between these two visions throughout his writings. In this way, it suggests that Marx's intellectual development on this issue is best understood as an oscillation rather than a shift. Once this interpretive claim is advanced, the paper then moves on to consider some potential causes and implications of Marx's life-long oscillation between two different conceptions of the good life. (shrink)

Der Band enthält Beiträge von Medizinern, Juristen, Philosophen und Naturwissenschaftlern aus Estland, Polen, den Niederlanden und Deutschland zu Themen der Ethik und Wissenschaftstheorie der Medizin. Diese Beiträge sind im Rahmen des «Arbeitskreises für Ethik und Wissenschaftstheorie der Medizin in Ostmitteleuropa» entstanden, der auf einer Kooperationsvereinbarung des Interdisziplinären Zentrums für Ethik der Europa-Universität Viadrina Frankfurt (Oder) und des Instituts für Geschichte und Ethik der Medizin der Universität Halle-Wittenberg beruht. Sie befassen sich u. a. mit der Gesundheitsreform in Polen, Tschechien und Ungarn, (...) mit ethischen Problemen bei Abtreibung, HIV-Infektion, Drogenkonsum, Sterbehilfe und Gentechnik sowie dem Theorie-Praxis-Verhältnis in der Medizin. (shrink)

This study clarifies the need for a renewed account of the body in physiotherapy to fill sizable gaps between physiotherapeutical theory and practice. Physiotherapists are trained to approach bodily functioning from an objectivist perspective; however, their therapeutic interactions with patients are not limited to the provision of natural-scientific explanations. Physiotherapists’ practice corresponds well to theorisation of the body as the bearer of original bodily intentionality, as outlined by Merleau-Ponty and elaborated upon by enactivists. We clarify how physiotherapeutical practice corroborates Merleau-Ponty’s (...) critical arguments against objectivist interpretations of the body; particularly, his analyses demonstrate that norms of optimal corporeal functioning are highly individual and variable in time and thus do not directly depend on generic physiological structures. In practice, objectively measurable physical deviations rarely correspond to specific subjective difficulties and, similarly, patients’ reflective insights into their own motor deficiencies do not necessarily produce meaningful motor improvements. Physiotherapeutical procedures can be understood neither as mechanical manipulations of patients’ machine-like bodies by experts nor as a process of such manipulation by way of instructing patients’ explicit conscious awareness. Rather, physiotherapeutical practice and theory can benefit from the philosophical interpretation of motor disorders as modifications of bodily intentionality. Consequently, motor performances addressed in physiotherapy are interpreted as relational features of a living organism coupled with its environment, and motor disorders are approached as failures to optimally manage the motor requirements of a given situation owing to a relative loss of the capacity to structure one’s relation with their environment through motor action. Building on this, we argue that the process of physiotherapy is most effective when understood as a bodily interaction to guide patients towards discovering better ways of grasping a situation as meaningful through bodily postures and movements. (shrink)

Marx’s vision of unalienated production is often thought to be subject to decisive objections. This article argues that these objections rely on a misinterpretation of Marx’s position. It provides a new interpretation of Marx’s vision of unalienated production. Unlike another well-known account, it suggests that unalienated production involves realizing oneself through providing others with the goods and services they need for their self-realization. It argues that this view is appealing and that it offers a more successful response to objections than (...) previous interpretations. In doing so, it hopes to put Marx’s concern with alienation and nonalienation back on the table. (shrink)

This paper provides an analysis of the intrinsic/extrinsic distinction, as applied both to properties and to relations. In contrast to other accounts, the approach taken here locates the source of a property’s intrinsicality or extrinsicality in the manner in which that property is ‘logically constituted’, and thus – plausibly – in its nature or essence, rather than in e.g. its modal profile. Another respect in which the present proposal differs from many extant analyses lies in the fact that it does (...) not seek to analyse the ‘global’ distinction between intrinsic and extrinsic properties on the basis of the ‘local’ distinction between having a property intrinsically and having it extrinsically. Instead, the latter distinction is explicated on the basis of the former. (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)

Dealing with conflicts seems to be a great challenge in society today. But not only in society. Higher education displays an air of resoluteness with certainty and security that disguises the conflicts and the fear of conflicts in a substantial number of subjects. If not in a state of denial, higher education avoids taking up conflicts over issues, for learning. The detailed investigation of Tagore’s pedagogical writings, with a focus on the importance of conflicts in education, reveals a genuine embrace (...) of conflicts for education. Conflicts are natural and necessary for the development and change of both the individual and society and the start of a ‘creative imagination’ to solve the problems we face in life. Contradictions in conflicts are not incompatible incongruities that are irreconcilable and mutually exclusive, but to the contrary, in need of each other. Contradictions do not represent different worlds but are substantial parts of one world: together they form a unity. Conflicting forces are necessary to create harmony. Creativity, imagination, love, art, and critical encounters are key elements in Tagore’s practical education aimed at finding similarities among people instead of emphasizing differences. Relations between people over the Identity of people. In other words, we need conflicts to become creative and imaginative human beings. The paper continues discussing conceptual and practical issues that seem necessary to get the teaching of conflicts in education off the ground. On the conceptual level, in particular our dealing with uncertainty and fear, the valuation of conflict and the need for uncertainty-researching education. On a practical level, I propose a certain teaching model, a supportive curriculum, a way of choosing genuine conflicts for education and finally, I argue for specific support and education of teachers, acknowledging the vital role teachers play in delivering the education that we need. (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 is my commentary on Raymond Tallis’ book Freedom: An Impossible Reality (2021). Tallis argues that the laws described by science are dependent on human agency which extracts them from nature. Consequently, human agency cannot be explained as an effect of natural laws. I agree with Tallis’ main argument and I appreciate that he helps us understand the systematic importance of a human-scale breadth of view regarding any theoretical investigation. In the main part of the paper, I critically comment (...) on Tallis’ interpretation of several more loosely associated topics from a phenomenological perspective. Firstly, I reconsider Tallis’ account of intentionality as a factor that opens a distance between the cognizer and the world. Whereas Tallis emphasizes that agency requisitions aspects of the world to achieve its goals, I point out that agency does not determine the meaning of things unidirectionally and independently of all context. A self-controlled agency is provisionally reached through a process of ‘deindexicalization’ of our passive intentional capacities, that is, by creating and maintaining new, different worldly contexts. Subsequently, I analyze Tallis’ description of our intentional relation to spatiotemporally distant possibilities. In my view, Tallis underestimates the extent to which our intentional relation to possibilities is pre-reflexive and pre-predicative and hence independent of propositional attitudes. Finally, I consider Tallis’ interpretation of nature and show that it is deeply influenced by the sciences of nature. In contrast, I argue that agency can be properly described only if we understand it as an intervention in a lifeworld already imbued with sense, not merely a physical or material nature. (shrink)

Review of Martijn Konings Capital and Time: For a New Critique of Neoliberal Reason. Stanford: Stanford University Press.

The volume deals with _historical ontology_ from several angles: _the historicity of understanding_ (Françoise Dastur, Arbogast Schmitt, Samuel Weber), _the limits of making_ (Emil Angehrn, Nicholas Davey, Jan-Ivar Lindén) and _the future of memory_ (Jayne Svenungsson, Christoph Türcke, Bernhard Waldenfels).

The Czech philosopher Jan Patocka (1907-1977), who studied with Husserl and Heidegger, is widely recognized as the most influential thinker to come from postwar Eastern Europe. Refusing to join the Communist party after World War II, he was banned from academia and publication for the rest of his life, except for a brief time following the liberalizations of the Prague spring of 1968. Joining Vaclav Havel and Jiri Hajek as a spokesman for the Chart 77 human-rights declaration of 1977, Patocka (...) was harassed by authorities, arrested, and finally died of a heart attack during prolonged interrogation. Plato and Europe, arguably Patocka’s most important book, consists of a series of lectures delivered in the homes of friends after his last banishment from the academy just three years before his death. Here, he presents his most mature ideas about the history of Western philosophy, arguing that the idea of the care of the soul is fundamental to the philosophical tradition beginning with the Greeks. Explaining how the care of the soul is elaborated as the problem of how human beings may make their world one of truth and justice, Patocka develops this thesis through a treatment of Plato, Democritus, and Aristotle, showing how considerations about the soul are of central importance in their writings. He demonstrates in vivid fashion how this idea forms the spiritual heritage of Europe. (shrink)

Overzicht van ideeën en opvattingen m.b.t. het begrip tijd, vanuit diverseinvalshoeken.