An analysis of the sources of Wittgenstein’s picture theory — which include not only his moment of insight on reading a magazine story about the use of models in a traffic court, but also the work of Russell, Hertz, and Boltzmann — provides the basis for an exploration of Wittgenstein’s articulation of a pictorial conception of representation in his wartime notebooks and its crystallization in the Tractatus. A discussion of Wittgenstein’s later criticism of the picture theory and his notion (...) of a “philosophical picture” illustrates the fundamental reversal in his transition to his later conception of philosophy: instead of taking literal pictures as a guide to the nature of meaning, he came to regard philosophical theories as akin to expressing an aesthetic preference for a certain style of representation. Wittgenstein’s treatment of factual language in the picture theory is related to his Tractarian approach to logical form, and the role of the show/say distinction in his early conception of logic and language. Particular attention is given to the difficulties generated by the idea that the conditions for the possibility of a given domain of discourse cannot be described in language, but must be shown by the form of words in question. (shrink)

In his new work on the Kyoto School David Williams presents the first “reading” in English of the complete text of the three Chūō Kōron symposia held by members of the second generation in the early 1940s. In addition, he provides an extensive commentary that explores the inability of “liberal history” to account for the political realities of wartime Japan and the “moral worldview” of the four symposists. Adopting the empirical methodology of earlier works, Williams proposes an alternative thesis (...) of “Confucian Revolution” that takes into account the “logic and conventions” of Japan as a Confucian society. His focus on the influence of Confucianism brings to the fore a neglected aspect of modern Japanese political philosophy that yields important insight into the nature of the Kyoto School's wartime thought and their struggle against the Tōjō regime. (shrink)

The heroes and villains of the Dune universe live in a world where violent conflict is an inevitable and necessary part of life. In the brutal worlds of the galactic Imperium and the Arrakeen desert wilderness, inquiry, perception, and logic are no longer tools of scientific truth‐seeking, but have become weapons in a war between minds as sharp as the cutting edge of a crysknife. The inquiries of Dune's characters don't follow the logic of scientific discovery but instead (...) the wartime logic of advantage. The conflict between House Atreides and House Harkonnen stretches back to the earliest days of the empire. In most cases, accurate information would still be preferred, but in this case rapidly formed beliefs that enable a timely decision are ultimately more useful than carefully verified knowledge. The grim necessities of kanly force Dune's characters to value the utility of knowledge over its truthfulness. (shrink)

Alan M. Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical insight. An introduction (...) by leading Turing expert Jack Copeland provides the background and guides the reader through the selection. About Alan Turing Alan Turing FRS OBE, (1912-1954) studied mathematics at King's College, Cambridge. He was elected a Fellow of King's in March 1935, at the age of only 22. In the same year he invented the abstract computing machines - now known simply as Turing machines - on which all subsequent stored-program digital computers are modelled. During 1936-1938 Turing continued his studies, now at Princeton University. He completed a PhD in mathematical logic, analysing the notion of 'intuition' in mathematics and introducing the idea of oracular computation, now fundamental in mathematical recursion theory. An 'oracle' is an abstract device able to solve mathematical problems too difficult for the universal Turing machine. In the summer of 1938 Turing returned to his Fellowship at King's. When WWII started in 1939 he joined the wartime headquarters of the Government Code and Cypher School (GC&CS) at Bletchley Park, Buckinghamshire. Building on earlier work by Polish cryptanalysts, Turing contributed crucially to the design of electro-mechanical machines ('bombes') used to decipher Enigma, the code by means of which the German armed forces sought to protect their radio communications. Turing's work on the version of Enigma used by the German navy was vital to the battle for supremacy in the North Atlantic. He also contributed to the attack on the cyphers known as 'Fish'. Based on binary teleprinter code, Fish was used during the latter part of the war in preference to morse-based Enigma for the encryption of high-level signals, for example messages from Hitler and other members of the German High Command. It is estimated that the work of GC&CS shortened the war in Europe by at least two years. Turing received the Order of the British Empire for the part he played. In 1945, the war over, Turing was recruited to the National Physical Laboratory (NPL) in London, his brief to design and develop an electronic computer - a concrete form of the universal Turing machine. Turing's report setting out his design for the Automatic Computing Engine (ACE) was the first relatively complete specification of an electronic stored-program general-purpose digital computer. Delays beyond Turing's control resulted in NPL's losing the race to build the world's first working electronic stored-program digital computer - an honour that went to the Royal Society Computing Machine Laboratory at Manchester University, in June 1948. Discouraged by the delays at NPL, Turing took up the Deputy Directorship of the Royal Society Computing Machine Laboratory in that year. Turing was a founding father of modern cognitive science and a leading early exponent of the hypothesis that the human brain is in large part a digital computing machine, theorising that the cortex at birth is an 'unorganised machine' which through 'training' becomes organised 'into a universal machine or something like it'. He also pioneered Artificial Intelligence. Turing spent the rest of his short career at Manchester University, being appointed to a specially created Readership in the Theory of Computing in May 1953. He was elected a Fellow of the Royal Society of London in March 1951 (a high honour). (shrink)

In the Tractatus, Wittgenstein conceives of tautology as 'saying nothing'. More precisely, he holds -- or so this essay contends -- that it says nothing in virtue of possessing a zero quantity of sense. Insofar as it is the limit of a series of propositions of diminishing quantity of sense, tautology resembles a degenerate conic section. But it also resembles the result of a summing together of equal and opposite linear vector quantities. Both of these models shape Wittgenstein's conception of (...) tautology in the Tractatus, though they are not fully reconciled. Many of the puzzling features of the Tractatus's view of logic arise from this failure to affect the needed reconciliation. These points are argued for by working through the development of Wittgenstein's views on these matters in the Wartime Notebooks and other pre-Tractatus writings. (shrink)

This article has two purposes: first, to describe some archival discoveries about Nicod’s family background, academic development and political life; and second, to publish and comment on a newly discovered article by Nicod about Russell. This article acclaims not only Russell’s achievements in logic and philosophy—as one might expect from such a devoted protégé as Nicod—but also (albeit only in glimpses permitted by France’s wartime censorship) his anti-war politics and writings. As the reader will realize, the two objectives (...) are connected: what the archives reveal and what the article illustrates is a hitherto underappreciated level of political awareness and pacifist commitment in Nicod. (shrink)

This essay explores the legacy of the four philosophers now often referred to as ‘The Wartime Quartet’: G.E.M. Anscombe, Iris Murdoch, Philippa Foot and Mary Midgley. The life and work of the four, who studied together in Oxford during the Second World War, is the subject of two recently published books, The Women Are Up to Something, by Benjamin Lipscomb, and Metaphysical Animals, by Clare Mac Cumhaill and Rachael Wiseman. The two books show us how Anscombe, Murdoch, Foot and (...) Midgley became friends united in their hostility to the logical-positivist orthodoxy of the day and its deleterious influence on Oxford moral philosophy. And we see how their friendship had a formative influence on their subsequent—highly distinguished—careers, so that it is possible to discern, if not exactly a school of thought, then various common themes, ideas and concerns, which are expressed and developed in contrasting ways. While Lipscomb represents the work of the Quartet as of largely historical significance, my paper defends what I take to be Mac Cumhaill and Wiseman's position that their legacy is very much a living one, containing insights that are not just of enduring relevance, but can transform how we see ourselves and how we do philosophy. For Mac Cumhaill and Wiseman, the key idea shared by the members of the Quartet is to place the concept of life at the centre of philosophical attention. This commitment has at least four dimensions: (i) an interest in the ordinary; (ii) a focus on virtue, goodness and human flourishing; (iii) an affirmation of our animal nature; (iv) recognition of the normative landscape that structures our lives. I try to bring out the philosophical significance of these themes in a way relevant to the philosophical elucidation of education. (shrink)

Unmanned (or Uninhabited) Aerial Vehicles are a key part of the American military's so-called revolution in military affairs (RMA) as practiced over Iraq. They are also part of the drive to shift agency away from humans and toward machines. This article considers the ways in which humans have, in calling on high technologies to distance them from what the military calls the “dull, the dirty, and the dangerous,” hoped to avoid responsibility for murder in wartime. In examining the claims (...) of weapons manufacturers and their military customers, the article focuses on the concept of “systems of systems” and the various outcomes such battlespace imaginings might have for human beings. The article concludes that the RMA entertains a fantasy of human agency while technological systems call out to and conjure up other technological systems that are possessed not only of their own logics but also purposes that are hidden and disturbing. (shrink)

This is the first full-length biography of John Langshaw Austin (1911–60). The opening four chapters outline his origins, childhood, schooling, and time as an undergraduate, while the next four examine his early career in professional philosophy, looking at the influence of Oxford Realism, Logical Positivism, Pragmatism, and the later Wittgenstein. The central twelve chapters then explore Austin’s wartime career in British Intelligence. The first three examine the contributions he made to the campaigns in North Africa; the next seven the (...) seminal role he played in ensuring the outstanding accuracy of the D-Day Intelligence; while the final two explore his contributions to Arnhem, the Ardennes, and the post-war administration of Germany. The last main section of the book then outlines and assesses Austin’s contributions to post-war Oxford Ordinary Language Philosophy. The first three chapters discuss the impact on Oxford philosophy of the cultural atmosphere of post-war Britain and the later Wittgenstein’s ideas. The next four look at Austin’s influence on post-war Oxford, particularly his Saturday morning discussion group and his perception lectures. The next five chapters concentrate on America’s influence on Austin and vice versa, paying particular attention to Austin’s work on speech-acts and his semesters in Harvard and Berkeley. The final two chapters examine Austin’s declining influence in Oxford, and his tragically premature death. (shrink)

This paper examines James Conant’s pragmatic theory of science – a theory that has been neglected by most commentators on the history of 20th-century philosophy of science – and it argues that this theory occupied an important place in Conant’s strategic thinking about the Cold War. Conant drew upon his wartime science policy work, the history of science, and Quine’s epistemological holism to argue that there is no strict distinction between science and technology, that there is no such thing (...) as “the scientific method,” and that theories are better interpreted as policies rather than creeds. An important consequence that he drew from these arguments is that science is both a thoroughly value-laden, and an intrinsically social, enterprise. These results led him to develop novel proposals for reorganizing scientific and technological research – proposals that he believed could help to win the Cold War. Interestingly, the Cold War had a different impact upon Conant’s thinking than it did upon many other theorists of science in postwar America. Instead of leading him to “the icy slopes of logic,” it led him to develop a socially- and politically-engaged theory that was explicitly in the service of the American Cold War effort. (shrink)

The city of Cork experienced a political odyssey between Easter 1916 and the end of 1918. Wartime policies conceived in London manifested themselves unexpectedly in Cork--The Defence of the Realm Act was used to repress political speech; deficit spending generated massive inflation; mandatory arbitration encouraged workers to join trade unions; food rationing panicked a country scarred by the Potato Famine; and military conscription generated virtual rebellion. As a result, the Cork public increasingly turned against the war. The book examines (...) the political situation in Cork prior to the Easter Rising; local reactions to the rebellion; the rapid creation of the Republican mass movement; the dramatic decline of the Irish Party; the explosion of anti-authority street rioting; the mobilization of women in the independence struggle; disturbances against venereal disease treatments and visiting American sailors; the emergence of radical trade unionism; agitation over the retention of local food supplies; the nationalist mobilization during the Conscription Crisis; and Sinn Féin's triumph in the 1918 General Election. (shrink)

This volume brings together sixteen of C. D. Broad’s valuable papers on moral philosophy written between 1914 and 1964. Unlike his widely read Five Types of Moral Theory where he was chiefly concerned to provide an accurate interpretation of various historically important moral philosophers, this volume contains essays which critically examine a variety of normative and meta-ethical issues. Broad never presented a developed moral position of his own, but his careful classifications of possible positions, subtle distinctions, and elaboration of logical (...) interrelationships have not only been significant in themselves but have served as models of good critical analysis for many contemporary theorists. Although some of the papers such as "Some of the Main Problems of Ethics" and "Some Reflections on Moral Sense Theories in Ethics" have been reprinted elsewhere and widely discussed, others have received little attention. Given current social and philosophical concerns, however, many readers will certainly find some of the less well-known papers of great interest. The current concern with the generalization argument should produce a renewed interest in Broad’s analysis of a version of it in "On the Function of False Hypotheses in Ethics", and the present debate regarding the justifiability of conscientious objection in wartime should renew interest in Broad’s attempt to clarify the underlying moral issues in "Ought We to Fight for Our Country in the Next War?". Included in this volume are "Self and Others," a paper dealing with ethical egoism which has not been previously published, "Reply to My Critics," excerpted from The Philosophy of C. D. Broad edited by Paul Schilpp, and a brief preface written by C. D. Broad shortly before his death. By bringing together these papers, many of which are not easily obtained, the editor has provided a valuable and needed volume.—M. G. (shrink)

The COVID-19 pandemic brings up unprecedented challenges. Healthcare practitioners find themselves in an extraordinary, wartime-like situation and are obliged to apply triage on a daily basis. In this context, routine procedures prove insufficient and the redefinition of ethical practice guidelines becomes a necessity – leading not only to a shift in procedures, but also reshaping the very value of human life. This, in turn, triggers an axiological crisis, which exacerbates the tension between paradigms of sanctity and quality of life (...) and the conflicting principles of egalitarianism and utilitarianism. Triage should not be limited to healthcare practice only: the concept can be extended to a macro-level where policymakers decide whether to prioritize human lives over livelihoods and economic health, impacting healthcare system capacity. The complexity of the challenges arising from the pandemic uncovers the urgent need to seek solutions from an integrated approach. In this paper, we offer a transdisciplinary view: we first define technical aspects of triage from the perspective of a healthcare professional. In the second part, we further analyze the problem of medical prioritization in the light of doctrinal findings related to the value of human life, and we show how and to what extent this philosophical debate is reflected in the emerging ethical guidelines in France, Spain, Italy, Belgium, Germany and Austria. Finally, we broaden the concept of triage, adding the “macro-economic” ingredient in our analysis and we present the results for selected European countries with special emphasis on the case of Poland. (shrink)

The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found (...) in human reasoning. Topics covered: Stable Semantics. Default Logic. AutoEpistemic Logic. Truth Maintenance Systems. Implementation Issues. Diagnosis. Applications. Inheritance Reasoning. Logics of Belief. Inconsistency and Non-Monotonicity. (shrink)

An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion (...) of entailment, showing that it is compact and decidable. We then investigate the effect of various restrictions on the semantics. We also formulate a sequent-style proof system for exact entailment and give soundness and completeness results. (shrink)

I read Stefan Collini’s What are Universities For? last week with very mixed feelings. In the past, I’ve much admired his polemical essays on the REF, “impact”, the Browne Report, etc. in the London Review of Books and elsewhere: they speak to my heart. If you don’t know those essays, you can get some of their flavour from his latest article in the Guardian yesterday. But I found the book a disappointment. Perhaps the trouble is that Collini is too decent, (...) too high-minded, has too unrealistically exalted a view about what actually happens in universities which is too coloured by attitudes appropriate to the traditional humanities. And he is optimistic to the point of fantasy if he thinks that people are so susceptible to “the romance of ideas and the power of beauty” that they will want, or can be brought to want, lots and lots of universities in order to promote the ideas (as if they would suppose that the task of “conserving, understanding, extending and handing on to subsequent generations the intellectual, scientific, and artistic heritage of mankind” was clearly ill-served when there were only forty universities in England, as opposed to a hundred and whatever). (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity (...) is genuinely logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

When asked in 1962 on what he was working Kazimierz Ajdukiewicz replied: Several years ago Polish Scientific Publishers suggested that I pre pare a new edition of The Logical Foundations of Teaching, which I wrote 1 before 1939 as a contribution to The Encyclopaedia of Education. It was a small booklet covering elementary information about logical semantics and scientific methodology, information which in my opinion was necessary as a foundation of teaching and as an element of the education of any (...) teacher. When I recently set to preparing the new edition, I rewrote practically everything, and a booklet of some 100 pages swelled into a bulky volume almost five times bigger. The issues have remained practically the same, but they are now analysed much more thoroughly and the threshold of difficulty is much higher now. The main stress has been laid on the methods used in the empirical sciences, and within that field, on the theory of measurement and the methods of statistical inference. I am now working on the last chapter of the book, concerned with explanation procedures and theory construction in the empirical sciences. When that book, which I intend to entitle Pragmatic Logic, is com pleted I intend to prepare for the press Vol. 2 of my minor writings, 2 Language and Cognition, which will cover some of my post-war pa pers. (shrink)

We develop intuitionistic public announcement logic over intuitionistic \({\textbf{K}}\), \({{\textbf{K}}}{{\textbf{T}}}\), \({{\textbf{K}}}{{\textbf{4}}}\), and \({{\textbf{S}}}{{\textbf{4}}}\) with distributed knowledge. We reveal that a recursion axiom for the distributed knowledge is _not_ valid for a frame class discussed in [ 12 ] but valid for the restricted frame class introduced in [ 20, 26 ]. The semantic completeness of the static logics for this restricted frame class is established via the concept of pseudo-model.

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in (...) Section \textbf{3}, the philosophical significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

This is the first critical study of The Logic of Sense, Gilles Deleuze's most important work on language and ethics, as well as the main source of his vital philosophy of the event.James Williams explains the originality of Deleuze's work with careful definitions of all his innovative terms and a detailed description of the complex structure he constructs. This reading makes connections to his ground-breaking work on literature, to his critical but also progressive relation to the sciences, and to (...) his controversial denial of the priority of standard logics, human values and 'meaning' in thinking.This book will open new debates and develop current ones around Deleuze's work in philosophy, politics, literature, linguistics, cultural studies and sociology. (shrink)

A common reaction to Hegel’s suggestion that we collapse Kant’s distinction between form and content is that, since such a move would also deprive us of any way of distinguishing the merely logical from the real possibility of our concepts, it is incoherent and ought to be rejected. It is true that these two distinctions are intimately related in Kant, such that if one goes, the other does as well. But it is less obvious that giving them up as Kant (...) conceives them is as incoherent a proposal as many of Hegel’s critics think. It has been the point of a recent account of Hegel’s idealism to demonstrate that his critique of Kant’s dichotomy between form and content or concept and intuition does not commit him to the view that human cognition is materially creative of its content in the manner of a God-like or intuitive intellect—does not, in other words, signify a return to a pre-Critical metaphysics. This is the interpretative stance I adopt here as well, in hope of giving defenders of Kant reasons for taking Hegel more seriously. (shrink)

What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the (...) philosophy of language, logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

The Editors express their gratitude and appreciation to the indi-viduals listed below who served as referees for Informal Logic for Volumes 31 (2011) and 32 (2012).

In this paper, we propose a decidable single-agent modal logic for reasoning about goal-directed “knowing how”, based on ideas from linguistics, philosophy, modal logic, and automated planning in AI. We first define a modal language to express “I know how to guarantee \ given \” with a semantics based not on standard epistemic models but on labeled transition systems that represent the agent’s knowledge of his own abilities. The semantics is inspired by conformant planning in AI. A sound (...) and complete proof system is given to capture valid reasoning patterns, which highlights the compositional nature of “knowing how”. The logical language is further extended to handle knowing how to achieve a goal while maintaining other conditions. (shrink)

A fascinating recent turn in epistemology focuses on inquiring attitudes like wondering and being curious. Many have argued that these attitudes are governed by norms similar to those that govern our doxastic attitudes. Yet, to date, this work has only considered norms that might *prohibit* having certain inquiring attitudes (``norms of restriction''), while ignoring those that might *require* having them (``norms of expansion''). We aim to address that omission by offering a framework that generates norms of expansion for inquiring attitudes. (...) The framework draws on inferential erotetic logic, which we explain and augment with some theorems. We explore several of the norms that it yields - some sympathetically, others unsympathetically. (shrink)

The present author developed a calculus for the logic of ‘because’. In a recent paper in this journal, it has been claimed that the central inference rules for the logic are invalid and that the intuition upon which the rules are based is not accounted for. This note criticises these arguments and presents an independent argument in favour of the rules used in the logic.

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gödel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on (...) logic and the philosophy of mathematics. John Burgess has provided introductions to each of the three parts of the volume, and also an afterword on Boolos's technical work in provability logic, which is beyond the scope of this volume. (shrink)

This paper is concerned with the semantics for the logics of ground that derive from a slight variant GG of the logic of (Fine, 2012) that have already been developed in (deRosset and Fine, 2023). Our aim is to outline that semantics and to provide a comparison with two related semantics for ground, given in (Correia, 2017) and (Kraemer, 2018). This comparison highlights the strengths and difficulties of these different approaches.

This book compares various approaches to the interpretation of quantum mechanics, in particular those which are related to the key words "the Copenhagen interpretation", "the antirealist view", "quantum logic" and "hidden variable theory". Using the concept of "correlation" carefully analyzed in the context of classical probability and in quantum theory, the author provides a framework to compare these approaches. He also develops an extension of probability theory to construct a local hidden variable theory. The book should be of interest (...) for physicists and philosophers of science interested in the foundations of quantum theory. (shrink)

The debate between exceptionalists and anti-exceptionalists about logic is often framed as concerning whether the justification of logical theories is a priori or a posteriori (for short: whether logic is a priori or a posteriori). As we substantiate (S1), this framing more deeply encodes the usual anti-exceptionalist thesis that logical theories, like scientific theories, are abductively justified, coupled with the common supposition that abduction is an a posteriori mode of inference, in the sense that the epistemic value of (...) abduction is (and, indeed, must be) a posteriori. In past work, however, we have argued that this common supposition is incorrect: abduction is an a priori mode of inference, in the sense that the epistemic value of abduction is (and indeed, must be) a priori (Biggs and Wilson 2017a, 2017b, 2019). After sketching our two main argumentative strategies for this conclusion (S2), we go on (S3) to consider its import on the proper understanding of anti-exceptionalism about logic. (shrink)

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

According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at (...) odds with naturalist philosophers of logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)

This paper contributes to the calculization of evocation and erotetic implication as defined by Inferential Erotetic Logic (IEL). There is a straightforward approach to calculizing (propositional) erotetic implication which cannot be applied to evocation. First-order evocation is proven to be uncalculizable, i.e. there is no proof system, say FOE, such that for all X, Q: X evokes Q iff there is an FOE-proof for the evocation of Q by X. These results suggest a critique of the represented approaches to (...) calculizing IEL. This critique is expanded into a programmatic reconsideration of the IEL-definitions of evocation and erotetic implication. From a different point of view these definitions should be seen as desiderata that may or may not play the role of a point of orientation when setting up "rules of asking". (shrink)

Logic diagrams have seen a resurgence in their application in a range of fields, including logic, biology, media science, computer science and philosophy. Consequently, understanding the history and philosophy of these diagrams has become crucial. As many current diagrammatic systems in logic are based on ideas that originated in the 18th and 19th centuries, it is important to consider what motivated the use of logic diagrams in the past and whether these reasons are still valid today. (...) This paper proposes that transcendental philosophy was a key inspiration for the development of logic diagrams and that such diagrams can be employed in transcendental arguments, even after the linguistic turn. (shrink)