Martin Fischer

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the calculus by connections as introduced in Kashima and Shimura.

Embodied cognition postulates a bi-directional link between the human body and its cognitive functions. Whether this holds for higher cognitive functions such as problem solving is unknown. We predicted that arm movement manipulations performed by the participants could affect the problem-solving solutions. We tested this prediction in quantitative reasoning tasks that allowed two solutions to each problem. In two studies with healthy adults, we found an effect of problem-congruent movements on problem solutions. Consistent with embodied cognition, sensorimotor information gained via right or left arm movements affects the solution in different types of problem-solving tasks.

This article investigates the connection and dependence between the definiteness of the totalities involved in mathematical structures and the determinateness of statements about that structure. From a logical perspective, we investigate whether logical principles expressing the definiteness of totalities license the use of classical logic. From a philosophical perspective, this article provides a reconstruction of Solomon Feferman’s claim that the definiteness of the natural number conception implies the determinateness of arithmetical statements and therefore justifies the adoption of classical logic for arithmetical theories.

In this paper we apply proof theoretic methods used for classical systems in order to obtain upper bounds for systems in partial logic. We focus on a truth predicate interpreted in a Kripke style way via strong Kleene; whereas the aim is to connect harmoniously the partial version of Kripke–Feferman with its intended semantics. The method we apply is based on infinitary proof systems containing an ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\omega $$\end{document}-rule.

In this paper we discuss sequent calculi for the propositional fragment of the logic of HYPE. The logic of HYPE was recently suggested by Leitgeb as a logic for hyperintensional contexts. On the one hand we introduce a simple \-system employing rules of contraposition. On the other hand we present a \-system with an admissible rule of contraposition. Both systems are equivalent as well as sound and complete proof-system of HYPE. In order to provide a cut-elimination procedure, we expand the calculus by connections as introduced in Kashima and Shimura.

This two-volume set provides a comprehensive overview of the multidisciplinary field of Embodied Cognition. With contributions from internationally acknowledged researchers from a variety of fields, _Foundations of Embodied Cognition_ reveals how intelligent behaviour emerges from the interplay between brain, body and environment. Covering early research and emerging trends in embodied cognition, Volume 1 _Perceptual and Emotional Embodiment_ is divided into four distinct parts, bringing together a number of influential perspectives and new ideas. Part one opens the volume with an overview of theoretical perspectives and the neural basis of embodiment, before part two considers body representation and its links with action. Part three examines how actions constrain perception of the environment, and part four explores how emotions can be shaped and structured by the body and its activity. Building on the idea that knowledge acquisition, retention and retrieval are intimately interconnected with sensory and motor processes, _Foundations of Embodied Cognition_ is a landmark publication in the field. It will be of great interest to researchers and advanced students from across the cognitive sciences, including those specialising in psychology, neuroscience, intelligent systems and robotics, philosophy, linguistics and anthropology

This two-volume set provides a comprehensive overview of the multidisciplinary field of Embodied Cognition. With contributions from internationally acknowledged researchers from a variety of fields, Foundations of Embodied Cognition reveals how intelligent behaviour emerges from the interplay between brain, body and environment. Drawing on the most recent theoretical and empirical findings in embodied cognition, Volume 2 _Conceptual and Interactive Embodiment_ is divided into four distinct parts, bringing together a number of influential perspectives and new ideas. Part one introduces the field of embodied language processing, before part two presents recent developments in our understanding of embodied conceptual understanding. The final two parts look at the applied nature of embodied cognition, exploring the embodied nature of social co-ordination as well as the emerging field of artificial embodiment. Building on the idea that knowledge acquisition, retention and retrieval are intimately interconnected with sensory and motor processes, _Foundations of Embodied Cognition_ is a landmark publication in the field. It will be of great interest to researchers and advanced students from across the cognitive sciences, including those specialising in psychology, neuroscience, intelligent systems and robotics, philosophy, linguistics and anthropology

Wahrheitstheorien sind ein zentraler Bestandteil von Davidsons semantischem Programm zur Erklärung von Interpretation. Deflationäre Wahrheitskonzeptionen hingegen schreiben dem Wahrheitsprädikat eine minimale explanatorische Funktion zu. Die Frage der Vereinbarkeit dieser beiden Positionen bildet den Kern dieser Untersuchung. Eine Antwort wird durch eine kritische Auseinandersetzung mit Unvereinbarkeitsargumenten und durch eine systematische Betrachtung der Funktion eines deflationären Wahrheitsprädikats anhand von axiomatischen Wahrheitstheorien gegeben. Letztlich wird dafür argumentiert, dass nichts gegen die fruchtbare Anwendbarkeit einer deflationären Wahrheitstheorie innerhalb von Davidsons semantischem Programm spricht.