This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Professor Bynum has contributed a biographical essay, introduction, and extensive bibliography.

This volume contains English translations of Frege's early writings in logic and philosophy and of relevant reviews by other leading logicians. Professor Bynum has contributed a biographical essay, introduction, and extensive bibliography.

Summary In the early years of the nineteenth century, the English chemist John Dalton (1766–1844) developed his atomic theory, a set of theoretical commitments describing the nature of atoms and the rules guiding their interactions and combinations. In this paper, I examine a set of conceptual and illustrative tools used by Dalton in developing his theory as well as in presenting it to the public in printed form as well as in his many public lectures. These tools—the concept of (...) ‘atmosphere’, the pile of shot analogy, and Dalton's system of chemical notation—served not just to guide Dalton's own thinking and to make his theories clear to his various audiences, but also to bind these theories together into a coherent system, presented in its definitive form in the three volumes of A New System of Chemical Philosophy (1808, 1810, and 1827). Despite these links, Dalton's contemporaries tended to pick and choose which of his theories to accept; his system of notation failed to be adopted in part because it embodied the whole of his system indivisibly. (shrink)

This article establishes itself first in a kind of slough, a lack of inspiration, and transvalues this via Fred Wah’s poem “Ikebana” and Roland Barthes’s celebration of haiku as a form that “lacks inspiration.” Following Barthes on “the minimal act of writing that is Notation,” this article explores and theorizes the status of the notational in and for poetics. The article registers and sustains the ambiguity in notatio, notationis and suggests that the notational points to a conceptual dialectic (...) between condensation and dilation. Poets Tonya Foster and W. S. Graham offer key cases, as do the author’s own poems. The article moves from haikus and other short forms (including the imagist poem) to haibuns (a mixed form of verse and prose) to questions of accent as a mode of differentiation from the surround. Drawing on Claudia Rankine and Jacques Rancière (as well as on classical rhetoric), the article also shows how the notational as censure might register antagonisms and not only accents or gestures (as notational forms are typically glossed). Alert to the enmeshment of notational forms with other media—such as the novel and photography—the article suggests in its final turn that a notational poetics can also vivify the (sometimes latent) diegetic aspect of short, minimal, “uninspired,” supposedly “immediate” notational forms and practices, as we see in the dance of notation and annotation, or in the unfolding of haiku within mixed forms such as the haibun. (shrink)

Truth diagrams are introduced as a novel graphical representation for propositional logic. To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive representation for PL should encompass. TDs address all the criteria whereas seven other existing representations for PL only provide partial coverage. These existing representations are: the linear formula notation, truth tables, a PL specific interpretation of Venn Diagrams, Frege’s conceptual notation, diagrams from Wittgenstein’s Tractatus, Pierce’s alpha graphs and Gardner’s shuttle (...) diagrams. The comparison of the representations succeeds in distinguishing ideas that are fundamental to PL from features of common PL representations that are somewhat arbitrary. (shrink)

This book constitutes the proceedings of the Third International Conference on Conceptual Structures, ICCS '95, held in Santa Cruz, California in August 1995. Conceptual structures are a modern treatment of Peirce's existential graphs, a graphic notation for classical logic with higher order extensions. Besides three invited papers, there are included 21 revised full papers selected from 58 submission. The volume reflects the state-of-the-art in this research area of growing interest. The papers are organized in sections on natural (...) language, applications, programming in conceptual graphs, machine learning and knowledge acquisition, hardware and implementation, graph operations, and ontologies and theory. (shrink)

Conceptual models are descriptions of our ideas about a problem, used to shape the implementation of a solution to it. Everyone who builds complex information systems uses such models - be they requirements analysts, knowledge modellers or software designers - but understanding of the pragmatics of model design tends to be informal and parochial. Lightweight uses of logic can add precision without destroying the intuitions we use to interpret our descriptions. Computing with logic allows us to make use of (...) this precision in providing automated support tools. Modern information scientists need to know what these methods are for and may need to build their own. This book gives you a place to begin. Where do you start when building models in a precise language like logic? One way is by following standard paradigms for design and adapting these to your needs. Some of these come from an analysis of existing informal notations. Others are from within logic itself. We take you through a sample of these, from more commonplace styles of formal modelling to non-standard methods such as techniques editing and argumentation. Each of these provides a window onto broader areas of applied logic and gives you a basis for adapting the method to your own needs. (shrink)

Context: Constructivist teachers who find themselves working within an educational system that adopts a realist epistemology, may find themselves at odds with their own beliefs when they catch themselves paying closer attention to the knowledge authorities intend them to teach rather than the knowledge being constructed by their learners. Method: In the preliminary analysis of the mathematical learning of six low-performing Year 7 boys in a Maltese secondary school, whom one of us taught during the scholastic year 2014-15, we constructed (...) a conceptual framework which would help us analyze the extent to which he managed to be sensitive to constructivism in a typical classroom setting. We describe the development of the framework M-N-L as a viable analytical tool to search for significant moments in the lessons in which the teacher appeared to engage in what we define as “constructivist teaching” during mathematics lessons. The development of M-N-L is part of a research program investigating the way low-performing students make mathematical sense of new notation with the help of the software Grid Algebra. Results: M-N-L was found to be an effective instrument which helped to determine the extent to which the teacher was sensitive to his own constructivist beliefs while trying to negotiate a balance between the mathematical concepts he was expected to teach and the conceptual constructions of his students. Implications: One major implication is that it is indeed possible for mathematics teachers to be sensitive to the individual constructions of their learners without losing sight of the concepts that society, represented by curriculum planners, deems necessary for students to learn. The other is that researchers in the field of education may find M-N-L a helpful tool to analyze CT during typical didactical situations established in classroom settings. (shrink)

This book is designed to make accessible to nonspecialists the still evolving concepts of quantum mechanics and the terminology in which these are expressed. The opening chapters summarize elementary concepts of twentieth century quantum mechanics and describe the mathematical methods employed in the field, with clear explanation of, for example, Hilbert space, complex variables, complex vector spaces and Dirac notation, and the Heisenberg uncertainty principle. After detailed discussion of the Schrödinger equation, subsequent chapters focus on isotropic vectors, used to (...) construct spinors, and on conceptual problems associated with measurement, superposition, and decoherence in quantum systems. Here, due attention is paid to Bell's inequality and the possible existence of hidden variables. Finally, progression toward quantum computation is examined in detail: if quantum computers can be made practicable, enormous enhancements in computing power, artificial intelligence, and secure communication will result. This book will be of interest to a wide readership seeking to understand modern quantum mechanics and its potential applications. (shrink)

This paper argues that a particular point raised by Schröder – that Frege's logical notation fails to be modelled on arithmetical notation – is based on a misunderstanding, for the modelling was meant as conceptual, rather than notational.

Exact sciences are described as sciences whose theories are formalized. These are contrasted to inexact sciences, whose theories are not formalized. Formalization is described as a broader category than mathematization, involving any form/content distinction allowing forms, e.g., as represented in theoretical models, to be studied independently of the empirical content of a subject-matter domain. Exactness is a practice depending on the use of theories to control subject-matter domains and to align theoretical with empirical models and not merely a state of (...) a science. Inexact biological sciences tolerate a degree of “mismatch” between theoretical and empirical models and concepts. Three illustrations from biological sciences are discussed in which formalization is achieved by various means: Mendelism, Weismannism, and Darwinism. Frege’s idea of a “conceptual notation” is used to further characterize the notion of a form/content distinction. (shrink)

Let us assume that you are entrusted by UNESCO with an important task. You are asked to devise a universal logical language, a Begriffsschrift in Frege's sense, which is to serve the purposes of science, business and everyday life. What requirements should such a “conceptual notation” satisfy? There are undoubtedly many relevant desiderata, but here I am focusing on one unmistakable one. In order to be a viable lingua universalis, your language must in any case be capable of (...) representing any possible configuration of dependence and independence between different variables. For if such a configuration is possible in principle, there is no guarantee that it might not one day show up among the natural, human or social phenomena we have to study.But how are dependencies and independencies between variables expressed in our familiar logical notation? Every logician worth his or her truth-table knows the answer. Dependencies between two variables are expressed by dependencies between the quantifiers to which they are bound. For instance, inthe variable y depends on x, while inz depends on x but not on y, while u depends on both x and y.But how is the dependence of a quantifier on another one expressed in familiar logical languages? Obviously by occurring in its scope, indicated by the pair of parentheses following it. But the nesting of scopes is a transitive and antisymmetrical relation which allows branching only in one direction. Hence other kinds of structures of dependence and independence between variables are not representable in the received logical notation. Such previously inexpressible structures form the subject matter of what has been referred to as independence-friendly logic. (shrink)

This paper introduces a novel interpretation of Wittgenstein’s Tractatus, a work widely held to be one of the most intricate in the philosophical canon. We understand the Tractatus not as the development of a theory but as the advancement of a new logical symbolism (a new instrument) that enables one to “recognize the formal properties [the logic] of propositions by mere inspection of propositions themselves” (6.122). Moreover, the Tractarian conceptual notation stands to instruct us in a better way (...) to follow the logic of language, and by that token, enhances our ability to think. Upon acquiring the thinking skills that one can develop by working with this symbolism, one can “throw away [this] ladder” (6.54), as it were, and move on. (shrink)

One of the central logical ideas in Wittgenstein’sTractatus logico-philosophicusis the elimination of the identity sign in favor of the so-called “exclusive interpretation” of names and quantifiers requiring different names to refer to different objects and (roughly) different variables to take different values. In this paper, we examine a recent development of these ideas in papers by Kai Wehmeier. We diagnose two main problems of Wehmeier’s account, the first concerning the treatment of individual constants, the second concerning so-called “pseudo-propositions” (Scheinsätze) of (...) classical logic such as$a=a$or$a=b \wedge b=c \rightarrow a=c$. We argue that overcoming these problems requires two fairly drastic departures from Wehmeier’s account: (1) Not every formula of classical first-order logic will be translatable into asingleformula of Wittgenstein’s exclusive notation. Instead, there will often be a multiplicity of possible translations, revealing the original “inclusive” formulas to beambiguous. (2) Certain formulas of first-order logic such as$a=a$will not be translatable into Wittgenstein’s notation at all, being thereby revealed as nonsensical pseudo-propositions which should be excluded from a “correct” conceptual notation. We provide translation procedures from inclusive quantifier-free logic into the exclusive notation that take these modifications into account and define a notion of logical equivalence suitable for assessing these translations. (shrink)

Let us assume that you are entrusted by UNESCO with an important task. You are asked to devise a universal logical language, a Begriffsschrift in Frege's sense, which is to serve the purposes of science, business and everyday life. What requirements should such a “conceptual notation” satisfy? There are undoubtedly many relevant desiderata, but here I am focusing on one unmistakable one. In order to be a viable lingua universalis, your language must in any case be capable of (...) representing any possible configuration of dependence and independence between different variables. For if such a configuration is possible in principle, there is no guarantee that it might not one day show up among the natural, human or social phenomena we have to study.But how are dependencies and independencies between variables expressed in our familiar logical notation? Every logician worth his or her truth-table knows the answer. Dependencies between two variables are expressed by dependencies between the quantifiers to which they are bound. For instance, inthe variable y depends on x, while inz depends on x but not on y, while u depends on both x and y.But how is the dependence of a quantifier on another one expressed in familiar logical languages? Obviously by occurring in its scope, indicated by the pair of parentheses following it. But the nesting of scopes is a transitive and antisymmetrical relation which allows branching only in one direction. Hence other kinds of structures of dependence and independence between variables are not representable in the received logical notation. Such previously inexpressible structures form the subject matter of what has been referred to as independence-friendly logic. (shrink)

Available from UMI in association with The British Library. Requires signed TDF. ;The central position defended in this work is that Analytical philosophy is the best realization so far of Descartes' concern for the construction of a method of scientific investigation in philosophy. ;In Frege, the father of Analytical philosophy, such concern was embodied in his Conceptual Notation, which should have provided philosophy with a rigorous and powerful deductive system, and in the 'linguistic turn', i.e. the study of (...) the structure of thought conducted by means of an analysis of the structure of language. This 'linguistic turn' should have produced, in Frege's view, definitive conclusions about the limits of what is thinkable not by setting up arbitrary systems of Pure Reason, but through the controllable investigation of the logical structure of an entity--language--of which we have conceptual experience. ;Wittgenstein's later philosophy is seen here as an attack against the aims and tenets of Analytical philosophy. In fact, what Wittgenstein shows in Philosophical Investigations is, among other things, that by means of an investigation of language it is impossible to justify the assumption that language is an expression of thought. But, if this were true, it would follow that we were not justified in assuming that there exists an isomorphism between language and thought. That there is such an isomorphism is the presupposition which lies at the basis of Frege's 'linguistic turn'. ;In conclusion I attempt to prove that there is no solution to Wittgenstein's objections unless the original exclusively linguistic Analytical philosophy model is modified by a 'pragmatic turn'. The key element of the 'pragmatic turn' is that the truth of certain assumptions--and therefore the justification for their introduction--can be confirmed by the impact that the system based on them has on reality in controlling and transforming it successfully through techniques which are logically dependent on the system. (shrink)

Frege’s use of a judgment stroke in his conceptual notation has been a matter of controversy, at least since Wittgenstein rejected it as “logically quite meaningless” in the Tractatus. Recent defenders of Frege include Tyler Burge, Nicolas Smith and Wolfgang Künne, whereas critics include William Taschek and Edward Kanterian. Against the background of these defenses and criticisms, the present paper argues that Frege faces a dilemma the two horns of which are related to his early and later conceptions (...) of asserted content respectively. On the one hand, if content is thought of as something that has propositional structure, then the judgment stroke is superfluous. On the other hand, if what is to the right of the judgment stroke is conceived as a sort of name designating a truth-value, then there is no consistent way to avoid construing the judgment stroke as a kind of predicate, and thereby fail to do justice to the act-character of judgment and assertion. (shrink)

Gottlob Frege (1848-1925) was one of the founders of analytical philosophy and the greatest innovator in logic since Aristotle. He introduced many influential philosophical ideas, such as the distinctions between function and argument, or between sense and reference. However, his thought is not readily accessible to the non- expert. His conception of logic, which was crucial to his grand project, the reduction of arithmetic to logic, is especially difficult to grasp. This book provides a lucid and critical introduction to Frege's (...) logic, as he developed it in his groundbreaking first book Begriffsschrift (Conceptual Notation, 1879). It guides the reader directly to the core of Frege's philosophy, and to some of the most pertinent issues in contemporary philosophy of language, logic, mathematics, and mind. Unlike most other books, this commentary explains Frege's own logical notation, allowing students to study and appreciate those aspects of his work that he valued most but are least understood today. (shrink)

The unique relation between logic and truth is crucial for understanding Fregean conception of logic. Frege has an insight that the nature of logic resides in the “truth“, which he finally locates in the assertoric-force of a sentence. Though Frege admits that assertoric-force is ineffable in ordinary language, he coins in his conceptual notation for such a force a much-disputed sign, i.e., judgment-stroke. In this paper, I will try to demonstrate that judgment-stroke is not adequate for the task (...) its inventor has assigned to it. Accordingly, it is misconceived and inconducive to clarify Frege’s vague insight into the protorelation. The mistake of judgment-stroke for the sign of assertoric-force has its root in Frege’s ignorance of the significant difference between “judgment” and assertion”, which will be elucidated at length in the light of Husserl’s theory of “doxic-modification“. In the end, based on a further elucidation of the activity of assertion, I will advance a tentative interpretation of the vague insight Frege has concerning the protorelation. (shrink)

Neste artigo daremos principal atenção aos dois critérios de identidade de conteúdo conceitual que estão presentes nos §§ 3 e 8 da Conceitografia de Gottlob Frege. Nosso propósito é analisar as características destes critérios da notação conceitual de Frege porque pretendemos delimitar a discussão em torno dos problemas relacionados às noções de identidade intensional e extensional. Dessa forma, pretendemos: analisar os critérios de identidade de conteúdo conceitual presentes nos §§ 3 e 8 da Conceitografia com o objetivo de mostrar que (...) Frege apresentou uma caracterização híbrida da noção de conteúdo conceitual e fazer considerações a respeito de relações que podemos estabelecer entre os critérios intensionais e extensionais de Frege e Richard Kirkham presentes no livro Teorias da Verdade: Uma Introdução Crítica. Com tais comparações pretendemos averiguar: se o critério de identidade do § 8 da Conceitografia é idêntico ao critério extensional de equivalência material de Kirkham e se o critério de identidade do § 3 da Conceitografia é mais forte, mais fraco ou idêntico aos critérios intensionais de equivalência essencial e de equivalência de sinonímia de Kirkham.: In this paper we will give primary attention to two identity criteria of conceptual content that are present in §§ 3 and 8 of Gottlob Frege's Begriffsschrift. Our purpose is to analyze the characteristics of these criteria of conceptual notation of Frege because we want to delimit the discussion around problems related to the notions of intensional and extensional identity. Thus, we intend to: analyze the identity criteria of conceptual content present in §§ 3 and 8 of Begriffsschrift aiming to show that Frege introduced a hybrid characterization of the notion of conceptual content and make considerations about the relationships that we establish between intensional and extensional criteria of Frege and Richard Kirkham present in the book Theories of Truth: A Critical Introduction. With such comparisons we intend to investigate: if the identity criterion of § 8 of Begriffsschrift is identical to the extensional criterion of material equivalence in Kirkham and if the identity criterion of § 3 of Begriffsschrift is stronger, weaker or identical to intensional criteria of essential equivalence and of synonyms equivalence of Kirkham. Key words: Identity, Intensional Criterion, Extensional Criterion. (shrink)

This book contains English translations of nearly all Frege's published writings other than Begriffsschrift, Grundlagen, and Grundgesetze. The works translated are selected from Kleine Schriften. About thirty percent of Collected Papers has never appeared in English before. This includes Frege's Göttingen dissertation, "On a Geometrical Representation of Imaginary Forms in the Plane", and his Jena Habilitationsschrift, "Methods of Calculation based on an Extension of the Concept of Quantity". Also translated for the first time are six brief reviews of mathematical works, (...) a reply to Cantor's review of Grundlagen, two short mathematical lectures: "Lecture on a Way of Conceiving the Shape of a Triangle as a Complex Quantity" and "Lecture on the Geometry of Pairs of Points in the Plane", and a satire, "On Mr. H. Schubert's Numbers". Everything else in Collected Papers has appeared in English before in various journals and books. Frege's only published works not translated here are three explanations of Begriffsschrift and a short lecture, "Ueber den Briefwechsel Leibnizens und Huygens mit Papin", which apparently has not been translated into English. Thus, with the exception of the complete Grundgesetze, the publication of this book, together with The Foundations of Arithmetic, Conceptual Notation, Philosophical and Mathematical Correspondence, and Posthumous Writings, makes almost all Frege's known surviving work, both published and unpublished, available in English. (shrink)

Usual narratives among prehistoric archaeologists consider typological approaches as part of a past and outdated episode in the history of research, subsequently replaced by technological, functional, chemical, and cognitive approaches. From a historical and conceptual perspective, this paper addresses several limits of these narratives, which (1) assume a linear, exclusive, and additive conception of scientific change, neglecting the persistence of typological problems; (2) reduce collective developments to personal work (e.g. the “Bordes’” and “Laplace’s” methods in France); and (3) presuppose (...) the coherence and identity of these “methods” over time. It explores the case of the “Structural and analytical typology” method, developed in France, Spain, and Italy from the 1950s to the 2000s by Georges Laplace and his collaborators for lithic implements. This paper (1) provides a detailed historical account of the evolving content of this collective endeavour over five decades; (2) it addresses the epistemological question of what makes the identity and unity of a scientific method, demonstrating that the core component of the “analytical typology” lies in its particular way to represent real-world phenomena through its notation system; and (3) it reveals how this little known but significant episode of advances in the methods and theory of archaeology, contemporary but independent of the “New Archaeology” trend in English-speaking archaeology, was instrumental in the continuation of evolutionary perspectives in France and in the development of quantitative and formal methods in archaeology in southwestern Europe, foreseeing crucial knowledge representation issues raised today by digital methods in archaeology and data curation. (shrink)

Drawing conceptually and directly on music notation, this book investigates landscape architecture's inherent temporality. It argues that the rich history of notating time in music provides a critical model for this under-researched and under-theorised aspect of landscape architecture, while also ennobling sound in the sensory appreciation of landscape. It makes available to a wider landscape architecture and urban design audience the works of three influential composers - Morton Feldman, Gyorgy Ligeti and Michael Finnissy - presenting a critical evaluation of (...) their work within music, as well as a means in which it might be used in design research. Each of the musical scores is juxtaposed with design representations by Kevin Appleyard, Bernard Tschumi and William Kent, before the author examines four landscape spaces through the development of new landscape architectural notations. In doing so, this work offers valuable insights into the methods used by landscape architects for the benefit of musicians, and by bringing together musical composition and landscape architecture through notation, it affords a focused and sensitive exploration of temporality and sound in both fields. (shrink)

Positional notation and related numerical manipulation techniques of Indian origin were introduced to Europe during the twelfth century through Arabic mediation and vividly described by Fibonacci as modus Indorum, the method of the Indians. This article aims to juxtapose Sanskrit and Latin texts to highlight the connections and differences between matrix and reflection in a complex cultural process of diffusion and assimilation. With reference to positional notation, this contribution examines a conceptual distinction between the graphical notion of (...) position and a logical-classificatory principle hitherto perhaps not fully recognized, although present in the texts of both traditions. The thesis of a consequent diagrammatic conception of positional notation in its origins, as a system of rules relating graphical position and order of magnitude, is also advanced. (shrink)

We discuss conceptual change and progress within mathematics, in particular how tools, structural concepts and representations are transferred between fields that appear to be unconnected or remote from each other. The theoretical background is provided by the frame concept, which is used in linguistics, cognitive science and artificial intelligence to model how explicitly given information is combined with expectations deriving from background knowledge. In mathematical proofs, we distinguish two kinds of frames, namely structural frames and ontological frames. The interaction (...) between both kinds of frames can drive mathematical interpretation. We first discuss two examples where structural frames (formulaic notation) drive ontological development (the discovery or exploration of mathematical objects). The development of Boole’s Boolean algebra may at first appear as a metaphorical treatment of the (then) new area of logic. In the analysis, we discuss how different (aspects of) certain algebraic frames change in the transfer, how arising difficulties are solved and overall argue that Boole uses the numerical algebra frame as a research template for the discovery of a system for calculations in logic. Following Ifrah, we analyse the discovery of zero as an extension to the number ontology as driven by the development of notation. Both structural and ontological frames are extended and simplified as notation progresses. Finally, we discuss two examples from infinite combinatorics, viz. topological graph theory, and one foundational issue. In both examples, the two simultaneous frames about one object are maintained independently. They motivate different research questions, but may also fruitfully interact: shifting between multiple synchronously maintained perspectives acts as a motor of innovation. The analysis shows how a frame-based approach allows to model how different perspectives drive mathematical innovation because they highlight different aspects, questions and heuristics. (shrink)

This dissertation explores the concepts of naturalness, intrinsicality, and duplication. An intrinsic property is had by an object purely in virtue of the way that object is considered in itself. Duplicate objects are exactly similar, considered as they are in themselves. The perfectly natural properties are the most fundamental properties of the world, upon which the nature of the world depends. In this dissertation I develop a theory of intrinsicality, naturalness, and duplication and explore their philosophical applications. Chapter 1 introduces (...) the notions, gives a preliminary survey of some proposed conceptual connections between the notions, and sketches some of their proposed applications. Chapter 2 gives my background assumptions and introduces notational conventions. In chapter 3 I present a theory of naturalness. Although I take ‘natural’ as a primitive, I clarify this notion by distinguishing and explicating various conceptions of naturalness. In chapter 4 I give a theory of various notions related to naturalness, especially intrinsicality and duplication. I show that ‘intrinsic’ and ‘duplicate’ are interde nable, and then give analyses of these and other notions in terms of naturalness. If, as I think likely, naturalness cannot be analyzed, then what is the proper response? David Lewis suggests: accept naturalness as a primitive. I am sympathetic to this proposal, but not to the form Lewis gives it: chapter 5 contains an argument against Lewis’s theory of naturalness. In chapter 6 I reject the idea that naturalness is analyzable in terms of immanent universals. I focus on the work of D. M. Armstrong. I also criticize Armstrong’s arguments against transcendent universals. (shrink)

I am going to describe a variant formulation of classical extensional first-order logic and contrast it with the standard formulation. The formulation I will give is in one clear sense equivalent to the standard one, and it is a routine task to show that it is equivalent to it in this sense. So one might regard my formulation as a mere notational variation. But there are also ways in which the two formulations I will contrast are not equivalent, and I (...) will argue that these ways reflect an important conceptual difference between them. The differences become more important as one generalizes or extends classical logic in various ways, but they are there even in the classical systems. (shrink)

Church’s type theory, aka simple type theory, is a formal logical language which includes classical first-order and propositional logic, but is more expressive in a practical sense. It is used, with some modifications and enhancements, in most modern applications of type theory. It is particularly well suited to the formalization of mathematics and other disciplines and to specifying and verifying hardware and software. It also plays an important role in the study of the formal semantics of natural language. When utilizing (...) it as a meta-logic to semantically embed expressive non-classical logics further topical applications are enabled in artificial intelligence and philosophy. A great wealth of technical knowledge can be expressed very naturally in it. With possible enhancements, Church’s type theory constitutes an excellent formal language for representing the knowledge in automated information systems, sophisticated automated reasoning systems, systems for verifying the correctness of mathematical proofs, and a range of projects involving logic and artificial intelligence. Some examples and further references are given in Sections 1.2.2 and 5 below. Type theories are also called higher-order logics, since they allow quantification not only over individual variables, but also over function, predicate, and even higher order variables. Type theories characteristically assign types to entities, distinguishing, for example, between numbers, sets of numbers, functions from numbers to sets of numbers, and sets of such functions. As illustrated in Section 1.2.2 below, these distinctions allow one to discuss the conceptually rich world of sets and functions without encountering the paradoxes of naive set theory. Church’s type theory is a formulation of type theory that was introduced by Alonzo Church in Church 1940. In certain respects, it is simpler and more general than the type theory introduced by Bertrand Russell in Russell 1908 and Whitehead & Russell 1927a. Since properties and relations can be regarded as functions from entities to truth values, the concept of a function is taken as primitive in Church’s type theory, and the λ-notation which Church introduced in Church 1932 and Church 1941 is incorporated into the formal language. Moreover, quantifiers and description operators are introduced in a way so that additional binding mechanisms can be avoided, λ-notation is reused instead. λ-notation is thus the only binding mechanism employed in Church’s type theory. (shrink)

In this book, Kate Distin proposes a theory of cultural evolution and shows how it can help us to understand the origin and development of human culture. Distin introduces the concept that humans share information not only in natural languages, which are spoken or signed, but also in artefactual languages like writing and musical notation, which use media that are made by humans. Languages enable humans to receive and transmit variations in cultural information and resources. In this way, they (...) provide the mechanism for cultural evolution. The human capacity for metarepresentation - thinking about how we think - accelerates cultural evolution, because it frees cultural information from the conceptual limitations of each individual language. Distin shows how the concept of cultural evolution outlined in this book can help us to understand the complexity and diversity of human culture, relating her theory to a range of subjects including economics, linguistics, and developmental biology. (shrink)

Proposition 5.122 of Wittgenstein’s Tractatus has been the source of much puzzlement among interpreters, so much so that no fully satisfactory account is yet available. This is unfortunate, if only because the containment account of logical consequence has a venerable tradition behind it. Pasquale Frascolla’s interpretation of proposition 5.122 is based on a valid argument and one true premise. However, the argument explains sense containment only in an indirect way, leaving some crucial questions unanswered. Besides, Frascolla does not address the (...) issue of how to make sense containment notationally perspicuous, an essential theme in Wittgenstein’s reflections. In this paper, we elaborate on Frascolla’s account by looking at the issue through the Tractarian notion of logical space. Our analysis shows that, for containment to be fully appreciated, one should adopt a negative perspective on the notion of sense, in line with the exclusionary theory of conceptual content, as labelled by Ian Rumfitt. Besides this, we introduce and discuss two methods—one envisaged by Wittgenstein himself—for making sense containment notationally perspicuous. (shrink)

More often than not, notes are conceptualized as a technology for helping students stay focused on and attentive to subject matter deemed educationally valuable. This article concerns itself, however, with how notes may interrupt and render inoperative this learning function. To probe the question of attention and distraction, the authors devised an experiment in note taking. Our question is whether or not these forms of rendering the learning function of notes inoperative have any educational value. In conclusion, we suggest that (...) such activities, while divorced from official, outcomes-based learning, do indeed have educational meaning: they make present the potentiality for thinking and acting without forcing such potentiality into measurable forms. What remains is the notes themselves, and the notational effects they in turn generated and continue to generate. (shrink)

Many philosophers contend that Turing’s work provides a conceptual analysis of numerical computability. In (Rescorla, 2007), I dissented. I argued that the problem of deviant notations stymies existing attempts at conceptual analysis. Copeland and Proudfoot respond to my critique. I argue that their putative solution does not succeed. We are still awaiting a genuine conceptual analysis.