We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
This chapter examines the issue of the “logic” underlying Hegel’s exposition of the “concept of nature.” Given the systematic structure of Hegel’s Philosophy of Nature, which is positioned between the Logic and the Philosophy of Spirit, the problem of the logic guiding the immanent development of nature’s forms as well as the development of the philosophical cognition of them is, in Hegel’s view, a particularly relevant one. At the center of this chapter is the question of whether the “logic of nature” is the same logic presented in the first systematic division of Hegel’s philosophy or rather a modified variant of such a logic. The logic of nature, it argues, combines the determinations of pure speculative thinking (or the determinations of the “absolute idea”) with the specific conditions offered by the concept and by the reality of nature. Crucial to this logic is, first, Hegel’s famous definition of nature as the “idea in the form of otherness.” Such a definition obtains from the end of the Logic, which is be examined in detail, and followed through some crucial passages from the Philosophy of Nature. This chapter follows the development of the logic of nature between two extremes – the “absolute idea” and “spirit” – and concludes with a brief examination of the three syllogisms with which Hegel crowns his encyclopedic system.
Hegel has commonly been ridiculed for views expressed in his 1801 dissertation, On the Orbits of the Planets, in the final pages of which he had adopted a series of numbers from Plato’s Timaeus – a cosmological text earlier taken seriously by Kepler – to account for the ratios of the distances from the sun of the then known six planets of the solar system. While defenders of Hegel have usually toned down the extent of these claims, this chapter argues that Hegel’s reference to Plato’s Pythagorean cosmology must be taken seriously – not as cosmology, however, but as instantiating the logic appropriate for empirically based science. Hegel’s allusion to Plato’s mythologically expressed “syllogism” is consistent with his idea that logic as Plato conceived it allowed its application to the empirical world but that this applicability had been compromised by Aristotle adaptation of it. With the proper grasp of logic’s utilization of the category of “singularity” in its difference to “particularity” – available to Plato but not Aristotle – we can appreciate how, while Kepler’s Laws were empirically based, Newton’s were not as they relied on abstract entities that could not be justified empirically.
This chapter argues that Hegel’s aim in his philosophy of nature is not to compete with natural science but to show that there is reason in nature – reason that science cannot see but that works through the causal processes discovered by science. It considers first the transition from Hegel’s logic to his philosophy of nature and argues that the latter continues the project of the former, starting with reason, or the “absolute idea”, as nature, as sheer externality. It then argues that Hegel derives nature’s categories logically – a priori – from the idea-as-externality, and subsequently matches them with empirical phenomena (rather than constructing categories to fit the latter). It provides an abridged account of Hegel’s physics in order to show how the categories of physical (as opposed to mechanical or organic) nature are derived from one another and how they are embodied in physical phenomena, such as sound, heat, and magnetism. It then concludes by arguing that, contrary to appearances, Hegel’s conception of light complements, and is not simply at odds with, that presented by quantum physics.
This chapter argues that Collingwood’s “logic of question and answer” (LQA) can best be understood in the light of contemporary argumentation theory. Even if Collingwood quite often describes LQA in terms of inner thinking and reasoning, as was still usual in his time, his insistence on the normative (“criteriological”) character of LQA, paired with his attack on the pretensions of psychologists to describe logic (as well as other normative endeavours) in a purely empirical manner, makes clear that LQA has the same aspirations as the rising discipline of formal (mathematical) logic. The concise exposition of the form, content, and application of LQA is supported by references to all the relevant passages in Collingwood’s oeuvre as well as illustrated by means of a concrete example of his way of doing history. Although a recent and still developing discipline, contemporary argumentation theory was born as an attempt to describe and analyze argumentative texts as guided by norms constitutive of our argumentative practices in a way that completely escapes formal logic. It thus provides a place for LQA that has so far been lacking.
The neo-Kantian transcendentalist reading of the epistemic status of logical axioms in Frege argues that he is committed to the neo-Kantian idea that we are epistemically justified in accepting logical axioms because accepting them is necessary for achieving epistemically crucial goals. However, I show that Frege hesitates to be fully committed to neo-Kantian transcendentalism because he struggles to accept the idea that such a teleological reason can constitute an epistemic warrant. This interpretation shows some crucial aspects of his philosophy of logic, such as his understanding of the relationship between the simplicity and the sufficiency of logical systems.
The process of identifying and interpreting norms of customary international law, while appearing to be primarily based on an inductive analysis of state practice and opinio juris, is sometimes a deductive exercise based on logic and reason. Logic permeates every decision in international law. Logic manifests itself inherently throughout the process and can be identified in all steps of reasoning in identifying, interpreting and applying customary international law. Logic, however, can constitute the application of either an inductive or deductive inference. This chapter focuses on situations in which the International Court of Justice (ICJ) and the Permanent Court of International Justice (PCIJ) applied a deductive approach, identifying or interpreting norms of customary international law without seeming to consult state practice and opinio juris. Specifically, it considers whether norms that can be reasonably inferred or deduced from existing rules, or that are simply logical for the operation of the international legal system, can be identified as norms of customary international law under a complementary, supplementary or distinctive interpretive approach.
We briefly offer the reader a sense of what “logic” is supposed to be: its scope, its goals, and the kind of tools logicians use. We discuss the relationship between logic and the rest of mathematics, outline various conceptions of logic and ways it has been applied, and offer a concrete example of the kind of reasoning one might wish to “formalize” and how this might look.
According to Charles Travis, Frege’s principle to “always to sharply separate the psychological from the logical, the subjective from the objective” involves a move called “the fundamental abstraction.” I try to explain what this abstraction is and why it is interesting. I then raise a problem for it, and describe what I think is a better way to understand Frege’s principle.
I argue that Charles Travis’s interpretation of Frege, in Frege: The Pure Business of Being True, as consistent with Travis’s conception of occasion-sensitivity does not in fact require any modal notions, and so is consistent with the amodalist interpretation of Frege I elaborate in Necessity Lost.
We give explicit formulas witnessing IP, IP$_{\!n}$, or TP2 in fields with Artin–Schreier extensions. We use them to control p-extensions of mixed characteristic henselian valued fields, allowing us most notably to generalize to the NIP$_{\!n}$ context one way of Anscombe–Jahnke’s classification of NIP henselian valued fields. As a corollary, we obtain that NIP$_{\!n}$ henselian valued fields with NIP residue field are NIP. We also discuss tameness results for NTP2 henselian valued fields.
Cicero often challenged Epicureanism on the grounds of inconsistency. Cicero personifies the charge through his character Torquatus, who defends Epicureanism in De finibus 1–2. Cicero highlights the discrepancies among Torquatus’ beliefs and between them and his behaviour. Torquatus holds that the senses incontestably verify the tenets of Epicureanism, and that logic is superfluous. Yet he is sensitive to the fact that Epicurus’ teachings are not intuitive and require a fair amount of logical argumentation in its defence. Therefore, he defends his school against Cicero's criticisms. But by engaging in a defence of the system, Torquatus has already spoken against his commitment to the obviousness of Epicureanism and his disavowal of logic.
Jc Beall's Divine Contradiction is a fascinating defence of the idea that contradictions are true of the tri-personal God. This project requires a logic that avoids the consequence that every proposition follows from a contradiction. Beall presents such a logic. This ‘gap/glut’ logic is the topic of this article. A gap/glut logic presupposes that falsity is not simply the absence of truth – for a proposition that is true may also be false. This article is essentially an examination of the idea that falsity is not simply untruth. The author rejects this position but does not claim to have an argument against it. In lieu of an argument, he presents three ‘considerations’. First, it is possible to give an intuitive semantics for the language of sentential logic that yields ‘classical’ sentential logic (including ‘p, ¬ p ⊢ q’) and which makes no mention of truth-values. Second, it is possible to imagine a race who manage their affairs very well without having the concept ‘falsity’. Third, it is possible to construct a semantics that yields a logic identical with the dialetheist logic and which makes no mention of truth-values – and which, far from being plausible, seems pointless.
This chapter discusses Wittgenstein’s remarks on mathematics in sections 6.02–6.031 and 6.2–6.241. These remarks are limited to arithmetic, with definitions of the natural numbers (6.02) and of multiplication (6.241). In the first part, we discuss Wittgenstein’s criticism of the theory of types involved in Russell’s rival ‘logicist’ account, with specific criticisms of Russell’s axioms of infinity (5.535) and reducibility (6.1232). The second part presents Wittgenstein’s positive account of natural numbers in terms of ‘repeated applications of an operation’ (based on his remarks on operations at 5.2–5.254) and of arithmetical calculations. Limited parallels with the lambda calculus are brought to the fore, while explanations that presuppose a scheme of primitive recursion are criticized. The third section discusses related philosophical remarks about the centrality of the ‘method of substitution’ (6.24), arithmetical equations as ‘pseudo-propositions’ (6.241 & 6.2), and the claim that the identity of the two sides of an equation is merely perceived, not assertable (6.2322). Looking ahead, the fourth and final part discusses briefly Wittgenstein’s reasons for abandoning this approach in the early ‘middle period’.
Published just over a century ago, Wittgenstein's Tractatus Logico-Philosophicus is the only book-length work to have been published during his lifetime and it continues to generate interest and scholarly debate. It is structured as a series of propositions on metaphysics, language, the nature of philosophy, and the distinction between what can be said and what can be shown. This volume brings together eleven new essays on the Tractatus covering a wide variety of topics, from the central Tractarian doctrines concerning representation, the structure of the world and the nature of logic, to less prominent issues including ethics, natural science, mathematics and the self. Individual essays advance specific exegetical debates in important ways, and taken as a whole they offer an excellent showcase of contemporary ideas on how to read the Tractatus and its relevance to contemporary thought.
Nancy Cartwright's 1983 book How the Laws of Physics Lie argued that theories of physics often make use of idealisations, and that as a result many of these theories were not true. The present paper looks at idealisation in logic and argues that, at least sometimes, the laws of logic fail to be true. That might be taken as a kind of skepticism, but I argue rather that idealisation is a legitimate tool in logic, just as in physics, and recognising this frees logicians up to use false laws where these are helpful.
The Introduction provides an overview of the book’s argument about how novels in nineteenth-century Britain (by George Eliot, Wilkie Collins, William Thackeray, and Thomas Hardy) represented modes of thinking, judging, and acting in the face of uncertainty. It also offers a synopsis of key intellectual contexts: (1) the history of probability in logic and mathematics into the Victorian era, the parallel rise of statistics, and the novelistic importance of probability as a dual concept, geared to both the aleatory and the epistemic, to objective frequencies and subjective degrees of belief; (2) the school of thought known as associationism, which was related to mathematical probability and remained influential in the nineteenth century, underwriting the embodied account of mental function and volition in physiological psychology, and representations of deliberation and action in novels; (3) the place of uncertainty in treatises of rhetoric, law, and grammar, where considerations of evidence were inflected by probability’s epistemological transformation; and (4) the resultant shifts in literary probability (and related concepts like mimesis and verisimilitude) from Victorian novel theory to structuralist narratology, where understandings of probability as a dual concept were tacitly incorporated.
The Victorian novel developed unique forms of reasoning under uncertainty-of thinking, judging, and acting in the face of partial knowledge and unclear outcome. George Eliot, Wilkie Collins, William Thackeray, Thomas Hardy, and later Joseph Conrad drew on science, mathematics, philosophy, and the law to articulate a phenomenology of uncertainty against emergent models of prediction and decision-making. In imaginative explorations of unsure reasoning, hesitant judgment, and makeshift action, these novelists cultivated distinctive responses to uncertainty as intellectual concern and cultural disposition, participating in the knowledge work of an era shaped by numerical approaches to the future. Reading for uncertainty yields a rich account of the dynamics of thinking and acting, a fresh understanding of realism as a genre of the probable, and a vision of literary-critical judgment as provisional and open-ended. Daniel Williams spotlights the value of literary art in a present marked by models and technologies of prediction.
What follows from what, and how do we make statements (whether true or false) about which inferences are correct? In this book, Edwin Mares provides a new philosophical, semantical and historical analysis of and justification for the relevant logic of entailment. In the first half of the book he examines some key ideas in the historical development of the logic of entailment, looking in particular at the notion 'is derivable from' and at how symbolic logic has attempted to capture this notion. In the second half of the book he develops his own theory connecting ideas from the traditions in mathematical logic with some ideas in the philosophy of science. The book's fresh and original perspective on the logic of entailment will be valuable for all who want to know more about the historical and philosophical origins of modern symbolic logic.
The essay studies four aspects of Buridan’s use of principles in his logic. (1) Some principles, such as being said of all or of none, are taken over from the tradition but applied with some qualifications: for example, certain modal syllogisms governed by this principle are said to be “quasi-perfect.” (2) Some principles not used by Buridan’s realist predecessors are introduced, for example, Things that are identical with one and the same thing are identical with each other. (3) Some principles familiar from the tradition are put to powerful new uses, for example, In every pair of contradictories, one is true and the other false, and it is impossible for both to be true together or for both to be false together; again, every proposition is true or false, and it is impossible for the same proposition to be true and false together. (4) Some principles, taken from Porphyry, the Categories, and the Posterior Analytics, which were used by realist logicians to connect the theory of genus and species with the theory of modal syllogisms, are no longer used in that way. It seems that (1)–(3) have the effect of making the theory of consequences (and thus the syllogistic) more “scientific,” while (4) has the effect of separating the theory of consequences from the logical theories contained in the books of the Organon other than the Prior Analytics. If this is so, then Buridan’s logic marks an important stage in the emergence of modern conceptions of logic. A further question is how all of this relates to Buridan’s professed humanistic conception of logic as an art – not a science – “just as the leader is the savior of the army, so reasoning with learning is the leader in human life, whether that life be contemplative, namely, speculative, or active.”
We define $\Psi $-autoreducible sets given an autoreduction procedure $\Psi $. Then, we show that for any $\Psi $, a measurable class of $\Psi $-autoreducible sets has measure zero. Using this, we show that classes of cototal, uniformly introenumerable, introenumerable, and hyper-cototal enumeration degrees all have measure zero.
By analyzing the arithmetical complexity of the classes of cototal sets and cototal enumeration degrees, we show that weakly 2-random sets cannot be cototal and weakly 3-random sets cannot be of cototal enumeration degree. Then, we see that this result is optimal by showing that there exists a 1-random cototal set and a 2-random set of cototal enumeration degree. For uniformly introenumerable degrees and introenumerable degrees, we utilize $\Psi $-autoreducibility again to show the optimal result that no weakly 3-random sets can have introenumerable enumeration degree. We also show that no 1-random set can be introenumerable.