Behavioural evidence suggests that cephalopod molluscs may have a form of primary consciousness. First, the linkage of brain to behaviour seen in lateralization, sleep and through a developmental context is similar to that of mammals and birds. Second, cephalopods, especially octopuses, are heavily dependent on learning in response to both visual and tactile cues, and may have domain generality and form simple concepts. Third, these animals are aware of their position, both within themselves and in larger space, including having a (...) working memory of foraging areas in the recent past. Thus if using a ‘global workspace’ which evaluates memory input and focuses attention is the criterion, cephalopods appear to have primary consciousness. (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)

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.

1. Lying -- 2. The problem of what is said -- 3. What is said -- 4. Is lying worse than merely misleading? -- 5. Some interesting cases.

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)

Previous findings indicate that negative arousal enhances bottom-up attention biases favouring perceptual salient stimuli over less salient stimuli. The current study tests whether those effects were driven by emotional arousal or by negative valence by comparing how well participants could identify visually presented letters after hearing either a negative arousing, positive arousing or neutral sound. On each trial, some letters were presented in a high contrast font and some in a low contrast font, creating a set of targets that differed (...) in perceptual salience. Sounds rated as more emotionally arousing led to more identification of highly salient letters but not of less salient letters, whereas sounds’ valence ratings did not impact salience biases. Thus, arousal, rather than valence, is a key factor enhancing visual processing of perceptually salient targets. (shrink)

At the University of Sheffield during 2011 and 2012, a leading group of philosophers, psychologists, and others gathered to explore the nature and significance of implicit bias. The two volumes of Implicit Bias and Philosophy emerge from these workshops. Each volume philosophically examines core areas of psychological research on implicit bias as well as the ramifications of implicit bias for core areas of philosophy. Volume I: Metaphysics and Epistemology is comprised of two parts: “The Nature of Implicit Attitudes, Implicit Bias, (...) and Stereotype Threat,” and “Skepticism, Social Knowledge, and Rationality.” The first part contains chapters examining the relationship between implicit attitudes and “dual process” models of the mind; the role of affect in the formation and change of implicit associations; the unity (or disunity) of implicit attitudes; whether implicit biases are mental states at all; and whether performances on stereotype-relevant tasks are automatic and unconscious or intentional and strategic. The second part contains chapters examining implicit bias and skepticism; the effects of implicit bias on scientific research; the accessibility of social stereotypes in epistemic environments; the effects of implicit bias on the self-perception of members of stigmatized social groups as rational agents; the role of gender stereotypes in philosophy; and the role of heuristics in biased reasoning. (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.

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.

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.

Kensinger (2009) and Mather (2007) both argue that intrinsic features of emotional items are remembered better than intrinsic features of non-emotional items. However, Kensinger attributes these effects to negative valence whereas Mather attributes them to arousal. In this paper, we note several reasons why arousal may be the driving factor even when a study reveals more detailed memory for negative items than for positive items. We also reanalyze previous data (Mather & Nesmith, 2008) to show that although (...) both arousal and negative valence were correlated with memory accuracy, enhanced memory accuracy was accounted for by arousal rather than valence. (shrink)

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 ...

Substitution and simple sentences -- Simple sentences and semantics -- Simple sentences and implicatures -- The enlightenment problem and a common assumption -- Abandoning (EOI) -- Beyond matching propositions -- App. A : extending the account -- App. B : belief reporting.

This collection of original essays by leading and emerging scholars in the field examines the history, conditions, organization, and strategies of pro bono lawyering. Private Lawyers and the Public Interest: The Evolving Role of Pro Bono in the Legal Profession traces the rise and impact of the American Bar Association's campaign to hold lawyers accountable for a commitment to public service and to encourage public service within law schools. Combining empirical legal research with reflections by practitioners and theorists about the (...) meaning and practice of pro bono legal work, this collection of essays interrogates the public service ideals that are inscribed within the legal profession and places these ideals within a broader social, economic, ideological, and normative context. Particular attention is paid to the factors that explain why lawyers engage in pro bono work and the ways in which their views of pro bono are mediated by the institutional context of their legal practice. The book also explores the concept of "public" in public service and compares pro bono as a means of delivering legal services with other mechanisms such as state funding. Collectively, these essays investigate the evolving role of pro bono in the legal profession and in law schools, the relationship between pro bono ideals and pro bono in practice, the way that pro bono is shaped by external forces beyond the individual practitioner, and the multi-faceted nature of legal professionalism as expressed through pro bono practice. (shrink)