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)

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)

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.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

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)

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.

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

The modern idea of emancipation is linked to the goal of overcoming dependencies and domination. However, as argued in the article, negative dialectics of emancipation must also be problematized. The project of emancipation, as it was formulated in the Age of Enlightenment, was often particular and was associated with the establishment of new forms of domination. Especially the project of liberation from the constraints of nature through technical development led to the domination of nature. In view of the ecological crisis, (...) the dark side of this project is becoming apparent today. The ecological base of human development is at risk. It is therefore necessary to pursue the idea of a reflexive emancipation, which also takes nature into account in order to enable a sustainable technology development. Emancipatory Technology Studies should therefore support an emancipatory technology policy which promotes a positive dialectical movement that overcomes the contrast between submission to nature and technical mastery of nature. (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)

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

This article examines the impact of the reporting practice and paper technologies like forms on reports that were later used for national morbidity statistics by studying the Swiss reporting system for infectious diseases between 1886 and 1921. Analysing the production processes of notifications shows the difficulties and solutions in the implementation of the statutory reporting process. Two disease outbreaks—a smallpox outbreak in Schaffhausen and a typhoid outbreak in the canton of Lucerne—serve as case studies. It is shown that reports are (...) not only objective representations of diseases, but also symbolize the medico-social interactions that produce them, timed by administrative tools like reporting forms and the act of reporting. This destabilises historical statistics and illustrates the complexity of the historical source material, as these interactions and their impact on reporting must be considered. These findings are further supported by examining the Swiss reporting system during the Spanish flu of 1918 and its failure to record influenza cases. (shrink)

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

Der Sammelband vereint Beiträge von Sprachwissenschaftlern und Historikern zuPhänomenen des Sprach- und Kulturkontaktes in europäischen Personennamen des Mittelalters. Im Mittelpunkt stehen kulturhistorische, historische und philologische Fragestellungen, insbesondere in den Bereichen der Migration, der Akkulturation und der Integration in multilingualen Gesellschaften bzw. in Grenzgebieten. Die Untersuchungen widmen sich schwerpunktmäßig den Verhältnissen im fränkischen Merowinger- und Karolingerreich und in Italien. Beiträge zu jüdischen Namentraditionen auf der Iberischen Halbinsel sowie zu skandinavisch-kontinentalen, angelsächsisch-keltischen und baltisch-slawisch-westeuropäischen Namenbeziehungen eröffnen weitere Perspektiven. Der Band gibt neue Impulse (...) für die Interferenz-Onomastik. (shrink)

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

In this study, Worsley argues that it is rational to believe in a loving God in the face of evil. Beginning with a critique of Alvin Plantinga, he shows that human freedom is highly complex, and so depends upon complex structures in nature. These are both necessary for freedom but also sufficient for natural evil. He offers close analysis of the evolution of the human brain. The book develops a parallel argument that human evil stems from the evolution of personality.

. History of the concept of economic efficiency . INTRODUCTION James Buchanan won the Nobel Prize by proving that the process by which elected officials ...

„Spiritualität heute“ – Unter diesem Titel hatte der Hildesheimer Literaturwissenschaftler Toni Tholen 2016 in einem Vortrag zum Nachdenken über Spiritualität angeregt und eingeladen. Er selbst verknüpfte dabei das Konzept der Selbstsorge mit dem Verständnis von literarischer Praxis als (eine zeitgemäße Form von) Spiritualität. Die in diesem Band versammelten Beiträge von Wissenschaftlerinnen und Wissenschaftlern aus ganz unterschiedlichen Fachrichtungen der Universität Hildesheim haben die Einladung Tholens auf sehr verschiedene Weise angenommen. Sie verbindet die Haltung, offen für eine argumentative Auseinandersetzung mit dem Thema (...) Spiritualität zu sein. Zugleich wählen sie in Inhalt und Form unterschiedliche Zugänge – so ist die Einladung zum Gespräch in doppeltem Sinne vielfältig aufgenommen. Einige Beiträge diskutieren die von Tholen vorlegte Konturierung von Spiritualität aus der Perspektive ihrer eigenen Disziplin. Andere fragen nach möglichen Einordnungen der Diskurse über Spiritualität. Wieder andere Beiträge erwägen die Frage, wie man die geistliche Suche mit wissenschaftlicher Suche verbinden kann. Mit der Antwort Tholens auf diese Texte entwickelt sich ein transdisziplinärer Dialog über das Thema Spiritualität. (shrink)

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

We present results of a quasi-experimental study investigating how user preference might change after direct interaction with two different types of robot regarding morphology and affordances: a machine-like that interacts through touch, and a human-like that interacts verbally. The study was performed in an art exhibition setting, where visitors had the opportunity to interact with the robots voluntarily, and were asked to fill out questionnaires before and after the experience. Post interactions, visitors preferred to touch the machine-like “hard” robot despite (...) initial stated preference for soft materials, preferred mutual contact despite initial preference of subject to initiate touch, and preferred communication with a robot that could touch rather than initial preference for a robot that could “see”. Overall, users showed a significant constant preference for the machine-like robot, reportedly feeling a stronger connection with it than with the human-like one as it met their expectations, and they found its movements more appealing. Social conditioning can render people reluctant to touch a robot with very human-like appearance, and set the expectations for interaction too high to meet. Our results, lastly, indicate that interaction with more than one type of social robot can affect the interaction experience for each of the robots. (shrink)

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

2010 Reprint of 1905 edition.This work is the magnum opus of Bucke's career, a project that he researched and wrote over many years. In it, Bucke described his own experience, that of contemporaries, and the experiences and outlook of historical figures including Buddha, Jesus, Paul, Plotinus, Muhammad, Dante, Francis Bacon, and William Blake. Bucke developed a theory involving three stages in the development of consciousness: the simple consciousness of animals; the self-consciousness of the mass of humanity ; and cosmic consciousness (...) - an emerging faculty and the next stage of human development. Among the effects of this progression, he believed he detected a lengthy historical trend in which religious conceptions and theologies had become less and less fearful. A classic work. (shrink)

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

We present results of a quasi-experimental study investigating how user preference might change after direct interaction with two different types of robot regarding morphology and affordances: a machine-like that interacts through touch, and a human-like that interacts verbally. The study was performed in an art exhibition setting, where visitors had the opportunity to interact with the robots voluntarily, and were asked to fill out questionnaires before and after the experience. Post interactions, visitors preferred to touch the machine-like “hard” robot despite (...) initial stated preference for soft materials, preferred mutual contact despite initial preference of subject to initiate touch, and preferred communication with a robot that could touch rather than initial preference for a robot that could “see”. Overall, users showed a significant constant preference for the machine-like robot, reportedly feeling a stronger connection with it than with the human-like one as it met their expectations, and they found its movements more appealing. Social conditioning can render people reluctant to touch a robot with very human-like appearance, and set the expectations for interaction too high to meet. Our results, lastly, indicate that interaction with more than one type of social robot can affect the interaction experience for each of the robots. (shrink)

Part I The Imperative Mood 'Virtue, then, is a disposition governing our choices '. ARISTOTLE, Eth. Nic. 36 Prescriptive Language. ...