We present a novel way of using proof nets for the multimodal Lambek calculus, which provides a general treatment of both the unary and binary connectives. We also introduce a correctness criterion which is valid for a large class of structural rules and prove basic soundness, completeness and cut elimination results. Finally, we will present a correctness criterion for the original Lambek calculus Las an instance of our general correctness criterion.

In this paper we will discuss the first order multiplicative intuitionistic fragment of linear logic, MILL1, and its applications to linguistics. We give an embedding translation from formulas in the Lambek Calculus to formulas in MILL1 and show this translation is sound and complete. We then exploit the extra power of the first order fragment to give an account of a number of linguistic phenomena which have no satisfactory treatment in the Lambek Calculus.

This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present both a sequent and a proof net calculus for hybrid type-logical grammars. In addition to clarifying the logical foundations of hybrid type-logical grammars, the current study opens the way to variants and extensions of the original system, including but not limited to a non-associative version and (...) a multimodal version incorporating structural rules and unary modes. (shrink)

This paper is a reflexion on the computability of natural language semantics. It does not contain a new model or new results in the formal semantics of natural language: it is rather a computational analysis, in the context for type-logical grammars, of the logical models and algorithms currently used in natural language semantics, defined as a function from a grammatical sentence to a set of logical formulas—because a statement can be ambiguous, it can correspond to multiple formulas, one for each (...) reading. We argue that as long as we do not explicitly compute the interpretation in terms of possible world models, one can compute the semantic representation of a given statement, including aspects of lexical meaning. This is a very generic process, so the results are, at least in principle, widely applicable. We also discuss the algorithmic complexity of this process. (shrink)

In this paper we present a logical system able to compute the semantics of both declarative and interrogative sentences. Our proposed analysis takes place at both the sentential and at the discourse level. We use syntactic inference on the sentential level for declarative sentences, while the discourse level comes into play for our treatment of questions. Our formalization uses a type logic sensitive to both the syntactic and semantic properties of natural language. We will show how an account of the (...) linguistic data follows naturally from the logical relations inherent in the type logic. (shrink)

Virtue Epistemology has come a long way since Ernest Sosa first mooted its possibility in ‘The Raft and the Pyramid’, a paper about the pitfalls of coherentism and foundationalism. What makes Virtue Epistemology distinctive, as opposed to other forms of reliabilist externalism, is that the epistemic agent becomes the locus for justification rather than the belief. In the midst of a small but growing literature in this focus on the agent, two clear trends are emerging that reflect a difference in (...) interest by the authors rather than any real underlying antagonism between camps. Where faculty reliabilists like Sosa and Greco are concerned about sceptical challenges, virtue responsibilists like Zazebski or Roberts and Wood prefer to write about intellectual flourishing. (shrink)

Shareholders are sometimes considered to be, in moral terms, the owners of a company, they are after all the carriers of the residual liabilities and bear a higher proportion of the financial risk. However, in company law, the shareholders’ responsibility is limited, and in financial terms shareholders are only liable up to the fully paid value of the share certificate. Moreover, when the shares are sold, the responsibility and risk are transferred completely to the new bearer of the shares. Whether (...) this gap in moral and legal perceptions can be judged to be satisfactory in business ethics terms is a moot point and will be partly explored in this case study which seeks to analyse the shareholder’s responsibility towards a firm in which they own shares. The case study company chosen as a vehicle to explore these issues is that of Turner & Newall; a company that subjected its employees, communities and customers to a major health hazard – asbestosis. This paper will use the Turner & Newall archive materials to illustrate the moral hazards that can arise for shareholders. In particular it will examine the ethical responsibilities of shareholders towards those stakeholders who were exposed to the dangers of asbestos. This case is a significant test of the veracity of the legal system of company control, and exposes the ineffectiveness of that system in accountability terms. The case study also deals with specific issues that arose in the asbestos crisis, as well as with more general issues in our present system of corporate governance and shareholder responsibilities. (shrink)

It is widely mooted that a plausible computational cognitive model should involve both symbolic and connectionist components. However, sound principles for combining these components within a hybrid system are currently lacking; the design of such systems is oftenad hoc. In an attempt to ameliorate this we provide a framework of types of hybrid systems and constraints therein, within which to explore the issues. In particular, we suggest the use of system independent constraints, whose source lies in general considerations about cognitive (...) systems, rather than in particular technological or task-based considerations. We illustrate this through a detailed examination of an interruptibility constraint: handling interruptions is a fundamental facet of cognition in a dynamic world. Aspects of interruptions are delineated, as are their precise expression in symbolic and connectionist systems. We illustrate the interaction of the various constraints from interruptibility in the different types of hybrid systems. The picture that emerges of the relationship between the connectionist and the symbolic within a hybrid system provides for sufficient flexibility and complexity to suggest interesting general implications for cognition, thus vindicating the utility of the framework. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Madness, Reason, and PrideRichard G.T. Gipps, PhD (bio)MadnessQuestions such as “what’s madness?” or “what’s reason?” carry no singular sense about with them wherever they go—which isn’t to say that, asked out of a particular interest in a particular context, they can’t be perfectly intelligible. Garson (2023) is wise to this when he follows “what is madness?” with “as opposed to what?”, even if this latter question itself hardly enjoys (...) a clear sense in the initial context of his asking. What counts as a satisfactory answer to “what’s x?” varies, so that sometimes we’ll be satisfied with a name, at other times by information about something’s genus, origin, function, or composition. Things get notoriously tricky when in the philosophical context the question is asked with a presumption of intelligibility despite ‘x’ being, say, an abstract noun formed from an adjective (‘consciousness’ out of ‘conscious’; ‘happiness’ out of ‘happy’; ‘madness’ out of ‘mad,’ etc.). For “what is?” questions are typically most perspicuously mooted when what’s being pursued are enquiries into (what we might call) the ‘essential nature’ of (what philosophers used to call) ‘substances’ or (of what are more ordinarily called) types of ‘thing’ or ‘entity.’ Invoke, by taking one’s lead from the fact that an ‘x’ is grammatically speaking a substantive, the specter of substance, and you can endlessly baffle yourself by now pondering the mysteries of the putative thing. (Vide discussions of “the nature of consciousness.”) Hence the boon of instead pursuing questions of an ‘opposed to what?’ sort; hence Wittgenstein considering using the Earl of Kent’s “I’ll teach you differences” (King Lear) as a motto for his Investigations. Rather more reflective wisdom regarding ‘x’ may thus be gained when we learn to contrast it with ‘y’ and ‘z’ than when peering into x’s non-existent constitution or groping for its never-instituted genus.Later, I make the case that Garson’s conception of reason itself might suffer from a form of substantialization and that, if I’m right in this, troubling implications follow for his approach to madness. But let’s begin by considering his enquiry into the relation of madness, idiocy and reason. So perhaps we’re reflecting on matters legal, and considering—since we’d hitherto been inclined to take ‘reason’ as univocal—what justifies our different treatments of the insane, the intellectually subnormal, and the normal. Or perhaps—proceeding from the same inclination—we’re puzzled by how someone may boast an exceptional IQ or demonstrate marvelous formal rationality (i.e., make deductions of a sort which would please the logician if no-one else) and yet still be quite mad. And then we realize that at which Garson’s Late Moderns seem to have been gesturing: The lack of reason qua intelligence in idiocy is a different [End Page 307] species from the lack of reason qua sanity in madness. An amethyst is lifeless in a different manner than an expired possum (it was never living, never moribund); the arational lack reason in a different sense than do the irrational (and a baobab cannot jump to conclusions.) There is, say his Late Modern theorists, something ‘perverse’ rather than simply deficient about the irrationality of madness.Now an important part of Garson’s thesis has it that “idiocy is a better candidate for the opposite of reason than madness.” One of the reasons for his making this claim is that he follows his Late Moderns in claiming that madness has reason somehow alive within it, albeit in an unconventional or surprising form. I return to his own explication of this below. Consider first, though, the different thought-referencing descriptions under which the speech acts of the thought-disordered, the speech-disordered, the delusional, and the learning disabled subject may be brought. The sufferer of speech disorder has difficulty with fluency or sound production, but once we get used to this we can find our way to the bona fide rational thought immanent within their discourse. The speech acts of the intellectually impaired subject aren’t chaotic, but instead want for invention and richness; they fail to express... (shrink)

This paper traces the history of artificial insemination by selected donors as a strategy for positive eugenic improvement. While medical artificial insemination has a longer history, its use as a eugenic strategy was first mooted in late nineteenth-century France. It was then developed as ‘scientific motherhood’ for war widows and those without partners by Marion Louisa Piddington in Australia following the Great War. By the 1930s AID was being more widely used clinically in Britain as a medical solution to male (...) infertility for married couples. In 1935 English postal clerk, Herbert Brewer, promoted AID as the socialization of the germ plasm in a eugenic scheme. The next year Hermann Muller, American Drosophila geneticist and eugenicist, presented his plan for human improvement by AID to Stalin. Some twenty years later, Muller, together with Robert Klark Graham, began planning a Foundation for Germinal Choice in California. This was finally opened in 1980 as the first practical experiment in eugenic AID, producing some 215 babies over the twenty years it functioned. While AID appeared to be a means of squaring a eugenic circle by separating paternity from love relationships, and so allowing eugenic improvement without inhibiting individual choice in marriage, it found very little favour with those who might use it, not least because of a couple’s desire to have their ‘own’ children has always seemed stronger than any eugenic aspirations. No state has ever contemplated using AID as a social policy. (shrink)

Focused sequent calculi are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof search strategy. Focused cut-free proofs exhibit a special normal form that is used for defining identity of sequent calculi proofs. We introduce a novel focused display calculus fD.LG and a fully polarized algebraic semantics FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document} for Lambek–Grishin logic by generalizing the theory of multi-type calculi and their (...) algebraic semantics with heterogenous consequence relations. The calculus fD.LG has strong focalization and it is sound and complete w.r.t. FP.LG\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {FP.LG}$$\end{document}. This completeness result is in a sense stronger than completeness with respect to standard polarized algebraic semantics, insofar as we do not need to quotient over proofs with consecutive applications of shifts over the same formula. We also show a number of additional results. fD.LG is sound and complete w.r.t. LG-algebras: this amounts to a semantic proof of the so-called completeness of focusing, given that the standard (display) sequent calculus for Lambek–Grishin logic is complete w.r.t. LG-algebras. fD.LG and the focused calculus fLG of Moortgat and Moot are equivalent with respect to proofs, indeed there is an effective translation from fLG-derivations to fD.LG-derivations and vice versa: this provides the link with operational semantics, given that every fLG-derivation is in a Curry–Howard correspondence with a directional λ¯μμ~\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\overline{\lambda }\mu \widetilde{\mu }$$\end{document}-term. (shrink)

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

The Exchange of Words is a philosophical exploration of human testimony, specifically as a form of intersubjective understanding in which speakers communicate by making themselves accountable for the truth of what they say. This account weaves together themes from philosophy of language, moral psychology, action theory, and epistemology, for a new approach to this basic human phenomenon.

The paper argues for the centrality of believing the speaker (as distinct from believing the statement) in the epistemology of testimony, and develops a line of thought from Angus Ross which claims that in telling someone something, the kind of reason for belief that a speaker presents is of an essentially different kind from ordinary evidence. Investigating the nature of the audience's dependence on the speaker's free assurance leads to a discussion of Grice's formulation of non-natural meaning in an epistemological (...) light, concentrating on just how the recognition of the speaker's self-reflexive intention is supposed to count for his audience as a reason to believe P. This is understood as the speaker's explicitly assuming responsibility for the truth of his statement, and thereby constituting his utterance as a reason to believe. (shrink)

In this volume Rorty offers a Deweyan account of objectivity as intersubjectivity, one that drops claims about universal validity and instead focuses on utility for the purposes of a community. The sense in which the natural sciences are exemplary for inquiry is explicated in terms of the moral virtues of scientific communities rather than in terms of a special scientific method. The volume concludes with reflections on the relation of social democratic politics to philosophy.

Richard Swinburne offers an original treatment of a question at the heart of epistemology: what makes a belief rational, or justified in holding? He maps the rival accounts of philosophers on epistemic justification ("internalist" and "externalist"), arguing that they are really accounts of different concepts. He distinguishes between synchronic justification (justification at a time) and diachronic justification (synchronic justification resulting from adequate investigation)--both internalist and externalist. He also argues that most kinds of justification are worth having because they are (...) indicative of truth; however, it is only justification of internalist kinds that can guide a believer's actions. Swinburne goes on to show the usefulness of the probability calculus in elucidating how empirical evidence makes beliefs probably true. (shrink)

This paper explores some aspects of the relation between different ways of achieving a consensus on the judgemental values of a group of indviduals; in particular, aggregation and deliberation. We argue firstly that the framing of an aggregation problem itself generates information that individuals are rationally obliged to take into account. And secondly that outputs of the deliberative process that this initiates is in tension with constraints on consensual values typically imposed by aggregation theory, at least when deliberation is modelled (...) as process of learning from others compatible with Bayesian updating principles. (shrink)

Atheism is a familiar kind of skepticism about religion. Moral error theory is an analogous kind of skepticism about morality, though less well known outside academic circles. Both kinds of skeptic face a "what next?" question: If we have decided that the subject matter (religion/morality) is mistaken, then what should we do with this way of talking and thinking? The natural assumption is that we should abolish the mistaken topic, just as we previously eliminated talk of, say, bodily humors and (...) unicorns. The fictionalist, however, offers a less obvious recommendation. According to the fictionalist, engaging in the topic in question provides pragmatic benefits that do not depend on its truth-in a way roughly analogous to engaging with a novel or a movie. The religious fictionalist maintains that even if we were atheists, we should carry on talking, thinking, and acting as if religion were true. The moral fictionalist maintains a similar view regarding moral talk, thought, and action. Both forms of fictionalism face serious challenges. Some challenges can be levelled at either form of fictionalism (or at any form of fictionalism), whereas others are problems unique to moral fictionalism or to religious fictionalism. There are important questions to be asked about the relationship between these two kinds of fictionalism. Could moral fictionalism be plausible even if religious fictionalism is not (or vice versa)? This is a volume of thirteen previously unpublished papers on the topics of religious fictionalism, moral fictionalism, and the relation between these views. (shrink)

This book brings together twenty articles giving a comprehensive view of the work of the Aristotelian commentators.... The importance of the commentators is partly that they represent the thought and classroom teaching of the Aristotelian and Neoplatonist schools and partly that they provide a panorama of a thousand years of anicient Greek philosophy, revealing many original quotations from lost works. Even more significant is the profound influence... that they exert on later philosophy, Islamic and Western. Not only did they preserve (...) anti-Aristotelian marterial which helped inspire Medieval and Renaissance science, but they presented Aristotle in a form that made him acceptable to the Christian Church. It is not Aristotle, but Aristotle transformed and embedded in the philosophy of the commentators, that so often lies behind the views of later thinkers. --From book jacket. (shrink)

In his final work, Richard Rorty provides the definitive statement of his political thought. Rorty equates pragmatism with anti-authoritarianism, arguing that because there is no authority we can rely on to ascertain truth, we can only do so intersubjectively. It follows that we must learn to think and care about what others think and care about.

Richard Swinburne presents a powerful new case for substance dualism and for libertarian free will. He argues that pure mental events are distinct from physical events and interact with them, and claims that no result from neuroscience or any other science could show that interaction does not take place. Swinburne goes on to argue for agent causation, and claims that it is we, and not our intentions, that cause our brain events. It is metaphysically possible that each of us (...) could acquire a new brain or continue to exist without a brain; and so we are essentially souls. Brain events and conscious events are so different from each other that it would not be possible to establish a scientific theory which would predict what each of us would do in situations of moral conflict. Hence, we should believe that things are as they seem to be: that we make choices independently of the causes which influence us. It follows that we are morally responsible for our actions. (shrink)

_Heidegger_ is a classic introduction to Heidegger's notoriously difficult work. Truly accessible, it combines clarity of exposition with an authoritative handling of the subject-matter. Richard Polt has written a work that will become the standard text for students looking to understand one of the century's greatest minds.

Philosophy and literature enjoy a close, complex relationship. Elucidating the connections between these two fields, this book examines the ways philosophy deploys literary means to advance its practice, particularly as a way of life that extends beyond literary forms and words into physical deeds, nonlinguistic expression, and subjective moods and feelings.

Richard Kilvington (ca. 1302-1361) was one of the most original and influential thinkers among the Oxford Calculators. His impact on late medieval philosophy and theology remains unquestionable. His physical, logical, and ethical solutions were extensively debated and referred to, paving the way for new approaches in philosophy and theology. This volume presents a critical edition of question 4 from Kilvington's Quaestiones super libros Sententiarum, complete with an introduction to the edition and a guide to Kilvington's theological concepts.

The sixteen essays in this volume confront the current debate about the relationship between philosophy and its history. On the one hand intellectual historians commonly accuse philosophers of writing bad - anachronistic - history of philosophy, and on the other, philosophers have accused intellectual historians of writing bad - antiquarian - history of philosophy. The essays here address this controversy and ask what purpose the history of philosophy should serve. Part I contains more purely theoretical and methodological discussion, of such (...) questions as whether there are 'timeless' philosophical problems, whether the issues of one epoch are commensurable with those of another, and what style is appropriate to the historiography of the subject. The essays in Part II consider a number of case-histories. They present important revisionist scholarship and original contributions on topics drawn from ancient, early modern and more recent philosophy. All the essays have been specially commissioned, and the contributors include many of the leading figures in the field. The volume as a whole will be of vital interest to everyone concerned with the study of philosophy and of its history. (shrink)

Thinking through the body: educating for the humanities -- The body as background -- Self-knowledge and its discontents: from Socrates to somaesthetics -- Muscle memory and the somaesthetic pathologies of everyday life -- Somaesthetics in the philosophy classroom: a practical approach -- Somaesthetics and the limits of aesthetics -- Somaesthetics and Burke's sublime -- Pragmatism and cultural politics: from textualism to somaesthetics -- Body consciousness and performance -- Somaesthetics and architecture: a critical option -- Photography as performative process -- Asian (...) ars erotica and the question of sexual aesthetics -- Philosophy as awakened life : everyday aesthetics of embodiment in American transcendentalism and Japanese Zen practice -- Somatic style. (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

Disagreement is common: even informed, intelligent, and generally reasonable people often come to different conclusions when confronted with what seems to be the same evidence. Can the competing conclusions be reasonable? If not, what can we reasonably think about the situation? This volume examines the epistemology of disagreement. Philosophical questions about disagreement arise in various areas, notably politics, ethics, aesthetics, and the philosophy of religion: but this will be the first book focusing on the general epistemic issues arising from informed (...) disagreement. Ten leading philosophers offer specially written essays which together will offer a starting-point for future work on this topic. (shrink)

Our existence is increasingly lived at a distance. As we move from flesh to image, we are in danger of losing touch with each other and ourselves. How can we combine the physical with the virtual, our embodied experience with our global connectivity? How can we come back to our senses? Richard Kearney offers a timely call for the cultivation of the basic human need to touch and be touched. He argues that touch is our most primordial sense, foundational (...) to our individual and common selves. Kearney explores the role of touch, from ancient wisdom traditions to modern therapies. He demonstrates that a fundamental aspect of touch is interdependence, its inherently reciprocal nature, which offers a crucial corrective to our fixation with control. Making the case for the complementarity of touch and technology, this book is a passionate plea to recover a tangible sense of community and the joys of life with others. (shrink)

Richard Kilvington s commentary on Aristotle s Nicomachean Ethics (14th century) offers a unique perspective of argumentation by applying concepts and terminology from the fields of logic and physics to ethical dilemmas.".

The assent of man, Michael Berube -- Getting rid of the appearance-reality distinction -- Universalist grandeur and analytic philosophy -- Romanticism, narrative philosophy, and human finitude.

The more than 40 readings in this anthology cover the most important developments of the past six decades, charting the rise and decline of logical positivism ...