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)

Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...) issues pertaining to formalization in general. We start by introducing Carnap’s conception of explication, arguing that there is a tension between his proposed criteria of fruitfulness and similarity; we also argue that his further desideratum of exactness is less crucial than might appear at first. We then bring in the general idea of formalisms as cognitive tools, mainly by discussing the reliability of so-called statistical prediction rules, i.e. simple algorithms used to make predictions across a range of areas. SPRs allow for a concrete instantiation of Carnap’s fruitfulness desideratum, which is arguably the most important desideratum for him. Finally, we elaborate on what we call the ‘paradox of adequate formalization’, which for the Carnapian corresponds to the tension between similarity and fruitfulness. We conclude by noting that formalization is an inherently paradoxical enterprise in general, but one worth engaging in given the ‘cognitive boost’ it affords as a tool for discovery. (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)

It is well known that reductio ad absurdum arguments raise a number of interesting philosophical questions. What does it mean to assert something with the precise goal of then showing it to be false, i.e. because it leads to absurd conclusions? What kind of absurdity do we obtain? Moreover, in the mathematics education literature number of studies have shown that students find it difficult to truly comprehend the idea of reductio proofs, which indicates the cognitive complexity of these constructions. In (...) this paper, I start by discussing four philosophical issues pertaining to reductio arguments. I then briefly present a dialogical conceptualization of deductive arguments, according to which such arguments are best understood as a dialogue between two participants—Prover and Skeptic. Finally, I argue that many of the philosophical and cognitive difficulties surrounding reductio arguments are dispelled or at least further clarified once one adopts a dialogical perspective. (shrink)

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)

Dispositionality and qualitativity are key notions to describe the world that we inhabit. Dispositionality is a matter of what a thing is disposed to do in certain circumstances. Qualitativity is a matter of how a thing is like. According to the Identity Theory of powers, every fundamental property is at once dispositional and qualitative, or a powerful quality. Canonically, the Identity Theory holds a contentious identity claim between a property’s dispositionality and its qualitativity. In the literature, this view faces a (...) contradiction objection that undermines its merits. We should therefore consider an alternative version that does not embrace the identity claim. My aim is to show that we can enjoy the benefits of the Identity Theory without embracing the identity between the dispositional and the qualitative. I shall argue that a distinction between two senses of dispositionality and qualitativity serves the purpose. I will then discuss three readings of the identity claim that can be formulated in light of such a distinction. I will conclude that even if the identity were to fail in any of the suggested readings, it would be possible to hold an account of fundamental powerful qualities. (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)

I argue that the medieval form of dialectical disputation known as obligationes can be viewed as a logical game of consistency maintenance. The game has two participants, Opponent and Respondent. Opponent puts forward a proposition P; Respondent must concede, deny or doubt, on the basis of inferential relations between P and previously accepted or denied propositions, or, in case there is none, on the basis of the common set of beliefs. Respondent loses the game if he concedes a contradictory set (...) of propositions. Opponent loses the game if Respondent is able to maintain consistency during the stipulated period of time. The obligational rules are here formalised by means of familiar notational devices, and the application of some game-theoretical concepts, such as (winning) strategy, moves, motivation, allows for an analysis of some crucial properties of the game. In particular, the primacy of inferential (syntactic) relations over semantic aspects and the dynamic character of obligations are outlined. (shrink)

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)

Thomas Bradwardine makes much of the fact that his solution to the insolubles is in accordance with Aristotle's diagnosis of the fallacy in the Liar paradox as that of secundum quid et simpliciter. Paul Spade, however, claims that this invocation of Aristotle by Bradwardine is purely "honorary" in order to confer specious respectability on his analysis and give it a spurious weight of authority. Our answer to Spade follows Bradwardine's response to the problem of revenge: any proposition saying of itself (...) that it is false says more than does Bradwardine's proposition saying of it that it is false, and so follows from that other proposition only in respect of part of what it says, and not simpliciter. (shrink)

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)

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)

In [Dutilh Novaes, Medieval-obligations as logical Games of Consistency maintenance, synthese, (2004)], I proposed a reconstruction of Walter Burley’s theory of obligationes, based on the idea that Burley’s theory of obligationes could be seen as a logical game of consistency maintenance. In the present paper, I intend to test the game hypothesis on another important theory of obligationes, namely Roger Swyneshed’s theory. In his treatise on obligationes [edited by P.V. Spade, cf. Spade History and philosophy of Logic 3(1982) 1-32], (...) Swyneshed introduced significant modifications to the general framework of obligationes. To compare the two theories, I apply the same formal apparatus used in the previous paper. It will become patent that Swyneshed’s theory is considerably different from Burley’s, among other reasons because the dynamic aspects that play a major role in the latter are simply not present in the former. My conclusion is that Swyneshed’s version of obligationes is not directed towards consistency maintenance, but rather towards inference recognition, and that it is, from a game-theoretical perspective, less interesting a theory than Burley’s. (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)

Some fourteenth-century treatises on paradoxes of the liar family offer a promising starting-point for the formulation of full-fledged theories of truth with systematic relevance in their own right. In particular, Bradwardine's thesis that sentences typically say more than one thing gives rise to a quantificational approach to truth, and Buridan's theory of truth based on the notion of suppositio allows for remarkable metaphysical parsimony. Bradwardine's and Buridan's theories both have theoretical advantages, but fail to provide a satisfactory account of truth (...) because both are committed to the thesis, fatal for both, that every sentence signifies/implies its own truth. I close with remarks on Greg Restall's recent model-theoretic formalization of Bradwardine's theory of truth. (shrink)

Permutation invariance is often presented as the correct criterion for logicality. The basic idea is that one can demarcate the realm of logic by isolating specific entities—logical notions or constants—and that permutation invariance would provide a philosophically motivated and technically sophisticated criterion for what counts as a logical notion. The thesis of permutation invariance as a criterion for logicality has received considerable attention in the literature in recent decades, and much of the debate is developed against the background of ideas (...) put forth by Tarski in a 1966 lecture (Tarski 1966/1986). But as noted by Tarski himself in the lecture, the permutation invariance criterion yields a class of putative ‘logical constants’ that are essentially only sensitive to the number of elements in classes of individuals. Thus, to hold the permutation invariance thesis essentially amounts to limiting the scope of logic to quantificational phenomena, which is controversial at best and possibly simply wrong. In this paper, I argue that permutation invariance is a misguided approach to the nature of logic because it is not an adequate formal explanans for the informal notion of the generality of logic. In particular, I discuss some cases of undergeneration of the criterion, i.e. the fact that it excludes from the realm of logic operators that we have good reason to regard as logical, especially some modal operators. (shrink)

According to a widespread view in medieval scholarship, theories of supposition are the medieval counterparts of theories of reference, and are thus essentially extensional theories. I propose an alternative interpretation: theories of supposition are theories of properties of terms, but whose aim is to allow for the interpretation of sentences. This holds especially of Ockham’s supposition theory, which is the main object of analysis in this paper. In particular, I argue for my intensional interpretation of his theory on the basis (...) of two key-phrases in his Summa Logicae: ‘denotatur’ and ‘propositio est distinguenda’. Finally, I offer a reconstruction of his theory as a set of instructions to be carried out in order to generate the possible readings of (certain) sentences. (shrink)

Au cours des dernières décennies, les travaux portant sur les pratiques humaines réelles ont pris de l'importance dans différents domaines de la philosophie, sans pour autant atteindre une position dominante. À ce jour, ce type de tournant pratique n'a cependant pas encore pénétré la philosophie de la logique. En première partie, j'esquisse ce que serait une philosophie de la logique centrée sur l'étude des pratiques, en insistant en particulier sur sa pertinence et sur la manière de la conduire. En deuxième (...) partie, j'illustre cette approche centrée sur les pratiques au moyen d une étude de cas : le rôle joué par les langages formels en logique, en particulier dans les pratiques des logiciens. Ma thèse est que les langages formels jouent un rôle opératoire fondamental dans le travail des logiciens en tant que technologie pratique du crayon et du papier, génératrice de processus cognitifs - et qui plus spécifiquement vient contrebalancer certains de nos schémas cognitifs « spontanés » peu adéquats à la recherche en logique. Cette thèse sera appuyée sur des données empiriques venant de la recherche en psychologie du raisonnement. Avec cette analyse j'espère montrer qu'une philosophie de la logique centrée sur l'étude des pratiques peut être fructueuse, en particulier si elle est complétée par les réflexions méthodologiques nécessaires.In different subfields of philosophy, focus on actual human practices has been an important approach in recent decades. But so far, no such practice-based turn has yet taken place within the philosophy of logic. In the first part of the paper, I delineate what a practice-based philosophy of logic would look like, insisting in particular on why it can be relevant and how it is to be undertaken. In the second part, I illustrate the proposed practice-based approach by means of a case-study: the role played by formal languages in logic, in particular in the practices of logicians. I argue that formal languages play a fundamental operative role in the work of logicians, as a paper-and-pencil, hands-on technology triggering certain cognitive processes—more specifically, countering some of our more 'spontaneous' cognitive patterns which are not particularly suitable for research in logic. I substantiate these claims with empirical data from research in the psychology of reasoning. With this analysis, I hope to show that a practice-based philosophy of logic can be a fruitful enterprise, in particular if accompanied by much-needed methodological reflection. (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)

Fourteenth-century treatises on paradoxes of the liar family, especially Bradwardine's and Buridan's, raise issues concerning the meaning of sentences, in particular about closure of sentential meaning under implication, semantic pluralism and the ontological status of 'meanings', which are still topical for current theories of meaning. I outline ways in which they tend to be overlooked, raising issues that must be addressed by any respectable theory of meaning as well as pointing in the direction of possible answers. I analyse a Bradwardinian (...) theory of sentential meaning as it emerges from his treatment of liar sentences, exploring where it requires more thorough elaboration if it is to be a fully developed theory of sentential meaning. (shrink)

I propose to examine the issue of whether the ancient tradition in logic continued to be developed in the later medieval period from the vantage point of the relations between two specific groups of theories, namely the medieval theories of supposition and the (originally) ancient theories of fallacies. More specifically, I examine whether supposition theories absorbed and replaced theories of fallacies, or whether the latter continued to exist, with respect to one particular author, William of Ockham. I compare different parts (...) of Ockham's Summa Logicae, namely III-4 (on fallacies), and the final chapters of part I and first chapters of part II (on supposition). I conclude that there is overlap of conceptual apparatus and of goals (concerning propositions that must be distinguished) in Ockham's theories of supposition and of fallacies, but that the respective conceptual apparatuses also present substantial dissimilarities. Hence, theories of supposition are better seen as an addition to the general logical framework that medieval authors had inherited from ancient times, rather than the replacement of an ancient tradition by a medieval one. Indeed, supposition theories and fallacy theories had different tasks to fulfil, and in this sense both had their place in fourteenth century logic. (shrink)

In what follows, I analyze Ralph Strode's treatise on obligations. I have used a hitherto unpublished edition of the text (based on 14 manuscripts) made by Prof. E.J. Ashworth. I first give a brief description of Strode's text, which is all the more necessary given that it is not available to the average reader; I also offer a reconstruction of the rules proposed by Strode, following the style of reconstruction used in my analysis of Burley's and Swyneshed's rules elsewhere—that is, (...) essentially based on the idea that obligationes can be viewed as logical games. In the second part, I address Strode's explicit arguments contra Swyneshed. In the third part, I discuss Strode's epistemic and pragmatic approach to obligationes. (shrink)

In [Dutilh Novaes, Medieval-obligations as logical Games of Consistency maintenance, synthese, ], I proposed a reconstruction of Walter Burley's theory of "obligationes", based on the idea that Burley's theory of obligationes could be seen as a logical game of consistency maintenance. In the present paper, I intend to test the game hypothesis on another important theory of "obligationes", namely Roger Swyneshed's theory. In his treatise on "obligationes" [edited by P.V. Spade, cf. Spade History and philosophy of Logic 3 1-32], (...) Swyneshed introduced significant modifications to the general framework of "obligationes". To compare the two theories, I apply the same formal apparatus used in the previous paper. It will become patent that Swyneshed's theory is considerably different from Burley's, among other reasons because the dynamic aspects that play a major role in the latter are simply not present in the former. My conclusion is that Swyneshed's version of "obligationes" is not directed towards consistency maintenance, but rather towards inference recognition, and that it is, from a game-theoretical perspective, less interesting a theory than Burley's. (shrink)

In earlier work, I have presented an interpretation of Obligationes as logical games of consistency maintenance; this interpretation has some advantages, in particular that of capturing the multi-agent, goal-oriented, rule-governed nature of the enterprise by means of the game analogy. But it has as its main limitation the fact that it does not provide a satisfactory account of the deontic aspect of the framework—i.e. of what being obliged to a certain statement consists in. In order to remedy this shortcoming, this (...) paper argues for the more encompassing thesis that Obligationes can be viewed as a theory of rational dialogical practices, in particular concerning the management of one's discursive commitments. The main inspiration for this interpretation comes from R. Brandom's inferentialist, normative pragmatism, but more generally, it relies heavily on a dialogical conception of logic. I argue that it offers a more compelling account of several aspects of the obligational framework, in particular the role of doubting responses and the ubiquity of obligational vocabulary in the context of scientific discourse in the medieval tradition. (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)

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

Elqayam & Evans' (E&E's) critique of normativism is related to an inherently philosophical question: Is thinking a normative affair? Should thinking be held accountable towards certain norms? I present the historical and philosophical origins of the view that thinking belongs to the realm of normativity and has a tight connection with logic, stressing the pivotal role of Kant in these developments.

This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)

In the fields of linguistics and psychology the didactic implementation of new knowledge relative to argumentative discourse and its acquisition has led us to develop a didactic sequence focused on the teaching of argumentation in 11–12 year old pupils. This sequence was experimented in six schools in order to assess the effect of these new educational methods on the capacities of pupils to treat the dialogic dimensions of argumentation in the writing of monologues. An analysis of the productions of the (...) puils who had been submitted to the didactic sequence, compared with those of a control group, showed a significant improvement in the capacities of the first group. These improvements concerned aspects such as backing up arguments, acknowledging the addressee, negotiating with an eventual contradictor and using of a certain number of units and linguistic expressions t specific to argumentative texts (expressions of responsability taking, textual organisers of cause and conclusion, modalisations of probability and of certitude, concessions and polite expressions). (shrink)

Catarina Dutilh Novaes - Johannes Buridanus: Summulae de Propositionibus - Journal of the History of Philosophy 45:1 Journal of the History of Philosophy 45.1 155-156 Muse Search Journals This Journal Contents Reviewed by Catarina Dutilh Novaes Fordham University Ria van der Lecq, editor. Johannes Buridanus: Summulae de Propositionibus. Artistarium 10–1. Turnhout: Brepols, 2005. Pp. xxv + 131. Paper, €40.00. John Buridan is now believed to be among the most influential later medieval philosophers, his philosophical analyses showing considerable acumen (...) over a wide range of fields. His logical masterpiece, the lengthy Summulae de Dialectica is composed of eight treatises, plus a treatise on.. (shrink)

Catarina Dutilh Novaes on why we should dig into the cosmopolitan roots of logic.

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)

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)