During much of the past century, it was widely believed that phonemes--the human speech sounds that constitute words--have no inherent semantic meaning, and that the relationship between a combination of phonemes (a word) and its referent is simply arbitrary. Although recent work has challenged this picture by revealing psychological associations between certain phonemes and particular semantic contents, the precise mechanisms underlying these associations have not been fully elucidated. Here we provide novel evidence that certain phonemes have an inherent, non-arbitrary emotional (...) quality. Moreover, we show that the perceived emotional valence of certain phoneme combinations depends on a specific acoustic feature--namely, the dynamic shift within the phonemes' first two frequency components. These data suggest a phoneme-relevant acoustic property influencing the communication of emotion in humans, and provide further evidence against previously held assumptions regarding the structure of human language. This finding has potential applications for a variety of social, educational, clinical, and marketing contexts. (shrink)

Der zweite Band der DSKE enthält Kierkegaards Journale und Aufzeichnungen aus den Jahren 1836-1846. Examensvorbereitungen, aber auch Materialien zum Frühwerk bilden die Kernstücke dieses Bandes. Von herausragender Bedeutung ist Journal JJ, das als Diskussionsforum und literarische Werkstatt parallel zum pseudonymen Werk angesehen werden kann; hinzu kommen Kierkegaards Reflexionen zur gescheiterten Verlobung mit Regine Olsen. DSKE 2 basiert auf der historisch-kritischen dänischen Neuausgabe und bietet die Übersetzung der Journale und Aufzeichnungen sowie die Kommentare in einem Band. Pluspunkte: die erste kritische deutsche (...) Edition der Journale Kierkegaards erste Komplettedition der Journale in Deutschland mit detaillierten Kommentaren. (shrink)

Dieses Vorlesungsmanuskript dokumentiert Fichtes letzte Auseinandersetzung mit Fragen der Rechtsphilosophie und juridischen Aspekten des Staates. Grundzüge der Konzeption von 1796/97 (Grundlage des Naturrechts) werden aus veränderter Perspektive neu verdeutlicht, die Wirtschaftstheorie von 1800 (Der geschloßne Handelsstaat) weiter ausgebaut. Besonderes Interesse verdienen Passagen, in denen Fichte die eigenen früheren Ansätze rigoros in Frage stellt.

Key Terms in Logic offers the ideal introduction to this core area in the study of philosophy, providing detailed summaries of the important concepts in the study of logic and the application of logic to the rest of philosophy. A brief introduction provides context and background, while the following chapters offer detailed definitions of key terms and concepts, introductions to the work of key thinkers and lists of key texts. Designed specifically to meet the needs of students and assuming no (...) prior knowledge of the subject, this is the ideal reference tool for those coming to Logic for the first time. (shrink)

Key Terms in Logic offers the ideal introduction to this core area in the study of philosophy, providing detailed summaries of the important concepts in the study of logic and the application of logic to the rest of philosophy. A brief introduction provides context and background, while the following chapters offer detailed definitions of key terms and concepts, introductions to the work of key thinkers and lists of key texts. Designed specifically to meet the needs of students and assuming no (...) prior knowledge of the subject, this is the ideal reference tool for those coming to Logic for the first time. (shrink)

The essays in this volume commemorate the 70th anniversary of Jacques Maritain's Pour la Justice, in which the French Thomist and future drafter of the Universal Declaration of Human Rights grappled with the moral, political, and religious challenges facing Europe in the aftermath of World War II. During this time Maritain reflected on humanism, Christian philosophy, the relation between freedom, religion and politics, and increasingly, on education. Several scholars reflect on the historical impact of Maritain's own writings during World War (...) II, Vatican II, and the Spanish Civil war. In other sections, contemporary Thomists suggest ways a resurgent Thomism can engage with the pressing issues of our own day. Essays on Thomistic ethics address problems in bioethics, the philosophy of love, and the foundations of Natural Law, while others tackle perennial problems in metaphysics and epistemology, such as the problem of free will, subjectivity, and the role of creative intuition in aesthetics. Still other essays apply Maritain's work on education to current challenges facing religious universities today. The contributors to this volume include: Noel Adams, Florian Michel, Sr. Anne Frances Ai Le, Brian Kemple, Stephen Chamberlain, Walter Schulz, Francisco Eduardo Plaza, James Jacobs, John Dunaway, Greg Kerr, Megan Furman, Karen Chan, Justin Gable, Federico Tedesco, Michael Torre, Richard Schenk, OP, and Gregory Reichberg. (shrink)

Plato -- Pyrrho -- The academics -- Sextus empiricus -- Augustine -- Erasmus -- Gianfrancesco Pico -- Hervet -- Montaigne -- Charron -- Sanchez -- Bacon -- Gassendi -- La Mothe le Vayer -- Descartes -- Pascal -- Glanvill -- Foucher -- Huet -- Locke -- Bayle -- Leibniz -- Crousaz -- Berkeley -- Ramsay -- Hume -- Voltaire -- Diderot -- Rousseau -- Kant -- Schulze -- Stäudlin -- Hegel -- Kierkegaard -- Nietzsche -- James -- Santayana -- Shestov (...) -- Wittgenstein -- Russell -- Popper -- Feyerabend -- Derrida -- Popkin -- Fogelin. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Most epistemologists hold that knowledge entails belief. However, proponents of this claim rarely offer a positive argument in support of it. Rather, they tend to treat the view as obvious and assert that there are no convincing counterexamples. We find this strategy to be problematic. We do not find the standard view obvious, and moreover, we think there are cases in which it is intuitively plausible that a subject knows some proposition P without—or at least without determinately—believing that P. Accordingly, (...) we present five plausible examples of knowledge without (determinate) belief, and we present empirical evidence suggesting that our intuitions about these scenarios are not atypical. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

Landgrebe and Smith provide an argument for the impossibility of Artificial General Intelligence based on the limits of simulating complex systems. However, their argument presupposes a very contemporary vision of artificial intelligence as a model trained on data to produce an algorithm executable in a modern digital computing system. The present contribution explores what it means to be artificial. Current artificial intelligence approaches on modern computing systems are not the only conceivable way in which artificial intelligence technology might be created. (...) If there are conceivable routes by which an artificial intelligence might be developed that are not constrained in the same way as the current generation of artificial neural networks, then these might be plausible routes towards the engineered generation of artificial general intelligence that are not precluded by the Landgrebe and Smith argument against the possibility of artificial general intelligence. (shrink)

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Statements about the behavior of biochemical entities (e.g., about the interaction between two proteins) abound in the literature on molecular biology and are increasingly becoming the targets of information extraction and text mining techniques. We show that an accurate analysis of the semantics of such statements reveals a number of ambiguities that have to be taken into account in the practice of biomedical ontology engineering: Such statements can not only be understood as event reporting statements, but also as ascriptions of (...) dispositions or tendencies that may or may not refer to collectives of interacting molecules or even to collectives of interaction events. (shrink)

This paper deals with the recent policies introduced in Brazil in order to foster a public interest towards science. Persuasive messages and strategies aiming at increasing a public awareness of the importance of scientific literacy for the development of the country are introduced at different levels and targeting different kinds of publics. These policies are analysed in view of classical models of social influence and persuasion.