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 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.
Chapter 4 introduces students to logical values, a simple data type that can only take values of one and zero. While simple, logical values are essential components of program flow (conditionals, loops) which they will learn next, so mastery of them is essential before tackling those more difficult tools. Logical values can also be used to subset arrays according to their values, making them critical for complex data management tasks. Students new to programming are often unfamiliar with operations that create logical values, or which operate on logical values, so this chapter provides detailed explanations and examples to familiarize students with this new and valuable data type.
Heidegger’s subordination of reason to “care” in Being and Time has exposed him to the charge of irrationalism. Against this view, I argue that Being and Time offers a “normativity-first” account in which reason, as reason-giving (logon didonai), is an ineluctable demand constitutive of authentic selfhood. Examining Heidegger’s rejection of the neo-Kantian equation of reason with logic in his 1929 Kantbuch, I explain the threads that connect what Heidegger calls “pure sensible reason” to his extensive phenomenological account, in Being and Time, of the “everyday” and “authentic” modes of Dasein’s care-structure. As authenticity’s discursive mode, the “call of conscience” is Dasein’s portal into normative space. As the essay “On the Essence of Ground” makes plain, Dasein’s response to the call involves answerability for what it holds to be best in its practical life, hence reason-giving. Such an origin of reason contrasts with rationalism only in eschewing any principle of sufficient reason.
A first-order expansion of $(\mathbb {R},+,<)$ is dp-minimal if and only if it is o-minimal. We prove analogous results for algebraic closures of finite fields, p-adic fields, ordered abelian groups with only finitely many convex subgroups (in particular archimedean ordered abelian groups), and abelian groups equipped with archimedean cyclic group orders. The latter allows us to describe unary definable sets in dp-minimal expansions of $(\mathbb {Z},+,S)$, where S is a cyclic group order. Along the way we describe unary definable sets in dp-minimal expansions of ordered abelian groups. In the last section we give a canonical correspondence between dp-minimal expansions of $(\mathbb {Q},+,<)$ and o-minimal expansions ${\mathscr R}$ of $(\mathbb {R},+,<)$ such that $({\mathscr R},\mathbb {Q})$ is a “dense pair.”.
This Element delves into the relationship between logic and the sciences, a topic brought to prominence by Quine, who regarded logic as methodologically and epistemologically akin to the sciences. For this reason, Quine is seen as the forefather of anti-exceptionalism about logic (AEL), a stance that has become prevalent in the philosophy of logic today. Despite its popularity and the volume of research it inspires, some core issues still lack clarity. For one thing, most works in the debate remain vague on what should count as logic and what should count as a science. Furthermore, the terms of the comparison are rarely specified and discussed in a systematic way. This Element purports to advance the debate on these crucial issues with the hope of fostering our understanding of the fundamentals of AEL. This title is also available as Open Access on Cambridge Core.