Gegen die zur Zeit in Frankreich herrschende realistische Interpretation, die ein angemessenes Verstandnis des Grundgedankens von Descartes' Philosophie unmoglich leisten kann, weist der Verfasser in der Fortfuhrung des Ansatzes von M. Gueroult nach, dass Descartes die Aufgabe der Philosophie strikt transzendental (ante litteram) konzipiert hat. Die von ihm geforderte analytische Methode (im Gegensatz zur geometrischen) muss eine deduzierende im Sinne Euklids sein; ihr Gegenstand ist aber nicht der Raum, sondern der Geist, der seinerseits nicht nur das Sein, sondern auch sein (...) eigenes Erkennen erfasst. Von der Unmittelbarkeit des eigenen geistigen Seins fuhrt dessen Auslegung auf die Veracitas der Wahrheit als sich und alles Erkannte unmittelbar legitimierendes Prinzip (sum / Deus est). Descartes tritt damit als Begrunder wissenschaftlich-systematischen Philosophierens neben Kant, Reinhold, Fichte und die modernen Transzendentalphilosophen. Es wird, mit Hinblick auf Bacon, Spinoza, Leibniz, Kant, Hegel und Fichte, herausgearbeitet, wieweit Descartes in seinen Hauptwerken (Regulae, Discours, Meditationes, Recherche de la Verite) seine Systemkonzeption entwickelt und auch ausgefuhrt hat.'Reinhard Lauths Buch [ist] fur jeden, der sich fur die Ursprunge des Denkens der Neuzeit und insbesondere fur Transzendentalphilosophie interessiert, ausserst lesenswert.' Der Bund'Eine tiefgrundige systematische Untersuchung, die in der Descartes-Forschung einen Markstein darstellt.' Arnold Scholzel, Junge Welt. (shrink)

Anderson's theory is plausible and largely consistent with the data. However, it remains underspecified on several fronts, and we highlight areas for potential improvement. Reuse is described as duplicating a functional component, preserving one function and tinkering to add another function. This is a promising model, but Anderson neglects other reasonable alternatives and we highlight several. Evidence cited in support of reuse fails to uniquely support it among a broader set of multi-use theories. We suggest that a more stringent criterion (...) for direct support of reuse may be satisfied by focusing on previous adaptive functions (original use). (shrink)

En ces temps d’avenir perdu, les sociétés sont des sociétés spéculatives, qu’elles le veuillent ou non. Alors que la crise financière de 2007–2008 s’est transformée en une myriade de crises politiques dans les années qui ont suivies. En effet, l’esprit d’un âge néo-biedermeierien et les programmes politiques axés sur la stabilité sont devenus le modus operandi de l’Occident dans les contextes économiques et bien au-delà. Le désenchantement du néolibéralisme et son eschatologie politique dans un large éventail de domaines socioculturels perdurent (...) des deux côtés de l’Atlantique, tout autant que l’aporie des sociétés qui tentent de sauver le statu quo même si celui-ci avait perdu son chemin. En conséquence, les sociétés actuelles seraient, même sans le désirer, des sociétés spéculatives. Des éclaircissements sur la notion même de spéculation apparaissent alors nécessaires. Cet article vise à offrir ces éclaircissements. Pour cela, cet article s’appuie sur le cadre réglementaire d’après-crise de Bâle III. Cette analyse philosophique est d’autant plus éclairante si le « désarmement de la politique » (Habermas 2018, ma traduction) au nom de politiques prétendument inévitables, à vocation sécuritaire et stable, peut constituer l’objet de critique. Cet article est, par conséquent, une esquisse philosophique. Ce qui suit est une série de réflexions sur le concept de spéculation au-delà des frontières de la compréhension financière ou économique actuelle et, enfin, de minuscules manifestes sur la façon dont les études philosophiques et autres pourraient mobiliser et affiner ce concept. Tout d’abord cet article offre une histoire conceptuelle de la notion de spéculation (section deux). Dans un deuxième temps, les effets instables de l’aporie de stabilité concernant des régularisations financières sont analysés (section trois). Enfin, les bases pour un renouveau du concept de spéculation, utile pour la philosophie et qui maîtrise les apories des sociétés spéculatives, sont développées (section quatre). Si la philosophie ne peut prévenir la pensée d’être parfois large et incertaine, la philosophie peut sans doute être appréhendée comme un « hybride onto-épistémique-éthique », en recourant à la notion de spéculation. C’est ce que cet article suggère : offrir un langage qui pourrait permettre de penser la « spécularisation » des mondes sociaux en ce début du xxi e siècle. C’est à dire, le passage de la politique des classes à la politique identitaire (représentant les cultures plutôt que les classes), du capitalisme industriel à la politique culturelle (vendre des valeurs au détriment des fonctions) et des acteurs rationalisés au conservateur (choisir entre des identités à la place des préférences). (shrink)

_Heidegger's Hidden Sources_ documents for the first time Heidegger's remarkable debt to East Asian philosophy. In this groundbreaking study, Reinhard May shows conclusively that Martin Heidegger borrowed some of the major ideas of his philosophy - on occasion almost word for word - from German translations of Chinese Daoist and Zen Buddhist classics. The discovery of this astonishing appropriation of non-Western sources will have important consequences for future interpretations of Heidegger's work. Moreover, it shows Heidegger as a pioneer of (...) comparative philosophy and transcultural thinking. (shrink)

In this paper we consider the theory of predicate logics in which the principle of Bivalence or the principle of Non-Contradiction or both fail. Such logics are partial or paraconsistent or both. We consider sequent calculi for these logics and prove Model Existence. For L4, the most general logic under consideration, we also prove a version of the Craig-Lyndon Interpolation Theorem. The paper shows that many techniques used for classical predicate logic generalise to partial and paraconsistent logics once the right (...) set-up is chosen. Our logic L4 has a semantics that also underlies Belnap’s [4] and is related to the logic of bilattices. L4 is in focus most of the time, but it is also shown how results obtained for L4 can be transferred to several variants. (shrink)

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

In this paper we discuss a new perspective on the syntax-semantics interface. Semantics, in this new set-up, is not ‘read off’ from Logical Forms as in mainstream approaches to generative grammar. Nor is it assigned to syntactic proofs using a Curry-Howard correspondence as in versions of the Lambek Calculus, or read off from f-structures using Linear Logic as in Lexical-Functional Grammar (LFG, Kaplan & Bresnan [9]). All such approaches are based on the idea that syntactic objects (trees, proofs, fstructures) are (...) somehow prior and that semantics must be parasitic on those syntactic objects. We challenge this idea and develop a grammar in which syntax and semantics are treated in a strictly parallel fashion. The grammar will have many ideas in common with the (converging) frameworks of categorial grammar and LFG, but its treatment of the syntax-semantics interface is radically different. Also, although the meaning component of the grammar is a version of Montague semantics and although there are obvious affinities between Montague’s conception of grammar and the work presented here, the grammar is not compositional, in the sense that composition of meaning need not follow surface structure. (shrink)

This paper introduces λ-grammar, a form of categorial grammar that has much in common with LFG. Like other forms of categorial grammar, λ-grammars are multi-dimensional and their components are combined in a strictly parallel fashion. Grammatical representations are combined with the help of linear combinators, closed pure λ-terms in which each abstractor binds exactly one variable. Mathematically this is equivalent to employing linear logic, in use in LFG for semantic composition, but the method seems more practicable.

ABSTRACTAdults perceive emotional expressions categorically, with discrimination being faster and more accurate between expressions from different emotion categories than between two stimuli from the same category. The current study sought to test whether facial expressions of happiness and fear are perceived categorically by pre-verbal infants, using a new stimulus set that was shown to yield categorical perception in adult observers. These stimuli were then used with 7-month-old infants using a habituation and visual preference paradigm. Infants were first habituated to an (...) expression of one emotion, then presented with the same expression paired with a novel expression either from the same emotion category or from a different emotion category. After habituation to fear, infants displayed a novelty preference for pairs of between-category expressions, but n... (shrink)

Ambiguities in natural language can multiply so fast that no person or machine can be expected to process a text of even moderate length by enumerating all possible disambiguations. A sentence containing $n$ scope bearing elements which are freely permutable will have $n!$ readings, if there are no other, say lexical or syntactic, sources of ambiguity. A series of $m$ such sentences would lead to $(n!)^m$ possibilities. All in all the growth of possibilities will be so fast that generating readings (...) first and testing their acceptability afterwards will not be feasible. -/- This insight has led a series of researchers to adopt a level of representation at which ambiguities remain unresolved. The idea here is not to generate and test many possible interpretations but to first generate one `underspecified' representation which in a sense represents all its complete specifications and then use whatever information is available to further specify the result. -/- One central hypothesis in the paper will be that the relation between an underspecified representation and its full representations is not so much the relation between one structure and a set of other structures but is in fact the relation between a description (a set of logical sentences) and its models. (shrink)

In this programmatic paper we renew the well-known question “What is a proof?”. Starting from the challenge of the mathematical community by computer assisted theorem provers we discuss in the first part how the experiences from examinations of proofs can help to sharpen the question. In the second part we have a look to the new challenge given by “big proofs”.

This essay investigates, via the concepts of the philosophy of orientation, Annie Duke’s decision-making theory in "Thinking in Bets" and scrutinizes as to what extent one can universalize the 'orientation skill' of decision-making with regard to our everyday and professional life.

Vector models of language are based on the contextual aspects of words and how they co-occur in text. Truth conditional models focus on the logical aspects of language, the denotations of phrases, and their compositional properties. In the latter approach the denotation of a sentence determines its truth conditions and can be taken to be a truth value, a set of possible worlds, a context change potential, or similar. In this short paper, we develop a vector semantics for language based (...) on the simply typed lambda calculus. Our semantics uses techniques familiar from the truth conditional tradition and is based on a form of dynamic interpretation inspired by Heim's context updates. (shrink)

In seinem Aufsatz „Immanuel Kant und die Reichweite der Kanonen. Die Abkehr von der Illusion eines ewigen Friedens“, in: Internationale Politik, Heft 11–12, Berlin 2004, 155ff. stellt Heinz Kluss, ehemaliger Direktor des Ausschusses für Verteidigung und Sicherheit der Parlamentarischen Versammlung der NATO, drei eingängige Thesen auf.

In this paper we introduce a Gentzen calculus for (a functionally complete variant of) Belnap's logic in which establishing the provability of a sequent in general requires \emph{two} proof trees, one establishing that whenever all premises are true some conclusion is true and one that guarantees the falsity of at least one premise if all conclusions are false. The calculus can also be put to use in proving that one statement \emph{necessarily approximates} another, where necessary approximation is a natural dual (...) of entailment. The calculus, and its tableau variant, not only capture the classical connectives, but also the `information' connectives of four-valued Belnap logics. This answers a question by Avron. (shrink)

We consider several puzzles of bounded rationality. These include the Allais- and Ellsberg paradox, the disjunction effect, and related puzzles. We argue that the present account of quantum cognition—taking quantum probabilities rather than classical probabilities—can give a more systematic description of these puzzles than the alternate treatments in the traditional frameworks of bounded rationality. Unfortunately, the quantum probabilistic treatment does not always provide a deeper understanding and a true explanation of these puzzles. One reason is that quantum approaches introduce additional (...) parameters which possibly can be fitted to empirical data but which do not necessarily explain them. Hence, the phenomenological research has to be augmented by responding to deeper foundational issues. In this article, we make the general distinction between foundational and phenomenological research programs, explaining the foundational issue of quantum cognition from the perspective of operational realism. This framework is motivated by assuming partial Boolean algebras. They are combined into a uniform system via a mechanism preventing the simultaneous realization of perspectives. Gleason’s theorem then automatically leads to a distinction between probabilities that are defined by pure states and probabilities arising from the statistical mixture of pure states. This formal distinction relates to the conceptual distinction between risk and ignorance. Another outcome identifies quantum aspects in dynamic macro-systems using the framework of symbolic dynamics. Finally, we discuss several ideas that are useful for justifying complementarity in cognitive systems. (shrink)