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 Wilfrid Sellars’s idea of material inference – the view that there are valid inferences expressed in non-logical language that are irreducible to logical principles. Material inference can be characterised by three features: it is non-enthymemic, non-logical, and non-monotonic. However, the exact sense in which material inferences are valid remains unclear.After exploring various attempts to define the validity of material inference – such as through truth-preservation, analytic entailment, or reduction to general principles – I argue that material inference is not valid in the strict sense. Typically, validity refers to deductive validity, where the truth of the premises guarantees the truth of the conclusion.Nonetheless, pragmatists do not apply an external standard to our reasoning practices. Material inference can be understood not as valid, but as a legitimate and rationally authoritative form of reasoning. The key concept here is pragmatic propriety, which designates the social-normative entitlement to infer – rendering an inference either legitimate or illegitimate.
The history of astronomy and the history of philosophy are inextricably fused. This chapter highlights some of the dramatic episodes when astronomy confronted philosophical issues in metaphysics – questions regarding the objects astronomy studies; in epistemology – what is the most fruitful way to acquire knowledge in astronomy? And finally the ultimate existential question – what kind of a science is astronomy? Is it even a natural science at all?
Tennenbaum’s theorem states that PA does not admit any nonstandard computable model. In 2022, Pakhomov proved that this theorem is fragile in regards to how PA is expressed, by constructing a theory that is definitionally equivalent to PA (roughly: “it’s PA but with a different choice of signature”) for which there is a computable nonstandard model. He showed that this fragility does not extend to true arithmetic (any nonstandard model of a theory definitionally equivalent to Th(N) is not computable), but the question of whether this fragility extends to fragments of PA of intermediate strength was left open. We show that it does, by constructing a sequence of theories $T^n$ which are definitionally equivalent to: “PA plus all $\Pi _n$ truths,” all of which admit computable nonstandard models. In the process, we produce a general-purpose theorem for strong jump inversion. Besides applying this theorem to obtain our novel result, we show that several known results from the literature can be seen as direct applications of our theorem.
We prove a Thomason-style duality for the category of instantial neighbourhood frames and instantial neighbourhood morphisms, use it to define and investigate ultrafilter extensions, and show that it restricts to Thomason duality for Kripke frames.
This chapter examines Wittgenstein’s Tractatus Logico-Philosophicus and its model of logical context. Against readings that see it as purely anti-contextualist, the chapter shows how logic functions as a form of context in early Wittgenstein. Through biographical and historical context, it demonstrates how the Tractatus emerged from and responded to specific intellectual environments, while setting up the book’s broader argument about parallel developments in anthropology and philosophy.
The Curry–Howard correspondence is often described as relating proofs (in intuitionistic natural deduction) to programs (terms in simply-typed lambda calculus). However, this narrative is hardly a perfect fit, due to the computational content of cut-elimination and the logical origins of the lambda calculus. We revisit Howard’s work and interpret it as an isomorphism between a category of formulas and proofs in intuitionistic sequent calculus and a category of types and terms in simply-typed lambda calculus. In our telling of the story, the fundamental duality is not between proofs and programs but between emphlocal (sequent calculus) and global (lambda calculus or natural deduction) points of view on a common logico-computational mathematical structure.
I draw a contrast between what I call a ‘presentational-phenomenological model of apprehension and ultimate evidence’ – which I attribute to Descartes, Locke and Hume – and Leibniz’s ‘logical-conceptual model of apprehension and ultimate evidence’. Although there are different uses of the word ‘concept’, Leibniz’s model, in my view, illustrates the strictest and best notion of the concept of concepts: one that centrally relies on logic.
This chapter presents a portrait of study and teaching at the Faculty of Arts in Paris during the first half-century of the university's existence: from enrolment under a master to obtaining a licence, entering the corporation of the Magistri Artium and, eventually, enrolment in one of the higher faculties (theology, canon law or medicine).
This chapter discusses the work of twelfth-century theologians in Paris who laid the foundations for the development of theology as a discipline in the university. These thinkers explored the characteristics and limits of the discourse on God in theological treatises and summae, which employed increasingly sophisticated technical terminology drawn in part from grammar, logic, and rhetoric.
This chapter traces the development of a number of Trinitarian issues throughout the second half of the twelfth century - the classification of theological language, the debate about why we can say 'God begot God' but not 'essence begot essence', and the definition of the personal properties - and show how they shape Lateran IV and continue thereafter. Finally, the chapter indicates some new approaches and areas of focus among theologians writing after the council.
This article presents BOOLEAN MONADIC RECURSIVE SCHEMES (BMRSs), adapted from the mathematical study of computation, as a phonological theory that both explains the observed computational properties of phonological patterns and directly captures phonological substance and linguistically significant generalizations. BMRSs consist of structures defined as logical predicates and situated in an ‘if ... then ... else’ syntax in such a way that they variably license or block the features that surface in particular contexts. Three case studies are presented to demonstrate how these grammars (i) express conflicting pressures in a language, (ii) naturally derive elsewhere condition effects, and (iii) capture typologies of repairs for marked structures.
A variety of digital devices and circuits are introduced. The use of binary numbers in digital electronics is discussed. The AND, OR, XOR, NOT, NAND, NOR, XNOR, and buffer logic gates are presented, followed by a discussion of implementing logical functions. The Karnaugh map and Boolean algebra are introduced. Different ways of constructing logic gates are presented. Half- and full-adder circuits are developed. Several types of flip-flops are discussed. Building on this foundation, we introduce counters, decoders, shift registers, D/A and A/D converters, multiplexers, demultiplexers, memory arrays, automated processing, programmable logic devices, and digital EM communications.
The Origins of Scholasticism provides the first systematic account of the theological and philosophical ideas that were debated and developed by the scholars who flourished during the years immediately before and after the founding of the first official university at Paris. The period from 1150-1250 has traditionally been neglected in favor of the next century (1250-1350) which witnessed the rise of intellectual giants like Thomas Aquinas, Albert the Great, and John Duns Scotus, who famously popularized the major works of Aristotle. As this volume demonstrates, however, earlier scholastic thinkers laid the groundwork for the emergence of theology as a discipline with which such later thinkers actively engaged. Although they relied heavily on traditional theological sources, this volume highlights the extent to which they also made use of philosophy not only from the Greek but also the Arabic traditions in ways that defined the role it would play in theological contexts for generations to follow.
Contemporary historiography of philosophy addresses the philosophy produced in Greek after the Fall of Constantinople and until the Modern Greek Enlightenment through two frameworks: that of post-Byzantine philosophy and that of Corydallism, preceded by a ‘pre-Corydallic’ and followed by a ‘post-Corydallic’ period. Despite their differences, both frameworks posit a continuity of this philosophy with Byzantine philosophy. I argue that the structure and contents of the treatises and handbooks of logic produced in the Heptanese and in Ottoman Greece during the seventeenth and eighteenth centuries can by no means be accounted for with reference to Byzantine philosophy.
This article offers the first critical edition of and philological commentary on a previously unpublished prefatory text (Ἕτερον προοίμιον) transmitted under the name of Theophilos Korydalleus and found in over forty-five manuscripts of his Aristotelian Logic. It examines the status, content, and manuscript transmission of this brief philosophical treatise, which has hitherto been neglected in favour of the more extensive prologue printed in the 1729 edition. Drawing on new manuscript evidence, particularly a marginal scholion by Iakovos Argeios (Add MS 7143, British Library), the study argues that the Ἕτερον προοίμιον constitutes the authentic preface by Korydalleus himself, whereas the longer prologue should be attributed to his disciple and successor Ioannes Karyophylles. This attribution, if accepted, sheds light on the process of textual interpolation and ideological appropriation within the Patriarchal Academy of Constantinople during the late seventeenth century. The study situates the controversy over the two prologues within the broader intellectual and political conflict between the Korydallean tradition, represented by Karyophylles, and the faction aligned with Alexander Mavrokordatos. By highlighting the interplay between manuscript transmission, authorship, and institutional power, the article contributes to ongoing efforts to reassess the contours of post-Byzantine philosophical education and the editorial challenges posed by early modern Greek Aristotelianism.
This chapter provides a discussion on multivariate random variables, which are collections of univariate random variables. The chapter discusses how the presence of multiple random variables gives rise to concepts of covariance and correlation, which capture relationships that can arise between variables. The chapter also discussed the multivariate Gaussian model, which is widely used in applications.
In this introduction, we first describe the contents of the Summa Logicae in some detail, situating the work in the larger context of medieval logical texts of the thirteen and fourteenth centuries and explaining why it occupies pride of place in Ockham’s philosophical project. Second, we argue that the Summa Logicae was most likely composed in Avignon between 1324 and 1328 contrary to the accepted view that Ockham wrote it in London over the summer of 1323. Third, we trace the legacy of the Summa Logicae from its first reception in Oxford and Paris in the 1330s, into the Parisian controversies of the 1330s and 1340s, and its dissemination further into Europe over the course of the next century or so. We end this history by noting the 1974 publication of the modern critical edition of the Summa Logicae, which was an enormously significant landmark in Ockham studies.
I first present a model of Ockham’s semantics that puts modality front and center (it is a presheaf semantics over a branching timeline). I then show what kinds of statements about language Ockham’s semantics supports. Finally, I discuss how Ockham’s semantics fares in light of Tarski’s and Montague’s paradoxes.