Most models of response time (RT) in elementary cognitive tasks implicitly assume that the speed-accuracy trade-off is continuous: When payoffs or instructions gradually increase the level of speed stress, people are assumed to gradually sacrifice response accuracy in exchange for gradual increases in response speed. This trade-off presumably operates over the entire range from accurate but slow responding to fast but chance-level responding (i.e., guessing). In this article, we challenge the assumption of continuity and propose a phase transition model for (...) RTs and accuracy. Analogous to the fast guess model (Ollman, 1966), our model postulates two modes of processing: a guess mode and a stimulus-controlled mode. From catastrophe theory, we derive two important predictions that allow us to test our model against the fast guess model and against the popular class of sequential sampling models. The first prediction—hysteresis in the transitions between guessing and stimulus-controlled behavior—was confirmed in an experiment that gradually changed the reward for speed versus accuracy. The second prediction—bimodal RT distributions—was confirmed in an experiment that required participants to respond in a way that is intermediate between guessing and accurate responding. (shrink)

The replicability of findings in experimental psychology can be improved by distinguishing sharply between hypothesis-generating research and hypothesis-testing research. This distinction can be achieved by preregistration, a method that has recently attracted widespread attention. Although preregistration is fair in the sense that it inoculates researchers against hindsight bias and confirmation bias, preregistration does not allow researchers to analyze the data flexibly without the analysis being demoted to exploratory. To alleviate this concern we discuss how researchers may conduct blinded analyses. As (...) with preregistration, blinded analyses break the feedback loop between the analysis plan and analysis outcome, thereby preventing cherry-picking and significance seeking. However, blinded analyses retain the flexibility to account for unexpected peculiarities in the data. We discuss different methods of blinding, offer recommendations for blinding of popular experimental designs, and introduce the design for an online blinding protocol. (shrink)

Public engagement is one of the fundamental pillars of the European programme for research and innovation _Horizon 2020_. The programme encourages engagement that not only fosters science education and dissemination, but also promotes two-way dialogues between scientists and the public at various stages of research. Establishing such dialogues between different groups of societal actors is seen as crucial in order to attain epistemic as well as social desiderata at the intersection between science and society. However, whether these dialogues can actually (...) help attaining these desiderata is far from obvious. This paper discusses some of the costs, risks, and benefits of dialogical public engagement practices, and proposes a strategy to analyse these argumentative practices based on a three-tiered model of epistemic exchange. As a case study, we discuss the phenomenon of vaccine hesitancy, arguably a result of suboptimal public engagement, and show how the proposed model can shed new light on the problem. (shrink)

This comprehensive account of the concept and practices of deduction is the first to bring together perspectives from philosophy, history, psychology and cognitive science, and mathematical practice. Catarina Dutilh Novaes draws on all of these perspectives to argue for an overarching conceptualization of deduction as a dialogical practice: deduction has dialogical roots, and these dialogical roots are still largely present both in theories and in practices of deduction. Dutilh Novaes' account also highlights the deeply human and in fact (...) social nature of deduction, as embedded in actual human practices; as such, it presents a highly innovative account of deduction. The book will be of interest to a wide range of readers, from advanced students to senior scholars, and from philosophers to mathematicians and cognitive scientists. (shrink)

A distinction often drawn is one between conservative versus revisionary conceptions of philosophical analysis with respect to commonsensical beliefs and intuitions. This paper offers a comparative investigation of two revisionary methods: Carnapian explication and ameliorative analysis as developed by S. Haslanger. It is argued that they have a number of common features, and in particular that they share a crucial political dimension: they both have the potential to serve as instrument for social reform. Indeed, they may produce improved versions of (...) key concepts of everyday life, for example those pertaining to social categories such as gender and race, which in turn may lead to social change. The systematic comparison of these two frameworks offered here, where similarities as well as differences are discussed, is likely to provide useful guidance to practitioners of both approaches, as it will highlight important aspects of each of them that tend to remain implicit and under-theorized in existing applications of these methodologies to specific questions. (shrink)

Deleuze and Guattari differentiate between philosophy, science, and the arts - seeing each as a means of confronting chaos - and challenge the common view that philosophy is an extension of logic. The authors also discuss the similarities and distinctions between creative and philosophical writing. Fresh anecdotes from the history of philosophy illuminate this book, along with engaging discussions of composers, painters, writers, and architects.

We investigate the philosophical significance of the existence of different semantic systems with respect to which a given deductive system is sound and complete. Our case study will be Corcoran's deductive system D for Aristotelian syllogistic and some of the different semantic systems for syllogistic that have been proposed in the literature. We shall prove that they are not equivalent, in spite of D being sound and complete with respect to each of them. Beyond the specific case of syllogistic, the (...) goal is to offer a general discussion of the relations between informal notions—in this case, an informal notion of deductive validity—and logical apparatuses such as deductive systems and (model-theoretic or other) semantic systems that aim at offering technical, formal accounts of informal notions. Specifically, we will be interested in Kreisel's famous 'squeezing argument'; we shall ask ourselves what a plurality of semantic systems (understood as classes of mathematical structures) may entail for the cogency of specific applications of the squeezing argument. More generally, the analysis brings to the fore the need for criteria of adequacy for semantic systems based on mathematical structures. Without such criteria, the idea that the gap between informal and technical accounts of validity can be bridged is put under pressure. (shrink)

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this. Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use actually has. In this book, Catarina Dutilh Novaes adopts a much wider conception of formal languages so as to investigate more broadly what exactly is going on when theorists put these (...) tools to use. She looks at the history and philosophy of formal languages and focuses on the cognitive impact of formal languages on human reasoning, drawing on their historical development, psychology, cognitive science and philosophy. Her wide-ranging study will be valuable for both students and researchers in philosophy, logic, psychology and cognitive and computer science. (shrink)

The essays in this book present a complex theme at the heart of the philosophy of Gilles Deleuze, what in his last writing he called simply "a life." They capture a problem that runs throughout his work--his long search for a new and superior empiricism. Announced in his first book, on David Hume, then taking off with his early studies of Nietzsche and Bergson, the problem of an "empiricist conversion" became central to Deleuze's work, in particular to his aesthetics (...) and his conception of the art of cinema. In the new regime of communication and information-machines with which he thought we are confronted today, he came to believe that such a conversion, such an empiricism, such a new art and will-to-art, was what we need most. The last, seemingly minor question of "a life" is thus inseparable from Deleuze's striking image of philosophy not as a wisdom we already possess, but as a pure immanence of what is yet to come. Perhaps the full exploitation of that image, from one of the most original trajectories in contemporary philosophy, is also yet to come. (shrink)

Praised for its rare combination of scholarly rigor and imaginative interpretation, _Nietzsche and Philosophy_ has long been recognized as one of the most important analyses of Nietzsche. It is also one of the best introductions to Deleuze's thought, establishing many of his central philosophical positions. In _Nietzsche and Philosophy_, Deleuze identifies and explores three crucial concepts in Nietzschean thought-multiplicity, becoming, and affirmation-and clarifies Nietzsche's views regarding the will to power, eternal return, nihilism, and difference. For Deleuze, Nietzsche challenged conventional philosophical (...) ideas and provided a means of escape from Hegel's dialectical thinking, which had come to dominate French philosophy. He also offered a path toward a politics of difference. In this new edition, Michael Hardt's foreword examines the profound influence of Deleuze's provocative interpretations on the study of Nietzsche, which opened a whole new avenue in postwar thought. (shrink)

The paper argues that much of the difficulty with making progress on the issue of the normativity of logic for thought, as discussed in the literature, stems from a misapprehension of what logic is normative for. The claim is that, rather than mono-agent mental processes, logic in fact comprises norms for quite specific situations of multi-agent dialogical interactions, in particular special forms of debates. This reconceptualization is inspired by historical developments in logic and mathematics, in particular the pervasiveness of such (...) dialogical conceptions in the early days of logic in ancient Greece. The multi-agent, dialogical perspective then allows for the formulation of compelling 'bridge principles’ between the relation of logical consequence and dialogical normative principles, something that is notoriously difficult to achieve in a mono-agent setting pertaining exclusively to thought and belief. The upshot is also that the truth-preserving rules of logic generally do not have a primary normative bearing on mono-agent mental processes, and in this sense the paper sides with Harman's critique of the idea that logic has a normative import for thought and belief. (shrink)

Of fundamental importance to literary critics and philosophers, Difference and Repetition develops two central concepts -- pure difference and complex ...

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

What does it mean to say that logic is formal? The short answer is: it means (or can mean) several different things. In this paper, I argue that there are (at least) eight main variations of the notion of the formal that are relevant for current discussions in philosophy and logic, and that they are structured in two main clusters, namely the formal as pertaining to forms, and the formal as pertaining to rules. To the first cluster belong the formal (...) as schematic; the formal as indifference to particulars; the formal as topic-neutrality; the formal as abstraction from intentional content; the formal as de-semantification. To the second cluster belong the formal as computable; the formal as pertaining to regulative rules; the formal as pertaining to constitutive rules. I analyze each of these eight variations, providing their historical background and raising related philosophical questions. The significance of this work of ?conceptual archeology? is that it may enhance clarity in debates where the notion of the formal plays a prominent role (such as debates where it is expected to play a demarcating role), but where it is oftentimes used equivocally and/or imprecisely. (shrink)

At last available in paperback, this book anticipates and explains the post-structuralist turn to empiricism. Presenting a challenging reading of David Hume's philosophy, the work is invaluable for understanding the progress of Deleuze's thought.

Two periods in the history of logic and philosophy are characterized notably by vivid interest in self-referential paradoxical sentences in general, and Liar sentences in particular: the later medieval period (roughly from the 12th to the 15th century) and the last 100 years. In this paper, I undertake a comparative taxonomy of these two traditions. I outline and discuss eight main approaches to Liar sentences in the medieval tradition, and compare them to the most influential modern approaches to such sentences. (...) I also emphasize the aspects of each tradition that find no counterpart in the other one. It is expected that such a comparison may point in new directions for future research on the paradoxes; indeed, the present analysis allows me to draw a few conclusions about the general nature of Liar sentences, and to identify aspects that would require further investigation. (shrink)

New to this edition is Deleuze's essay "Pericles and Verdi," which reflects on politics and historical materialism in the work of the influential French ...

Genealogical anxiety is the worry that the origins of beliefs, once revealed to be influenced by “irrelevant” factors such as personal histories and circumstances of upbringing, will undermine or cast doubt on those beliefs. Discussions on these irrelevant influences in the epistemological literature have so far primarily focused on their contingency. But there is another issue that merits further examination: the fact that epistemic environments condition beliefs suggests that epistemic agency is significantly curtailed. I present a model of belief-forming processes (...) that highlights how networks of attention and trust/distrust influence these processes. The model suggests that, while there is a lot happening beyond our control that shapes what we come to believe, we still retain some degree of agency to the extent that we can rewire our networks of attention and trust/distrust. I conclude that, surprisingly, genealogical anxiety may in fact increase agency insofar as it may encourage critical resistance. (shrink)

Plato famously promised to complement the Sophist and the Statesman with another work on a third sort of expert, the philosopher--but we do not have this final dialogue. Mary Louise Gill argues that Plato promised the Philosopher, but did not write it, in order to stimulate his audience and encourage his readers to work out, for themselves, the portrait it would have contained. The Sophist and Statesman are themselves members of a larger series starting with the Theaetetus, Plato's investigation of (...) knowledge, and the whole series relies on the Parmenides, the second part of which presents a philosophical exercise, introduced as the first step in a larger philosophical program. Gill contends that the dialogues leading up to the missing Philosopher, though they reach some substantive conclusions, are philosophical exercises of various sorts designed to train students in dialectic, the philosopher's method; and that a second version of the Parmenides exercise, closely patterned on it, spans parts of the Theaetetus and Sophist and brings the philosopher into view. This is the exercise about being, the subject-matter studied by Plato's philosopher. Plato hides the pieces of the puzzle and its solution in plain sight, forcing his students (and modern readers) to dig out the pieces and reconstruct the project. Gill reveals how, in finding the philosopher through the exercise, the student becomes a philosopher by mastering his methods. She shows that the target of Plato's exercise is internally related to its pedagogical purpose. (shrink)

This brilliant exposition of the critique of identity is a classic in contemporary philosophy and one of Deleuze's most important works. Of fundamental importance to literary critics and philosophers,Difference and Repetition develops two central concepts—pure difference and complex repetition&mdasha;and shows how the two concepts are related. While difference implies divergence and decentering, repetition is associated with displacement and disguising. Central in initiating the shift in French thought away from Hegel and Marx toward Nietzsche and Freud, _Difference and Repetition_ moves deftly (...) to establish a fundamental critique of Western metaphysics. (shrink)

The paper investigates the propriety of applying the form versus matter distinction to arguments and to logic in general. Its main point is that many of the currently pervasive views on form and matter with respect to logic rest on several substantive and even contentious assumptions which are nevertheless uncritically accepted. Indeed, many of the issues raised by the application of this distinction to arguments seem to be related to a questionable combination of different presuppositions and expectations; this holds in (...) particular of the vexed issue of demarcating the class of logical constants. I begin with a characterization of currently widespread views on form and matter in logic, which I refer to as 'logical hylomorphism as we know it'—LHAWKI, for short—and argue that the hylomorphism underlying LHAWKI is mereological. Next, I sketch an overview of the historical developments leading from Aristotelian, non-mereological metaphysical hylomorphism to mereological logical hylomorphism (LHAWKI). I conclude with a reassessment of the prospects for the combination of hylomorphism and logic, arguing in particular that LHAWKI is not the only and certainly not the most suitable version of logical hylomorphism. In particular, this implies that the project of demarcating the class of logical constants as a means to define the scope and nature of logic rests on highly problematic assumptions. (shrink)

Suggests an open system of psychological exploration to cut through accepted norms of morality, language, and politics.

French journalist Claire Parnet's famous dialogues with Gilles Deleuze offer an intimate portrait of the philosopher's life and thought. Conversational in tone, their engaging discussions delve deeply into Deleuze's philosophical background and development, the major concepts that shaped his work, and the essence of some of his famous relationships, especially his long collaboration with the philosopher Félix Guattari. Deleuze reconsiders Spinoza, empiricism, and the stoics alongside literature, psychoanalysis, and politics. He returns to the notions of minor literature, deterritorialization, the (...) critical and clinical, and begins a nascent study of cinema. New to this edition is Deleuze's essay "Pericles and Verdi," which reflects on politics and historical materialism in the work of the influential French philosopher François Châtelet. An enduring record of Deleuze's unique personality and profound contributions to culture and philosophy, _Dialogues II_ is a highly personable account of the evolution of one of the greatest critics and theorists of the twentieth century. (shrink)

I examine the theory of consequentia of the medieval logician, John Buridan. Buridan advocates a strict commitment to what we now call proposition-tokens as the bearers of truth-value. The analysis of Buridan's theory shows that, within a token-based semantics, amendments to the usual notions of inference and consequence are made necessary, since pragmatic elements disrupt the semantic behaviour of propositions. In my reconstruction of Buridan's theory, I use some of the apparatus of modern two-dimensional semantics, such as two-dimensional matrices and (...) the distinction between the context of formation and the context of evaluation of utterances. (shrink)

Until recently, cognitive science focused on such mental functions as problem solving, grammar, and pattern-the functions in which the human mind most closely resembles a computer. But humans are more than computers: we invent new meanings, imagine wildly, and even have ideas that have never existed before. Today the cutting edge of cognitive science addresses precisely these mysterious, creative aspects of the mind.The Way We Think is a landmark analysis of the imaginative nature of the mind. Conceptual blending is already (...) widely known in research laboratories throughout the world; this book, written to be accessible to both lay readers and interested scientists, is its definitive statement. Gilles Fauconnier and Mark Turner show that conceptual blending is the root of the cognitively modern human mind, and that conceptual blends themselves are continually combined and reblended to create the rich mental fabric in which we live.The Way We Think shows how this blending operates; how it is affected by (and gives rise to) language, identity, culture, and invention; and how we imagine what could be and what might have been. The result is a bold and exciting new view of how the mind works. (shrink)

This volume, the first dedicated and comprehensive companion to medieval logic, covers both the Latin and the Arabic traditions, and shows that they were in fact sister traditions, which both arose against the background of a Hellenistic heritage and which influenced one another over the centuries. A series of chapters by both established and younger scholars covers the whole period including early and late developments, and offers new insights into this extremely rich period in the history of logic. The volume (...) is divided into two parts, 'Periods and Traditions' and 'Themes', allowing readers to engage with the subject from both historical and more systematic perspectives. It will be a must-read for students and scholars of medieval philosophy, the history of logic, and the history of ideas. (shrink)

We investigate the relations among Brandom’s three dimensions of semantic inferential articulation, namely, incompatibility entailments, committive consequences, and permissive consequences. In his unpublished manuscript “Conceptual Content and Discursive Practice” Brandom argues that (1) incompatibility entailment implies committive consequence, and that (2) committive consequence in turn implies permissive consequence. We criticize this hierarchy both on internal and external grounds. Firstly, we prove that, using Brandom’s own definitions, the reverse of (1) also holds, and that the reverse of (2) may hold (but (...) the proof relies on substantive assumptions). This suggests that there are no three different notions of inference emerging from Brandom’s definitions, but at most two, and perhaps even just one. Secondly, this result puts into question the connections between the three inferential relations and the familiar notions of deduction and induction. (shrink)

The Gendered Cyborg brings together material from a variety of disciplines that analyze the relationship between gender and technoscience, and the way that this relationship is represented through ideas, language and visual imagery. The book opens with key feminist articles from the history and philosophy of science. They look at the ways that modern scientific thinking has constructed oppositional dualities such as objectivity/subjectivity, human/machine, nature/science, and male/female, and how these have constrained who can engage in science/technology and how they have (...) limited our ideas of the possibilities for both humanity and science. Later sections contain readings that present key feminist theories about representation to examine how gender and technoscience are represented in areas of particular contemporary interest: the new human reproductive technologies, science fiction, film and the Internet. The readings constantly ask "Is this for women, for human beings?" Contributors: Alison Adam, Anne Balsamo, Lynda K. Bundtzen, Barbara Creed, Mary Ann Doane, Dion Farquhar, Jennifer González, Evelynn M. Hammonds, Donna Haraway, Fiona Hovenden, Luce Irigaray, Linda Janes, Gill Kirkup, Nina Lykke, Sadie Plant, Rosalind Pollack Perchesky, Londa Schiebinger, Vivian Sobchack, Deborah Lynn Steinberg, Nancy Leys Stepan, Nina Wakeford, Kathryn Woodward. (shrink)

In describing numerosity as “a kind of ersatz number,” Clarke and Beck fail to consider a familiar and compelling definition of numerosity, which conceptualizes numerosity as the cognitive counterpart of the mathematical concept of cardinality; numerosity is the magnitude, whereas number is a scale through which numerosity/cardinality is measured. We argue that these distinctions should be considered.

Overdoing Democracy is an important contribution to the literature on (deliberative) democracy, as it offers a sobering diagnosis of the risks and pitfalls of (overdoing) democracy in the form of internal critique. But the book does not go far enough in its diagnosis because it is not sufficiently critical towards some of the basic assumptions of deliberative conceptions of democracy. In particular, Talisse does not sufficiently attend to the inevitable power struggles in a society, where different groups and individuals must (...) protect their own (often conflicting) interests instead of working towards a ‘common good.’ In this essay, I contrast two different visions of democracy and politics, one based on ideals of consensus and cooperation, and another on the inevitability of perennial conflict. I then briefly present an alternative to deliberative conceptions of democracy that has gained traction in recent decades, known as agonism. Next, I offer a short reconstruction of Talisse’s proposal, and finally I sketch a critical assessment of some of his main claims and assumptions from an agonistic perspective. (shrink)

Can arguments change minds? Philosophers like to think that they can. However, a wealth of empirical evidence suggests that arguments are not very efficient tools to change minds. What to make of the different assessments of the mind-changing potential of arguments? To address this issue, we must take into account the broader contexts in which arguments occur, in particular the propagation of messages across networks of attention, and the choices that epistemic agents must make between alternative potential sources of content (...) and information, which are very much influenced by perceptions of reliability and trustworthiness. Arguments can change minds, but only under conducive, favourable socio-epistemic conditions. (shrink)

In the scholarship on medieval logic and semantics of the last decades, Ockham’s theory of supposition is probably the most extensively studied version of such theories; yet, it seems that we still do not fully understand all its intricacies. In this paper, I focus on a phrase that occurs countless times throughout Ockham’s writings, but in particular in the sections dedicated to supposition in the Summa logicae: the phrase ‘denotatur’. I claim that an adequate understanding of the role of the (...) concept of denotatur within Ockham’s supposition theory shall yield a deeper understanding of the theory as a whole. Here, I first examine a few uses of the term ‘denotatur’ and its variants by other authors. I then turn to Ockham: first I briefly mention some uses of the term in contexts other than his theory of supposition. Following that, I focus on his supposition theory, in particular on how ‘denotatur’ allows him to deal with two crucial puzzles, namely the supposition of empty terms and the supposition of terms in false affirmative propositions. The treatment of these two puzzles suggests that Ockham’s theory of supposition must be understood as a theory chiefly intended for the generation of the meanings of propositions. (shrink)

FOIS is the flagship conference of the International Association for Ontology and its Applications, a non-profit organization which promotes interdisciplinary research and international collaboration at the intersection of philosophical ontology, linguistics, logic, cognitive science, and computer science. This book presents the papers delivered at FOIS 2023, the 13th edition of the Formal Ontology in Information Systems conference. The event was held as a sequentially-hybrid event, face-to-face in Sherbrooke, Canada, from 17 to 20 July 2023, and online from 18 to 20 (...) September 2023. In total, 62 articles from 19 different countries were submitted, out of which 25 were accepted for inclusion in the conference and for publication; corresponding to an acceptance rate of 40 percent. The contributions are separated into the book’s three sections: (1) Foundational ontological issues; (2) Methodological issues around the development, alignment, verification and use of ontologies; and (3) Domain ontologies and ontology-based applications. In these sections, ontological aspects from a wide variety of fields are covered, primarily from various engineering domains including cybersecurity, manufacturing, petroleum engineering, and robotics, but also extending to the humanities, social sciences, medicine, and dentistry. A noticeable trend among the contributions in this edition of the conference is the recognition that improving the tools to analyze, align, and improve ontologies is of paramount importance in continuing to advance the field of formal ontology. The book will be of interest to all formal and applied ontology researchers, and to those who use formal ontologies and information systems as part of their work. (shrink)

It is often remarked that first-order Peano Arithmetic is non-categorical but deductively well-behaved, while second-order Peano Arithmetic is categorical but deductively ill-behaved. This suggests that, when it comes to axiomatizations of mathematical theories, expressive power and deductive power may be orthogonal, mutually exclusive desiderata. In this paper, I turn to Hintikka’s :69–90, 1989) distinction between descriptive and deductive approaches in the foundations of mathematics to discuss the implications of this observation for the first-order logic versus second-order logic divide. The descriptive (...) approach is illustrated by Dedekind’s ‘discovery’ of the need for second-order concepts to ensure categoricity in his axiomatization of arithmetic; the deductive approach is illustrated by Frege’s Begriffsschrift project. I argue that, rather than suggesting that any use of logic in the foundations of mathematics is doomed to failure given the impossibility of combining the descriptive approach with the deductive approach, what this apparent predicament in fact indicates is that the first-order versus second-order divide may be too crude to investigate what an adequate axiomatization of arithmetic should look like. I also conclude that, insofar as there are different, equally legitimate projects one may engage in when working on the foundations of mathematics, there is no such thing as the One True Logic for this purpose; different logical systems may be adequate for different projects. (shrink)

"Gill's and Ryan's Parmenides is, simply, superb: the Introduction, more than a hundred pages long, is transparently clear, takes the reader meticulously through the arguments, avoids perverseness, and still manages to make sense of the dialogue as a whole; there is a fine selective bibliography; and those parts of the translation I have looked at in detail suggest that it too is very good indeed." --Christopher Rowe, _Phronesis_.

On the basis of passages from John Buridan's Summula Suppositionibus and Sophismata, E. Karger has reconstructed what could be called the 'Buridanian theory of inferential relations between doubly quantified propositions', presented in her 1993 article 'A theory of immediate inference contained in Buridan's logic'. In the reconstruction, she focused on the syntactical elements of Buridan's theory of modes of personal supposition to extract patterns of formally valid inferences between members of a certain class of basic categorical propositions. The present study (...) aims at offering semantic corroboration 'a proof of soundness' to the inferential relations syntactically identified by E. Karger, by means of the analysis of Buridan's semantic definitions of the modes of personal supposition. The semantic analysis is done with the help of some modern logical concepts, in particular that of the model. In effect, the relations of inference syntactically established are shown to hold also from a semantic point of view, which means thus that this fragment of Buridan's logic can be said to be sound. (shrink)

This book, which presents Spinoza's main ideas in dictionary form, has as its subject the opposition between ethics and morality, and the link between ethical ...

A range of formal models of human reasoning have been proposed in a number of fields such as philosophy, logic, artificial intelligence, computer science, psychology, cognitive science, etc.: various logics, probabilistic systems, belief revision systems, neural networks, among others. Now, it seems reasonable to require that formal models of human reasoning be empirically adequate if they are to be viewed as models of the phenomena in question. How are formal models of human reasoning typically put to empirical test? One way (...) to do so is to isolate a number of key principles of the system, and design experiments to gauge the extent to which participants do or do not follow them in reasoning tasks. Another way is to take relevant existing results and check whether a particular formal model predicts these results. The present investigation provides an illustration of the second kind of empirical testing by comparing two formal models for reasoning – namely the non-monotonic logic known as preferential logic; and a particular version of belief revision theories, screened belief revision – against the reasoning phenomenon known as belief bias in the psychology of reasoning literature: human reasoners typically seek to maintain the beliefs they already hold, and conversely to reject contradicting incoming information. The conclusion of our analysis will be that screened belief revision is more empirically adequate with respect to belief bias than preferential logic and non-monotonic logics in general, as what participants seem to be doing is above all a form of belief management on the basis of background knowledge. The upshot is thus that, while it may offer valuable insights into the nature of human reasoning, preferential logic is ultimately inadequate as a formal model of the phenomena in question. (shrink)

A range of formal models of human reasoning have been proposed in a number of fields such as philosophy, logic, artificial intelligence, computer science, psychology, cognitive science, etc.: various logics, probabilistic systems, belief revision systems, neural networks, among others. Now, it seems reasonable to require that formal models of human reasoning be empirically adequate if they are to be viewed as models of the phenomena in question. How are formal models of human reasoning typically put to empirical test? One way (...) to do so is to isolate a number of key principles of the system, and design experiments to gauge the extent to which participants do or do not follow them in reasoning tasks. Another way is to take relevant existing results and check whether a particular formal model predicts these results. The present investigation provides an illustration of the second kind of empirical testing by comparing two formal models for reasoning – namely the non-monotonic logic known as preferential logic; and a particular version of belief revision theories, screened belief revision – against the reasoning phenomenon known as belief bias in the psychology of reasoning literature: human reasoners typically seek to maintain the beliefs they already hold, and conversely to reject contradicting incoming information. The conclusion of our analysis will be that screened belief revision is more empirically adequate with respect to belief bias than preferential logic and non-monotonic logics in general, as what participants seem to be doing is above all a form of belief management on the basis of background knowledge. The upshot is thus that, while it may offer valuable insights into the nature of human reasoning, preferential logic is ultimately inadequate as a formal model of the phenomena in question. (shrink)

In this extraordinary work Gilles Deleuze reflects on one of the figures of the past who has most influenced his own sweeping reconfiguration of the tasks of philosophy.

Considered one of the most important works of one of France's foremost philosophers, and long-awaited in English, "The Logic Of Sense" is an essay in literary and psychoanalytic theory, and philosophy, and helps to illuminate such works as "Anti-Oedipus".

Examines the philosophical foundations of Foucault's writings and discusses his views on knowledge, punishment, power, and subjectivation.