It is the aim of INDICES to document recent explorations in the various fields of philosophical logic and formal linguistics and their applications in other disciplines. The main emphasis of this series is on self-contained monographs covering particular areas of recent research and surveys of methods, problems, and results in all fields of inquiry where recourse to logical analysis and logical methods has been fruitful. INDICES will contain monographs dealing with the central areas of philosophical logic (extensional and intensional systems, (...) indexical logics, non-classical logics, philosophy of logic, etc.) as well as studies in which these systems are applied to specific issues in philosophy, in the formal semantics of natural languages, the foundations of linguistic theory, in computational linguistics, and in theoretical computer science. Constructive type theory was first presented in 1970, by the Swedish logician Per Martin-Lof. It has become one of the main approaches used in the foundations of mathematics and computer science. But it has remained relatively unknown among linguists and philosophers, although it provides a considerable extension of the concepts and techniques of logic. The book first gives an introduction to type theory from the point of view of linguistics and the philosophy of language. Type theory is then applied in the areas of quantification, anaphora, temporal reference, and the structure of text and discourse. By virtue of the type-theoretical concepts of proof object and context, various phenomena of dependence and progression in language can be discussed in precise terms, and several well-known problems can be solved. A categorial grammar is presented togenerate formally a fragment of English, together with an example of a computer implementation. (shrink)

With precision and profundity born of 30 years of devoted study, John Boyle offers an essential introduction to St. Thomas Aquinas on Scripture, shedding helpful light on the goals, methods, and commitments that animate the Angelic Doctor's engagement with the sacred page. Because the genius of St. Thomas's approach to the Bible lies not so much in its novelty but rather in the fidelity and clarity with which he recapitulates the riches of the preceding interpretive Tradition, this initiation into (...) St. Thomas's vision of Scripture is itself an orientation to the Church's vision of Scripture, from the Fathers through and beyond the Middle Ages. St. Thomas's embeddedness within the Church's Tradition and his own historical context is integral to his approach to Scripture, yet it sets him at some distance from modern readers, for whom his interpretive vision may seem perplexing or even impenetrable. In this Primer, Boyle first provides an acclimation to this medieval context through a survey and explanation of pertinent technical terminology used by St. Thomas and characteristic of the scholastic theology of the time. With an eye to the medieval practice of considering Scripture according to the fourfold division of causes, Boyle builds on this initial foundation by exploring in turn St. Thomas's accounts of the end or use of Scripture (final cause), its divine and human authorship (efficient cause), its order and division (material cause), and its literary styles or genres (formal cause). Drawing on writings from across St. Thomas's corpus, but especially his work On the Commendation and Division of Sacred Scripture and the prologues to his biblical commentaries, Boyle masterfully elucidates both the hermeneutical principles and deep wisdom of the Angelic Doctor's approach to Scripture, imparting invaluable guidance not only for reading and understanding St. Thomas and other great masters of the Tradition, but also-and ultimately-for understanding Scripture in light of this Tradition and reading it with greater benefit and joy. (shrink)

The notion of proof is central to mathematics yet it is one of the most difficult aspects of the subject to teach and master. In particular, undergraduate mathematics students often experience difficulties in understanding and constructing proofs. Understanding Mathematical Proof describes the nature of mathematical proof, explores the various techniques that mathematicians adopt to prove their results, and offers advice and strategies for constructing proofs. It will improve students’ ability to understand proofs and construct correct proofs of their own. The (...) first chapter of the text introduces the kind of reasoning that mathematicians use when writing their proofs and gives some example proofs to set the scene. The book then describes basic logic to enable an understanding of the structure of both individual mathematical statements and whole mathematical proofs. It also explains the notions of sets and functions and dissects several proofs with a view to exposing some of the underlying features common to most mathematical proofs. The remainder of the book delves further into different types of proof, including direct proof, proof using contrapositive, proof by contradiction, and mathematical induction. The authors also discuss existence and uniqueness proofs and the role of counter examples. (shrink)

Despite recurring efforts, a gap exists across a variety of contexts between the protection of patients' safety in theory and in practice. This timely Research Handbook highlights these critical issues and suggests both legal and policy changes are necessary to better protect patients' safety. Multidisciplinary in nature, this Research Handbook features contributions from eminent academics, policy makers and medical practitioners from the Global North and South, discussing the essential facets concerning patient safety and the law. It highlights how the role (...) of legislation and case law has the potential to influence, both positively and negatively, medical practice and the quality of care. Chapters explore patient safety and the global health agenda; physiotherapy; 'non-therapeutic' clinical research with children; patient safety awareness in healthcare education; and the increasing use of robotics and artificial intelligence in healthcare. Outlining a wide range of international perspectives on patient safety and the law, this Research Handbook will appeal to academics and researchers specialising in health and medical law, human rights and healthcare regulation. It will also serve as a valuable resource for legal and medical practitioners alike, as well as clinicians and professionals working in healthcare governance. (shrink)

Without violating the spirit of Game-Theoretical semantics, its results can be re-worked in Martin-Löf''s Constructive Type Theory by interpreting games as types of Myself''s winning strategies. The philosophical ideas behind Game-Theoretical Semantics in fact highly recommend restricting strategies to effective ones, which is the only controversial step in our interpretation. What is gained, then, is a direct connection between linguistic semantics and computer programming.

For this second edition, the editors have returned to Austin's original lecture notes, amending the printed text where it seemed necessary.

The theoretical debate on the nature of narrative has been mainly concerned with literary narratives, whereas forms of non-literary and especially pictorial narrativity have been somewhat neglected. In this paper, however, I shall discuss narrativity specifically with regard to pictorial objects in order to clarify how pictorial storytelling may be based on the activation of mentally stored action and scene schemas. Approaches from cognitive psychology, such as the work of Schank, Roger C. & Robert P. Abelson. 1977. Scripts, plans, goals (...) and understanding. Hillsdale, NJ: Lawrence Erlbaum; Mandler, Jean Matter. 1984. Stories, scripts, and scenes: Aspects of schema theory. London/hillsdale, NJ: Lawrence Erlbaum; Schank, Roger C. 1995. Tell me a story: Narrative and intelligence. Evanston, IL: Northwestern University Press, suggest that cognition crucially depends on the storage and retrieval of action scripts or schemata, that is, narrative structures, which may occur at various levels of abstraction. These schemas incorporate generalized knowledge about event sequences, such as the order in which specific events will take place; causal, enabling, or conventionalized relations between these events, and what kind of events occur in certain action sequences. There also are scene schemas that are characterized by spatial rather than temporal relations. Further kinds of schemas seem also to play a decisive role. Drawing upon considerations from schema and script theory, I will focus on some concrete examples of pictorial narration, more specifically depictions of the Annunciation of the Virgin Mary, where narrative schema structures become involved and, indeed, the comprehensibility of the pictures as such presuppose mental script representations. (shrink)

Though the revised edition of A Theory of Justice, published in 1999, is the definitive statement of Rawls's view, so much of the extensive literature on Rawls's theory refers to the first edition. This reissue makes the first edition once again available for scholars and serious students of Rawls's work.

We propose a shift in perspective from the view of natural languages as formal languages to natural languages as a collection of resources for constructing local languages for use in particular situations. This is suggested by our experience constructing natural language grammars for particular applications using the Grammatical Framework. It points to a research programme investigating how such resources play a role in linguistic innovation by agents constructing situation-specific local languages and how they can be made dynamic, modified by the (...) linguistic agent’s exposure to innovative linguistic data. (shrink)

Theories of discourse bring to realism new ideas about how knowledge develops and how representations of reality are influenced. We gain an understanding of the conceptual aspect of social life and the processes by which meaning is produced. This collection reflects the growing interest realist critics have shown towards forms of discourse theory and deconstruction. The diverse range of contributions address such issues as the work of Derrida and deconstruction, discourse theory, Eurocentrism and poststructuralism. What unites all of the contributions (...) is a sense that it is essential to provide a realist alternative to the hitherto dominance of social constructionism, hermeneutics and postmodernism, over many of the issues discussed. By developing a realist perspective the different authors attempt to embed discourse within the structured nature of the reality of the world. Realism can situate language, discourse and ideology within context specific, or 'causally efficacious' circumstances. Realism can help to uncover issues of power, representation, and subjectivity and how discursive and other social practices produce real effects. This can help us understand the manner in which social structures are reproduced through various forms of ideology and discourse. And by knowing this, we can start to address questions concerning human emancipation and how the world is to be transformed. (shrink)

Dewey's book on Democracy and Education established his credentials in the field of education and once counted as his most important book. It has been re-published in many editions and continuously in print ever since the original publication in 1916.

This book continues and revises the ideas of justice as fairness that John Rawls presented in _A Theory of Justice_ but changes its philosophical interpretation in a fundamental way. That previous work assumed what Rawls calls a "well-ordered society," one that is stable and relatively homogenous in its basic moral beliefs and in which there is broad agreement about what constitutes the good life. Yet in modern democratic society a plurality of incompatible and irreconcilable doctrines--religious, philosophical, and moral--coexist within (...) the framework of democratic institutions. Recognizing this as a permanent condition of democracy, Rawls asks how a stable and just society of free and equal citizens can live in concord when divided by reasonable but incompatible doctrines? This edition includes the essay "The Idea of Public Reason Revisited," which outlines Rawls ' plans to revise _Political Liberalism,_ which were cut short by his death. "An extraordinary well-reasoned commentary on _A Theory of Justice_...a decisive turn towards political philosophy." --_Times Literary Supplement_. (shrink)

The renowned philosopher John Searle reveals the fundamental nature of social reality. What kinds of things are money, property, governments, nations, marriages, cocktail parties, and football games? Searle explains the key role played by language in the creation, constitution, and maintenance of social reality. We make statements about social facts that are completely objective, for example: Barack Obama is President of the United States, the piece of paper in my hand is a twenty-dollar bill, I got married in London, (...) etc. And yet these facts only exist because we think they exist. How is it possible that we can have factual objective knowledge of a reality that is created by subjective opinions? This is part of a much larger question: How can we give an account of ourselves, with our peculiar human traits DS mind, reason, freedom, society - in a world that we know independently consists of mindless, meaningless particles? How can we account for our social and mental existence in a realm of brute physical facts? In answering this question, Searle avoids postulating different realms of being, a mental and a physical, or worse yet, a mental, a physical, and a social. There is just one reality: Searle shows how the human reality fits into that one reality. Mind, language, and civilization are natural products of the basic facts of the physical world described by physics, chemistry and biology. Searle explains how language creates and maintains the elaborate structures of human social institutions. These institutions serve to create and distribute power relations that are pervasive and often invisible. These power relations motivate human actions in a way that provides the glue that holds human civilization together. Searle shows how this account illuminates human rationality, free will, political power, and human rights. Our social world is a world created and maintained by language. (shrink)

In The Construction of Social Reality, John Searle argues that there are two kinds of facts--some that are independent of human observers, and some that require..

The book also includes a chronological table of significant events, select bibliography, succinct explanatory notes, and an index--all of which supply ...

A Norton Library edition of Locke's Second Treatise of Government, edited by A. John Simmons.

Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...) to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

Much as we would like to conceive empirical thought as rationally grounded in experience, pitfalls await anyone who tries to articulate this position, and ...

This book comprises all of John Bell's published and unpublished papers in the field of quantum mechanics, including two papers that appeared after the first edition was published. It also contains a preface written for the first edition, and an introduction by Alain Aspect that puts into context Bell's great contribution to the quantum philosophy debate. One of the leading expositors and interpreters of modern quantum theory, John Bell played a major role in the development of our current (...) understanding of the profound nature of quantum concepts. First edition Hb (1987): 0-521-33495-0 First edition Pb (1988): 0-521-36869-3. (shrink)

Reissued here in its corrected second edition of 1864, this essay by John Stuart Mill argues for a utilitarian theory of morality. Originally printed as a series of three articles in Fraser's Magazine in 1861, the work sought to refine the 'greatest happiness' principle that had been championed by Jeremy Bentham, defending it from common criticisms, and offering a justification of its validity. Following Bentham, Mill holds that actions can be judged as right or wrong depending on whether they (...) promote happiness or 'the reverse of happiness'. Although attracted by Bentham's consequentialist framework based on empirical evidence rather than intuition, Mill separates happiness into 'higher' and 'lower' pleasures, arguing for a weighted system of measurement when making and judging decisions. Dissected and debated since its first appearance, the essay is Mill's key discussion on the topic and remains a fundamental text in the study of ethics. (shrink)

This is a new revised version of Dr. Laslett's standard edition of Two Treatises. First published in 1960, and based on an analysis of the whole body of Locke's publications, writings, and papers. The Introduction and text have been revised to incorporate references to recent scholarship since the second edition and the bibliography has been updated.

John Searle's Speech Acts (1969) and Expression and Meaning (1979) developed a highly original and influential approach to the study of language. But behind both works lay the assumption that the philosophy of language is in the end a branch of the philosophy of the mind: speech acts are forms of human action and represent just one example of the mind's capacity to relate the human organism to the world. The present book is concerned with these biologically fundamental capacities, (...) and, though third in the sequence, in effect it provides the philosophical foundations for the other two. Intentionality is taken to be the crucial mental phenomenon, and its analysis involves wide-ranging discussions of perception, action, causation, meaning, and reference. In all these areas John Searle has original and stimulating views. He ends with a resolution of the 'mind-body' problem. (shrink)

Though the revised edition of A Theory of Justice, published in 1999, is the definitive statement of Rawls's view, so much of the extensive literature on Rawls's theory refers to the first edition.

"What is a military aircraft? John Law shows in his beautiful analysis that it is a constant oscillation between multiplicity and singularity.

The paper takes a look at the history of the idea of universal grammar and compares it with multilingual grammars, as formalized in the Grammatical Framework, GF. The constructivist idea of formalizing math- ematics piece by piece, in a weak logical framework, rather than trying to reduce everything to one single strong theory, is the model that guides the development of grammars in GF.

The paper takes a look at the history of the idea of universal grammar and compares it with multilingual grammars, as formalized in the Grammatical Framework, GF. The constructivist idea of formalizing math­ematics piece by piece, in a weak logical framework, rather than trying to reduce everything to one single strong theory, is the model that guides the development of grammars in GF.

John Searle's Speech Acts (1969) and Expression and Meaning (1979) developed a highly original and influential approach to the study of language. But behind both works lay the assumption that the philosophy of language is in the end a branch of the philosophy of the mind: speech acts are forms of human action and represent just one example of the mind's capacity to relate the human organism to the world. The present book is concerned with these biologically fundamental capacities, (...) and, though third in the sequence, in effect it provides the philosophical foundations for the other two. Intentionality is taken to be the crucial mental phenomenon, and its analysis involves wide-ranging discussions of perception, action, causation, meaning, and reference. In all these areas John Searle has original and stimulating views. He ends with a resolution of the 'mind-body' problem. (shrink)

Within cognitive science, narratives are regarded as crucial and fundamental cognitive instruments or tools. As Roger Schank suggests, the identity of (sub-)cultures is to a considerable extent based upon the sharing of narrative structures (Schank. 1995.Tell me a story: Narrative and intelligence. Evanston, IL: Northwestern University Press.). According to Schank, culturally shared stories, as do many other stories, occur frequently in highly abbreviated form, as “skeleton stories” or “gists.” Collective identities are conveyed in and between cultures not only through verbal (...) discourse, but also by pictorial means. Many pictures and visual artworks have indeed been produced in order to establish and to consolidate a home-culture and to demarcate it from conceived extra-cultural counterparts.Some of my previous work on these lines has been concerned with demarcation efforts in visual media of “Jews” as extra-cultural, since the Middle Ages onwards, in the Third Reich’s iconography, as well as in modern, radicalized forms of anti-Semitic picturing in Arab media (Ranta. 2016. The (pictorial) construction of collective identities in the Third Reich.Language and Semiotic Studies2(3). 107–124, Ranta. 2017. Master narratives and the (pictorial) construction of otherness: Anti-semitic images in the Third Reich and beyond.Contemporary Aesthetics15.https://contempaesthetics.org/newvolume/pages/article.php?articleID=765(accessed 17 November 2019.). In building upon and extending this work, I shall focus in the current paper upon attempts of creating cultural and political cohesion by means of pictorial propaganda in post-war China from the early 1950’s onwards, as promoted by the Chinese Communist Party (CCP) under the leadership by Mao Zedong. Some concrete pictorial examples indicating these attempts will be discussed from a narratological and cultural semiotic perspective. (shrink)

In this paper, we shall present a generalization of phrase structure grammar, in which all functional categories have type restrictions, that is, their argument types are specific domains. In ordinary phrase structure grammar, there is just one universal domain of individuals. The grammar does not make a distinction between verbs and adjectives in terms of domains of applicability. Consequently, it fails to distinguish between sentences like every line intersects every line, which is well typed, and every line intersects every point, (...) which is ill typed.Our generalization relates to ordinary phrase structure grammar in the same way as the higherlevel constructive type theory of Martin-Löf relates to the simple type theory of Church . Simple type theory has been used in linguistics and related with phrase structure grammar, especially in the tradition based on the work of Montague .Our definition of the grammar will be more formal than Montague's in the sense that we shall use a formal metalanguage, that of constructive type theory, for defining both the object language and its interpretation. The grammar, both syntax and semantics, is thus readily implementable in the type-theoretical proof system ALF . Inside type theory, a distinction can be made between the object language and the model, in other words, between syntactic and semantic types. It will turn out that the object language cannot be defined independently of the model, as in ordinary Tarski semantics. This is a direct consequence of introducing the typing restrictions.The grammar presented here can be seen as a formal linguistic elaboration of the work presented in Ranta 1991 and 1994. The organization of generative grammar as categorial grammar followed by sugaring should now look more familiar to the linguist, as the grammatical formalism on which sugaring operates is no longer full type theory but a set of phrase structure trees. (shrink)

This paper shows how a dialogue system for information-seekingdialogues can be implemented in a type-theory-based syntax editor,originally developed for editing mathematical proofs.The implementation gives a simple logical metatheory tosuch dialogue systems and also suggests new functions forthem, e.g., a local undo operation. The method developed provides alogically based declarative way of implementing simple dialoguesystems that is easy to port to new domains.

The aim of this study is to look at the the syntactic calculus of Bar-Hillel and Lambek, including semantic interpretation, from the point of view of constructive type theory. The syntactic calculus is given a formalization that makes it possible to implement it in a type-theoretical proof editor. Such an implementation combines formal syntax and formal semantics, and makes the type-theoretical tools of automatic and interactive reasoning available in grammar.In the formalization, the use of the dependent types of constructive type (...) theory is essential. Dependent types are already needed in the semantics of ordinary Lambek calculus. But they also suggest some natural extensions of the calculus, which are applied to the treatment of morphosyntactic dependencies and to an analysis of selectional restrictions. Finally, directed dependent function types are introduced, corresponding to the types of constructive type theory. (shrink)

The latest volume in the Oxford Readings in Philosophy series, this work brings together some of the best and most influential recent philosophical scholarship on Nietzsche. Opening with a substantial introduction by John Richardson, it covers: Nietzsche's views on truth and knowledge, his 'doctrines' of the eternal recurrence and will to power, his distinction between Apollinian and Dionysian art, his critique of morality, his conceptions of agency and self-creation, and his genealogical method. For each of these issues, the papers (...) show Nietzsche's continuing philosophical importance. Giving a clear and accessible overview, while retaining an analytical philosophical approach throughout, this volume is essential reading for all students of Nietzsche. (shrink)

This chapter addresses the issues that motivate representationalist accounts, and it describes the different versions of representationalism as responses to these issues. It argues that the representationalist views do not adequately respond to the epistemological problems that motivate them and that they engender some ontological problems. The chapter presents an alternative ‘presentationalist’ account that preserves the straightforward sense of the mind's openness to the world. While representationalism and presentationalism agree that the relation between mental events or states is direct but (...) mediated, they radically differ in their views of the nature of the mediation involved in the mind's intentional directedness to the world. This difference and the preferability of the presentationalist account are explored. (shrink)

Many philosophers favour the simple knowledge account of assertion, which says you may assert something only if you know it. The simple account is true but importantly incomplete. I defend a more informative thesis, namely, that you may assert something only if your assertion expresses knowledge. I call this 'the express knowledge account of assertion', which I argue better handles a wider range of cases while at the same time explaining the simple knowledge account's appeal. §1 introduces some new data (...) that a knowledge account of assertion well explains. §2 explains the simple knowledge account's advantage over two of its main competitors. §3 presents a problem for the simple account and offers a solution, which is to adopt the express knowledge account. §4 encapsulates the case for the express knowledge account, and offers a unifying vision for the epistemology of belief and assertion. §5 answers an objection. §6 briefly sums up. Even those who ultimately reject my conclusion can still benefit from the new data presented in §1, and learn an important lesson from the problem discussed in §3, which demonstrates a general constraint on an acceptable account of the norm of assertion. (shrink)

This new edition includes a substantial postscript by the author, in which he responds to thirty years of discussion, criticism and further work in the field to ...

This two-volume work, first published in 1843, was John Stuart Mill's first major book. It reinvented the modern study of logic and laid the foundations for his later work in the areas of political economy, women's rights and representative government. In clear, systematic prose, Mill (1806–73) disentangles syllogistic logic from its origins in Aristotle and scholasticism and grounds it instead in processes of inductive reasoning. An important attempt at integrating empiricism within a more general theory of human knowledge, the (...) work constitutes essential reading for anyone seeking a full understanding of Mill's thought. Volume 1 contains Mill's introduction, which elaborates upon his definition of logic as 'not the science of Belief, but the science of Proof, or Evidence'. It also features discussions of the central components of logical reasoning - propositions and syllogisms - in relation to Mill's theories of inductive reasoning and experimental method. (shrink)

Epistemic reasons are mental states. They are not propositions or non-mental facts. The discussion proceeds as follows. Section 1 introduces the topic. Section 2 gives two concrete examples of how our topic directly affects the internalism/externalism debate in normative epistemology. Section 3 responds to an argument against the view that reasons are mental states. Section 4 presents two problems for the view that reasons are propositions. Section 5 presents two problems for the view that reasons are non-mental facts. Section 6 (...) argues that reasons are mental states. Section 7 responds to objections. (shrink)