Confidence can dissociate from perceptual accuracy, suggesting distinct computational and neural processes underlie these psychological functions. Recent investigations have therefore sought to experimentally isolate metacognitive processes by creating conditions where perceptual sensitivity is matched but confidence differs (“matched-performance / different-confidence”; MPDC). Despite these endeavors’ success, much remains unknown about MPDC effects and how to best harness them in experimental settings. Here we developed a principled approach to comprehensively characterizing MPDC effects through analyzing metaperceptual (i.e., type 2 psychometric) functions relating objective (...) performance to subjective confidence across widely varying performance levels and experimental manipulations. We found that MPDC effect magnitude depends on stimulus properties, observers’ sensitivity level, and critically on trial type order (blocked or interleaved across stimulus property variations). Our findings provide the first comprehensive exploration of MPDC effects, offer a prescriptive guide to metaperceptual analysis, and suggest optimal experimental paradigms for experimentally isolating metacognition and awareness in future studies. (shrink)

While we are commonly told that the distinctive method of mathematics is rigorous proof, and that the special topic of mathematics is abstract structure, there has been no agreement among mathematicians, logicians, or philosophers as to just what either of these assertions means. John P. Burgess clarifies the nature of mathematical rigor and of mathematical structure, and above all of the relation between the two, taking into account some of the latest developments in mathematics, including the rise of experimental (...) mathematics on the one hand and computerized formal proofs on the other hand. Along the way, a great many historical developments in mathematics, philosophy, and logic are surveyed. Yet very little in the way of background knowledge on the part of the reader is presupposed. (shrink)

This is a concise, advanced introduction to current philosophical debates about truth. A blend of philosophical and technical material, the book is organized around, but not limited to, the tendency known as deflationism, according to which there is not much to say about the nature of truth. In clear language, Burgess and Burgess cover a wide range of issues, including the nature of truth, the status of truth-value gaps, the relationship between truth and meaning, relativism and pluralism about (...) truth, and semantic paradoxes from Alfred Tarski to Saul Kripke and beyond. Following a brief introduction that reviews the most influential traditional and contemporary theories of truth, short chapters cover Tarski, deflationism, indeterminacy, realism, antirealism, Kripke, and the possible insolubility of semantic paradoxes. The book provides a rich picture of contemporary philosophical theorizing about truth, one that will be essential reading for philosophy students as well as philosophers specializing in other areas. (shrink)

Which concepts should we use to think and talk about the world and to do all of the other things that mental and linguistic representation facilitates? This is the guiding question of the field that we call ‘conceptual ethics’. Conceptual ethics is not often discussed as its own systematic branch of normative theory. A case can nevertheless be made that the field is already quite active, with contributions coming in from areas as diverse as fundamental metaphysics and social/political philosophy. In (...) this pair of papers, we try to unify the field, reflecting on its basic nature, structure, and methodology. (shrink)

The great logician Gottlob Frege attempted to provide a purely logical foundation for mathematics. His system collapsed when Bertrand Russell discovered a contradiction in it. Thereafter, mathematicians and logicians, beginning with Russell himself, turned in other directions to look for a framework for modern abstract mathematics. Over the past couple of decades, however, logicians and philosophers have discovered that much more is salvageable from the rubble of Frege's system than had previously been assumed. A variety of repaired systems have been (...) proposed, each a consistent theory permitting the development of a significant portion of mathematics. This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in each. John Burgess considers every proposed fix, each with its distinctive philosophical advantages and drawbacks. These systems range from those barely able to reconstruct the rudiments of arithmetic to those that go well beyond the generally accepted axioms of set theory into the speculative realm of large cardinals. For the most part, Burgess finds that attempts to fix Frege do less than advertised to revive his system. This book will be the benchmark against which future analyses of the revival of Frege will be measured. (shrink)

Numbers and other mathematical objects are exceptional in having no locations in space or time or relations of cause and effect. This makes it difficult to account for the possibility of the knowledge of such objects, leading many philosophers to embrace nominalism, the doctrine that there are no such objects, and to embark on ambitious projects for interpreting mathematics so as to preserve the subject while eliminating its objects. This book cuts through a host of technicalities that have obscured previous (...) discussions of these projects, and presents clear, concise accounts of a dozen strategies for nominalistic interpretation of mathematics, thus equipping the reader to evaluate each and to compare different ones. The authors also offer critical discussion, rare in the literature, of the aims and claims of nominalistic interpretation, suggesting that it is significant in a very different way from that usually assumed. (shrink)

Philosophical Logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the world's leading authorities on the subject. After giving an overview of classical logic, John Burgess introduces five central branches of nonclassical logic, focusing on the sometimes problematic relationship between formal apparatus and intuitive motivation. Requiring minimal background and arranged to make the more technical material optional, the book offers a choice between an overview and in-depth study, and it balances (...) the philosophical and technical aspects of the subject.The book emphasizes the relationship between models and the traditional goal of logic, the evaluation of arguments, and critically examines apparatus and assumptions that often are taken for granted. Philosophical Logic provides an unusually thorough treatment of conditional logic, unifying probabilistic and model-theoretic approaches. It underscores the variety of approaches that have been taken to relevantistic and related logics, and it stresses the problem of connecting formal systems to the motivating ideas behind intuitionistic mathematics. Each chapter ends with a brief guide to further reading.Philosophical Logic addresses students new to logic, philosophers working in other areas, and specialists in logic, providing both a sophisticated introduction and a new synthesis. (shrink)

Conceptual engineering and conceptual ethics are branches of philosophy concerned with questions about how to assess and ameliorate our representational devices (such as concepts and words). It's a part of philosophy concerned with questions about which concepts we should use (and why), how concepts can be improved, when concepts should be abandoned, and how proposals for amelioration can be implemented. Central parts of the history of philosophy have engaged with these issues, but the focus of this volume is on applications (...) to work in contemporary philosophy of language and mind, epistemology, gender and race theory, ethics, philosophy of science, and philosophical logic. This is the first volume devoted entirely to conceptual engineering and conceptual ethics. The volume explores the possibilities, benefits, problems, and applications of conceptual engineering and conceptual ethics. It consists of twenty chapters written by leading philosophers. (shrink)

Which concepts should we use to think and talk about the world, and to do all of the other things that mental and linguistic representation facilitates? This is the guiding question of the field that we call ‘conceptual ethics’. Conceptual ethics is not often discussed as its own systematic branch of normative theory. A case can nevertheless be made that the field is already quite active, with contributions coming in from areas as diverse as fundamental metaphysics and social/political philosophy. In (...) this pair of papers, we try to unify the field, reflecting on its basic nature, structure, and methodology. (shrink)

In recent years, there has been growing discussion amongst philosophers about “conceptual engineering”. Put roughly, conceptual engineering concerns the assessment and improvement of concepts, or of other devices we use in thought and talk (e.g., words). This often involves attempts to modify our existing concepts (or other representational devices), and/or our practices of using them. This paper explores the relation between conceptual engineering and conceptual ethics, where conceptual ethics is taken to encompass normative and evaluative questions about concepts, words, and (...) other broadly “representational” and/or “inferential” devices we use in thought and talk. We take some of the central questions in conceptual ethics to concern which concepts we should use and what words should mean, and why. We put forward a view of conceptual engineering in terms of the following three activities: conceptual ethics, conceptual innovation, and conceptual implementation. On our view, conceptual engineering can be defined in terms of these three activities, but not in a straightforward, Boolean way. Conceptual engineering, we argue, is made up of mereologically complex activities whose parts fall into the categories associated with each of these three different activities. (shrink)

John Burgess is the author of a rich and creative body of work which seeks to defend classical logic and mathematics through counter-criticism of their nominalist, intuitionist, relevantist, and other critics. This selection of his essays, which spans twenty-five years, addresses key topics including nominalism, neo-logicism, intuitionism, modal logic, analyticity, and translation. An introduction sets the essays in context and offers a retrospective appraisal of their aims. The volume will be of interest to a wide range of readers across (...) philosophy of mathematics, logic, and philosophy of language. (shrink)

This volume reprints a dozen of the author’s papers, most with substantial postscripts, and adds one new one. The bulk of the material is on topics in philosophy of language, but there are also two papers on philosophy of mathematics written after the appearance of the author’s collected papers on that subject, and one on epistemology. As to the substance of Field’s contributions, limitations of space preclude doing much more below than indicating the range of issues addressed, and the general (...) orientation taken towards them. As to the style of his writing, it well exhibits the first of the two virtues, clarity and conciseness, that one looks for in philosophical prose. (shrink)

The complexity of the set of truths of arithmetic is determined for various theories of truth deriving from Kripke and from Gupta and Herzberger.

The source, status, and significance of the derivation of the necessity of identity at the beginning of Kripke’s lecture “Identity and Necessity” is discussed from a logical, philosophical, and historical point of view.

The form of nominalism known as 'mathematical fictionalism' is examined and found wanting, mainly on grounds that go back to an early antinominalist work of Rudolf Carnap that has unfortunately not been paid sufficient attention by more recent writers.

A new axiomatization of set theory, to be called Bernays-Boolos set theory, is introduced. Its background logic is the plural logic of Boolos, and its only positive set-theoretic existence axiom is a reflection principle of Bernays. It is a very simple system of axioms sufficient to obtain the usual axioms of ZFC, plus some large cardinals, and to reduce every question of plural logic to a question of set theory.

Metasemantics comprises new work on the philosophical foundations of linguistic semantics, by a diverse group of established and emerging experts in the philosophy of language, metaphysics, and the theory of content. The science of semantics aspires to systematically specify the meanings of linguistic expressions in context. The paradigmatic metasemantic question is accordingly: what more basic or fundamental features of the world metaphysically determine these semantic facts? Efforts to answer this question inevitably raise others, including: where are the boundaries of semantics?; (...) what is the essence of the meaning relation?; which framework should we use for semantic theorizing?; and what are the intrinsic natures of semantic values? Metasemantic inquiry has long been recognized as a central part of the philosophy of language, but recent developments in metaphysics and semantics itself now allow us to approach these classic questions with an unprecedented degree of precision. The essays collected here provide promising new perspectives on old problems, pose questions that suggest novel research projects, and taken together, greatly sharpen our understanding of linguistic representation. (shrink)

Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.

The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be contained in S5, (...) and a more speculative argument for the claim that it does not include S4.2 is also presented. (shrink)

Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, _Naming and Necessity_, reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, several major essays have now appeared in print, most recently in his long-awaited collection _Philosophical Troubles_. In this book Kripke’s long-time colleague, the logician and philosopher John P. Burgess, offers a thorough and self-contained guide (...) to all of Kripke’s published books and his most important philosophical papers, old and new. It also provides an authoritative but non-technical account of Kripke’s influential contributions to the study of modal logic and logical paradoxes. Although Kripke has been anything but a system-builder, Burgess expertly uncovers the connections between different parts of his oeuvre. Kripke is shown grappling, often in opposition to existing traditions, with mysteries surrounding the nature of necessity, rule-following, and the conscious mind, as well as with intricate and intriguing puzzles about identity, belief and self-reference. Clearly contextualizing the full range of Kripke’s work, Burgess outlines, summarizes and surveys the issues raised by each of the philosopher’s major publications. _Kripke_ will be essential reading for anyone interested in the work of one of analytic philosophy’s greatest living thinkers. (shrink)

The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable.

Nominalism is the view that mathematical objects do not exist. This chapter delimits several types of nominalistic projects: revolutionary programs that attempt to change mathematics and hermeneutic programs that attempt to interpret mathematics. Some programs accord with naturalism, and some oppose naturalism. Steven Yablo’s fictionalism is brought into the fold and discussed at some length.

Perhaps if the future existed, concretely and individually, as something that could be discerned by a better brain, the past would not be so seductive: its demands would he balanced by those of the future. Persons might then straddle the middle stretch of the seesaw when considering this or that object. It might be fun. But the future has no such reality (as the pictured past and the perceived present possess); the future is but a figure of speech, a specter (...) of thought. (shrink)

Today there appears to be a widespread impression that W. V. Quine's notorious critique of modal logic, based on certain ideas about reference, has been successfully answered. As one writer put it some years ago: “His objections have been dead for a while, even though they have not yet been completely buried.” What is supposed to have killed off the critique? Some would cite the development of a new ‘possible-worlds’ model theory for modal logics in the 1960s; others, the development (...) of new ‘direct’ theories of reference for names in the 1970s.These developments do suggest that Quine's unfriendliness towards any formal logics but the classical and indifference towards theories of reference for any singular terms but variables were unfortunate. (shrink)

The research sought to determine the prevalence of Burnout Syndrome in health teachers at a university in north-eastern Peru. The universe was made up of 69 teachers, and 41 responded to the self-administered instrument called Maslach Burnout Inventory. The results show that 14.6% present this syndrome. The highest indicator was personal fulfillment, while depersonalization and emotional exhaustion were low. According to gender, in both it was similar. According to age group, it had a greater effect in ages between 36 and (...) 51 years. Marital status was more prevalent in singles. We conclude that the prevalence of Burnout Syndrome was low. (shrink)

One thousand stones, suitably arranged, might form a heap. If we remove a single stone from a heap of stones we still have a heap; at no point will the removal of just one stone make sufficient difference to transform a heap into something which is not a heap. But, if this is so, we still have a heap, even when we have removed the last stone composing our original structure. So runs the Sorites paradox. Similar paradoxes can be constructed (...) with any predicate which, like 'heap', displays borderline vagueness. Although I have frequently heard it said that there is no completely credible and satisfying dissolution of the paradoxes of the Sorites family; and although there is no possible approach to dissolution which has not been at least partially explored, philosophers continue glibly to use vague language as though it were entirely unproblematic. Since no argument has ever been produced which would justify our ignoring the para~doxes, this situation is extremely unsatisfactory. (shrink)

In placing education at the centre, as The Main Enterprise of the World, Philip Kitcher has undertaken a monumental task. He has come to the field of philosophy of education captivated by the importance of its substantive preoccupations for the advancement of democratic aims. Accordingly, his book argues that the most salient obstruction to preparing citizens who will contribute to society is the seeming irreconcilability of the demands of industry, on the one hand, and of students’ personal growth, on the (...) other. In spite of his desire to accommodate diverse accounts of the human good, and his recognition of the formative role of culture, broadly conceived, there are strains in his account of human fulfilment deriving from the disjunction of the self and others. It is not evident, on his Deweyan onto-epistemology, that there is adequate attention to the imprint on an individual, and on the beliefs they come to form, of proximal social groups. The nature of the balance between ‘in-group’ and ‘out-group’ influences, between those that are near and those that are far, can profoundly affect the plausibility of Kitcher's account of a socially based sense of fulfilment. (shrink)

Extant semantic theories for languages containing vague expressions violate intuition by delivering the same verdict on two principles of classical propositional logic: the law of noncontradiction and the law of excluded middle. Supervaluational treatments render both valid; many-Valued treatments, Neither. The core of this paper presents a natural deduction system, Sound and complete with respect to a 'mixed' semantics which validates the law of noncontradiction but not the law of excluded middle.

The potential use, relevance, and application of AI and other technologies in the democratic process may be obvious to some. However, technological innovation and, even, its consideration may face an intuitive push-back in the form of algorithm aversion (Dietvorst et al. J Exp Psychol 144(1):114–126, 2015). In this paper, I confront this intuition and suggest that a more ‘extreme’ form of technological change in the democratic process does not necessarily result in a worse outcome in terms of the fundamental concepts (...) of democracy and the Rule of Law. To provoke further consideration and illustrate that initial intuitions regarding democratic innovation may not always be accurate, I pose and explore four ways that AI and other forms of technology could be used to augment the representative democratic process. The augmentations range from voting online to the wholesale replacement of the legislature’s human representatives with algorithms. After first noting the intuition that less invasive forms of augmented democracy may be less objectionable than more extreme forms, I go on to critically assess whether the augmentation of existing systems satisfies or enhances ideas associated with democracy and the Rule of Law (provided by Dahl and Fuller). By imagining a (not too far-fetched) future in a (not too far-removed) democratic society, my conclusion is that, when it comes to democracy and the Rule of Law, intuitions regarding technology may lead us astray. (shrink)

The history behind the ‘Madagascar’ example of Gareth Evans is traced, suggesting that the decisive reference-shift occurred in the 16th, not the 17, century. The difference between this example and the ‘Gödel’ example of Saul Kripke is explained in terms of the distinction between de re and de dicto beliefs and intentions.

Quine correctly argues that Carnap's distinction between internal and external questions rests on a distinction between analytic and synthetic, which Quine rejects. I argue that Quine needs something like Carnap's distinction to enable him to explain the obviousness of elementary mathematics, while at the same time continuing to maintain as he does that the ultimate ground for holding mathematics to be a body of truths lies in the contribution that mathematics makes to our overall scientific theory of the world. Quine's (...) arguments against the analytic/synthetic distinction, even if fully accepted, still leave room for a notion of pragmatic analyticity sufficient for the indicated purpose. (shrink)

When I first began to take an interest in the debate over nominalism in philosophy of mathematics, some twenty-odd years ago, the issue had already been under discussion for about a half-century. The terms of the debate had been set: W. V. Quine and others had given “abstract,” “nominalism,” “ontology,” and “Platonism” their modern meanings. Nelson Goodman had launched the project of the nominalistic reconstruction of science, or of the mathematics used in science, in which Quine for a time had (...) joined him before turning against him. William Alston, Rudolf Carnap, and Michael Dummett had raised doubts about what the point of Goodman’s exercise could be, and though they had unfortunately been largely ignored, Quine’s contention that the exercise cannot be successfully completed had gained wide publicity as the so-called “indispensability” argument against nominalism. By contrast, two subtle discussions of Paul Benacerraf had been appropriated by nominalists and turned into the so-called “multiple reductions” and “epistemological” arguments for nominalism. (shrink)

Volume 19, Issue 5, May 2019, Page 24-26.