In this short paper we analyse some paradoxical aspects of France’s Foucauldian heritage: while several French scholars claim the COVID-19 pandemic is a perfect example of what Foucault called biopolitics, popular reaction instead suggests a biopolitical failure on the part of the government; One of these failures concerns the government’s inability to produce reliable biostatistical data, especially regarding health inequalities in relation to COVID-19. We interrogate whether Foucaldianism contributed, in the past as well today, towards a certain myopia in France (...) regarding biostatistics and its relation to social inequalities in health. One might ask whether this very data could provide an appropriate response to the Foucauldian question: What kind of governance of life is the pandemic revealing to us? (shrink)

This pioneering book demonstrates the crucial importance of Wittgenstein's philosophy of mathematics to his philosophy as a whole. Marion traces the development of Wittgenstein's thinking in the context of the mathematical and philosophical work of the times, to make coherent sense of ideas that have too often been misunderstood because they have been presented in a disjointed and incomplete way. In particular, he illuminates the work of the neglected 'transitional period' between the Tractatus and the Investigations.

In this paper, we provide a detailed critical review of current approaches to ecthesis in Aristotle’s Prior Analytics, with a view to motivate a new approach, which builds upon previous work by Marion & Rückert (2016) on the dictum de omni. This approach sets Aristotle’s work within the context of dialectic and uses Lorenzen’s dialogical logic, hereby reframed with use of Martin-Löf's constructive type theory as ‘immanent reasoning’. We then provide rules of syllogistic for the latter, and provide proofs (...) of e-conversion, Darapti and Bocardo and e-subalternation, while showing how close to Aristotle’s text these proofs remain. (shrink)

The development of symbolic logic is often presented in terms of a cumulative story of consecutive innovations that led to what is known as modern logic. This narrative hides the difficulties that this new logic faced at first, which shaped its history. Indeed, negative reactions to the emergence of the new logic in the second half of the nineteenth century were numerous and we study here one case, namely logic at Oxford, where one finds Lewis Carroll, a mathematical teacher who (...) promoted symbolic logic, and John Cook Wilson, the Wykeham Professor of Logic who notoriously opposed it. An analysis of their disputes on the topic of logical symbolism shows that their opposition was not as sharp as it might look at first, as Cook Wilson was not so much opposed to the « symbolic » character of logic, but the intrusion of mathematics and what he perceived to be the futility of some of its problems, for logicians and philosophers alike. (shrink)

According to the realist, the meaning of a declarative, non-indexical sentence is the condition under which it is true and the truth-condition of an undecidable sentence can obtain or fail to obtain independently of our capacity, even in principle, to recognize that it obtains or that fails to do so.1 In a series of papers, beginning with “Truth” in 1959, Michael Dummett challenged the position that the classical notion of truth-condition occupied as the central notion of a theory of meaning, (...) and proposed that it should be replaced by the anti-realist (and intuitionistic) notion of assertability-condition. Taken together with normalization results obtained by Dag Prawitz, Dummett’s work truly opened up the anti-realist challenge at the level of proof-theoretical semantics.2 There has been since numerous rejoinders from partisans of classical logic, which were at times met with by attempts at watering down the anti-realist challenge, e.g., by arguing that anti-realism does not necessarily entail the adoption of intuitionistic logic. Only a few anti-realists, such as Crispin Wright and Neil Tennant, tried to look instead in the other direction, towards a more radical version of anti-realism which would entail deeper revisions of classical logic than those recommended by intuitionists.3 In this paper, which is largely programmatic, we shall also argue in favour of a radical anti-realism which would be a genuine alternative to the traditional anti-realism of Dummett and Prawitz. The debate about anti-realism has by now more or less run out of breath and we wish to provide it with a new lease on life, by taking into account the profound changes that took place in proof theory during the intervening years. We have in mind in particular the considerable development within Gentzen-style proof theory of non-classical, substructural logics other than intuitionistic logic, which seriously opens up the possibility that anti-realism, when properly understood, might end up justifying another logic, and the development of closer links between proof theory and computational complexity theory that has renewed interest in a radical form of anti-realism, namely strict finitism. (shrink)

In this paper, elementary but hitherto overlooked connections are established between Wittgenstein's remarks on mathematics, written during his transitional period, and free-variable finitism. After giving a brief description of theTractatus Logico-Philosophicus on quantifiers and generality, I present in the first section Wittgenstein's rejection of quantification theory and his account of general arithmetical propositions, to use modern jargon, as claims (as opposed to statements). As in Skolem's primitive recursive arithmetic and Goodstein's equational calculus, Wittgenstein represented generality by the use of free (...) variables. This has the effect that negation of unbounded universal and existential propositions cannot be expressed. This is claimed in the second section to be the basis for Wittgenstein's criticism of the universal validity of the law of excluded middle. In the last section, there is a brief discussion of Wittgenstein's remarks on real numbers. These show a preference, in line with finitism, for a recursive version of the continuum. (shrink)

In this paper, I examine the transmission of some ideas of the pragmatist tradition to Wittgenstein, in his ‘middle period,’ through the intermediary of F. P. Ramsey, with whom he had numerous fruitful discussions at Cambridge in 1929. I argue more specifically that one must first come to terms with Ramsey’s own views in 1929, and explain how they differ from views expressed in earlier papers from 1925-27, so a large part of this paper is devoted to this task. One (...) is then in a better position to understand the impact of Ramsey’s astute critique of Wittgenstein’s Tractatus Logico-Philosophicus in conjunction with his pragmatism, and explain how it may have set into motion the ‘later’ Wittgenstein. I then argue that Ramsey introduced his notion of ‘variable hypothetical’ as a rule, not a proposition, on pragmatist grounds and that Wittgenstein picked this up in 1929, along with a more ‘dynamic’ view of meaning than the ‘static’ view of the Tractatus, and that this explains in part Wittgenstein’s turn to his ‘later philosophy.’. (shrink)

John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...) criticizing both empiricism and idealism, and argued for a moderate nominalist view of universals as being in rebus and only ‘apprehended’ by their particulars. His influence helped swaying Oxford away from idealism and, through figures such as H. A. Prichard, Gilbert Ryle, or J. L. Austin, his ideas were also to some extent at the origin of ‘moral intuitionism’ and ‘ordinary language philosophy’ which defined much of Oxford philosophy until the second half of the twentieth-century. Nevertheless, his name and legacy were all but forgotten for generations after World War II. Still, his views on knowledge are with us today, being in part at work in the writings of philosophers as diverse as John McDowell, Charles Travis, and Timothy Williamson. (shrink)

J’ai souvent songé que le propre du clerc dans l’âge moderne est de prêcher dans le désert. Je crois que j’y suis passé maître.Julien Benda Faute de savoir dans quelle catégorie vous classer, on ne vous inscrit dans aucune.Louis Rougier.

J’ai souvent songé que le propre du clerc dans l’âge moderne est de prêcher dans le désert. Je crois que j’y suis passé maître.Julien Benda Faute de savoir dans quelle catégorie vous classer, on ne vous inscrit dans aucune.Louis Rougier.

The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now (...) known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference. The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view. (shrink)

After presenting the rules of Eleatic antilogic, i.e., dialectic, I argue that Zeno was a practitioner, and, on the basis of key passages from Plato’s Parmenides, that his paradoxes of divisibility and movement were notreductio ad absurdum, but simple derivation of impossibilities meant to ridicule Parmenides’ adversaries. Thus, Zeno did not try to prove that there is no motion, but simply derived this consequence from premises held by his opponents. I argue further that these paradoxes were devised, in accordance with (...) Eleatic antilogic, following a scheme that included hypotheses and their contradictories, within which the subject is to be treated both “in relation to itself,” and “in relation to other things”. (shrink)

After sketching an argument for radical anti-realism that does not appeal to human limitations but polynomial-time computability in its definition of feasibility, I revisit an argument by Wittgenstein on the surveyability of proofs, and then examine the consequences of its application to the notion of canonical proof in contemporary proof-theoretical-semantics.

En logique mathématique, on doit distinguer entre une conception « axiomatique »de la logique, qui fut celle de Frege, Russell et Hilbert, et une conception plus « pragmatique »en termes d’actes de preuves, que l’on retrouve dans les systèmes de déduction naturelle de Gentzen. Des parallèles sont esquissés entre la conception de l’inférence et de la logique dans le Tractatus Logico-philosophicus de Wittgenstein et celle de Gentzen. Ce cadre permet en outre de jeter un regard neuf sur l’argument de Wittgenstein (...) sur « suivre une règle ». (shrink)

In this paper, I present a summary of the philosophical relationship betweenWittgenstein and Brouwer, taking as my point of departure Brouwer's lecture onMarch 10, 1928 in Vienna. I argue that Wittgenstein having at that stage not doneserious philosophical work for years, if one is to understand the impact of thatlecture on him, it is better to compare its content with the remarks on logics andmathematics in the Tractactus. I thus show that Wittgenstein's position, in theTractactus, was already quite close to (...) Brouwer's and that the points of divergence are the basis to Wittgenstein's later criticisms of intuitionism. Among the topics of comparison are the role of intuition in mathematics, rule following, choice sequences, the Law of Excluded Middle, and the primacy of arithmetic over logic. (shrink)

The thesis according to which the meaning of a mathematical sentence is given by its proof was held by both Wittgenstein and the intuitionists, following Heyting and Dummett. In this paper, we clarify the meaning of this thesis for Wittgenstein, showing how his position differs from that of the intuitionists. We show how the thesis originates in his thoughts, from the middle period, about proofs by induction, and we sketch his answers to a number of objections, including the idea that, (...) given the particular meaning he gives to this thesis, he cannot account for mathematical conjectures. We conclude by showing how his views find a favourable echo today in the paradigm of “proposition-as-type” and extensions of the Curry-Howard isomorphism from which this paradigm originates. (shrink)

Dans ce texte, je pars de l’analyse intuitionniste de la vérité mathématique, « A est vrai si et seulement s’il existe une preuve de A » comme cas particulier de l’analyse de la vérité en termes de « vérifacteur », et je montre pourquoi Wittgenstein partageait celle-ci avec les intuitionnistes. Cependant, la notion de preuve à l’oeuvre dans cette analyse est, selon l’intuitionnisme, celle de la « preuve-comme-objet », et je montre par la suite, en interprétant son argument sur le (...) caractère « synoptique » des preuves, que Wittgenstein avait plutôt en tête une conception de la « preuve-comme-trace ».In this paper, I start with the intutionist analysis of mathematical truth, « A is true if and only if there exists a proof of A », as a particular case of the analysis of truth in terms of « truth-makers », and I show why Wittgenstein shared it with the intuitionists. However, the notion of proof at work in this analysis is, according to intuitionism, that of « proof-as-object », and I then show, with an interpretation of his argument on the « surveyability » of proofs, that, instead, Wittgenstein had in mind a notion of « proof-as-trace ». (shrink)

Reuben Louis Goodstein (1912-1985) foi aluno de Wittgenstein em Cambridge de 1931 a 1934. Neste artigo, faço uma breve descrição de seu trabalho na lógica matemática, no qual se percebe a influência das idéias de Wittgenstein, inclusive a substituição, em seu cálculo equacional, da indução matemática por uma regra de unicidade de uma função definida por uma função recursiva. Esse último aspecto se encontra no Big Typescript de Wittgenstein. Também mostro que as idéias fundamentais do cálculo equacional podem ser encontradas (...) não apenas no período intermediário, mas, in nuce, nas observações sobre matemática do Tractatus Logico-philosophicus. A partir disso, procuro desenvolver um argumento contra uma leitura corrente daquele livro, o assim chamado “Novo Wittgenstein”. Outra conexão entre Goodstein e Wittgenstein se encontra na rejeição da teoria da quantificação; na parte final do artigo, recorro às observações críticas de Goodstein sobre a Lei do Terceiro Excluído (que também incluem uma crítica a Brouwer e à sua rejeição “pela metade” dessa lei) para lançar luz sobre as observações do próprio Wittgenstein a esse respeito. (shrink)

L’opinion est souvent exprimée que Bradley fut un des tout premiers critiques du psychologisme. Dans cet article, j’examine cette thèse en me penchant principalement sur ses Principles of Logic . Je définis le psychologisme au sens étroit comme une thèse portant sur les fondements de la logique, et le psychologisme au sens large comme une thèse plus générale en théorie de la connaissance pour montrer que Bradley a rejeté les deux, même s’il n’avait pas grand chose à dire sur la (...) version étroite. Sa critique de l’autre version est basée sur une distinction entre contenu psychologique et contenu logique, et sur sa défense de la thèse de l’idéalité du contenu logique, avant Frege et Husserl. Cependant, il tient encore à l’idée que le contenu logique provient de la perception. Après une brève présentation de ses critiques de la psychologie associationniste, je montre qu’il fait face à de véritables difficultés en essayant d’éviter de retomber dans le psychologisme en faisant appel à la distinction entre universel abstrait et universel concret. Je termine avec quelques remarques sur la place de Bradley dans l’histoire de la psychologie britannique.One often hears the opinion voiced that Bradley was an early critique of psychologism. In this paper, I investigate that claim, focussing on his Principles of Logic . I define psychologism in the narrow sense as a thesis pertaining to the foundations of logic, and psychologism in the wide sense as a more general thesis concerning the theory of knowledge, and show that Bradley rejected both, although he had little to say on the narrow version. His criticism of the wider version is based on his distinguishing between psychological and logical content and on his defence of the ideality of logical content, before Frege and Husserl. Nevertheless, he still hung to the idea that the latter harks back to ordinary perception. I then review briefly his criticisms of associationism in psychology, to show that he faced some difficulties in trying to avoid lapsing back into psychologism, with an appeal to a distinction between abstract and concrete universals. I conclude with some remarks on the palace of Bradley in the history of British psychology. (shrink)

In this chapter, Kobayashi and Marion first provide reasons to reject the many readings of Collingwood that sought to draft him as a participant in the Hempel-Dray debate about the status of covering laws in history. After all, this debate was not part of Collingwood’s context and, although one can pry from his writings a contribution to it, one may simply, by doing so, misunderstand what he was up to. In the second part, they present the Gabbay-Woods Schema for (...) abductive reasoning, as it occurs in the context of inquiry, as triggered by an ignorance problem, and as being ‘ignorance preserving’. They then argue that this allows us better to see the point of Collingwood’s ‘logic of questions and answers’, as derived from his own practice in archaeology, and his use of the ‘detective model of the historian’, as opposed to merely focussing on understanding what ‘re-enactment’ could mean as a contribution to the Hempel-Dray debate. (shrink)

Cette publication, la trois cent vingt-troisième de la série, a été rendue possible grâce à la contribution financière du FQRSC (Fonds québécois de recherche sur la société et la culture).

Reviewed Works:F. P. Ramsey, D. H. Mellor, Philosophical Papers.F. P. Ramsey, D. H. Mellor, Foundations, Essays in Philosophy, Logic, Mathematics and Economics.Frank Plumpton Ramsey, Maria Carla Galavotti, Notes on Philosophy, Probability and Mathematics.Nils-Eric Sahlin, The Philosophy of F. P. Ramsey.

It is first argued that dialectic was a form of regimented debate, which grew out of public debates in Ancient Greece. A set of rules for dialectical bouts is then given and their meaning explained. The transition from oral to written arguments is briefly examined, leading to the formulation of a delimitation problem in Plato’s dialogues, as he inserted dialectical arguments within ordinary dialogue contexts, turning them into discussions where one of the participants reasons hypothetically to make the other realize (...) that they are not entitled to their view. Doing so, Plato adjusted dialectic to a variety of dialogue purposes and in order to explore this variety, a study of the early tradition of classifying Plato’s dialogues in terms of their ‘character’ is suggested, the results of which are then compared with types of dialogues in contemporary Argumentation Theory. (shrink)