A central problem in the interpretation of non-relativistic quantum mechanics is to relate the conceptual structure of the theory to the classical idea of the state of a physical system. This paper approaches the problem by presenting an analysis of the notion of an elementary physical proposition. The notion is shown to be realized in standard formulations of the theory and to illuminate the significance of proofs of the impossibility of hidden variable extensions. In the interpretation of quantum mechanics (...) that emerges from this analysis, the philosophically distinctive features of the theory derive from the fact that it seeks to represent a reality of which complete knowledge is essentially unattainable. (shrink)

Contrary to explicit statements in the text of the Tractatus Logico‐Philosophicus, this essay argues that the notion of a negative elementary proposition makes sense within the Tractarian system. The suggestion depends upon separating two strains in Wittgenstein's account of propositional meaning: the picture theory of meaning, and the truth‐functional account of meaning. A proposition could be considered elementary if it contained only one elementary proposition or one elementary picture. In this approach, if p is an (...) class='Hi'>elementary proposition, then so is not‐p. Though this change would involve substantial revisions of the Tractatus, it squares with Wittgenstein's fundamental view that logical constants are not representatives. (shrink)

This paper is concerned with Wittgenstein's early doctrine of the independence of elementary propositions. Using the notion of a free generator for a logical calculus–a concept we claim was anticipated by Wittgenstein–we show precisely why certain difficulties associated with his doctrine cannot be overcome. We then show that Russell's version of logical atomism–with independent particulars instead of elementary propositions–avoids the same difficulties.

It is often held that Wittgenstein had to introduce numbers in elementary propositions due to problems related to the so-called colour-exclusion problem. I argue in this paper that he had other reasons for introducing them, reasons that arise from an investigation of the continuity of visual space and what Wittgenstein refers to as ‘intensional infinity’. In addition, I argue that the introduction of numbers by this route was prior to introducing them _via_ the colour-exclusion problem. To conclude, I (...) discuss two problems that Wittgenstein faced in the writings before _Some Remarks on Logical Form _, problems that are independent of the colour-exclusion problem but dependent on the introduction of numbers in elementary propositions. (shrink)

The paper introduces a semantics for the language of propositional additive-multiplicative linear logic. It understands formulas as tasks that are to be accomplished by an agent (machine, robot) working as a slave for its master (user, environment). This semantics can claim to be a formalization of the resource philosophy associated with linear logic when resources are understood as agents accomplishing tasks. I axiomatically define a decidable logic TSKp and prove its soundness and completeness with respect to the task semantics in (...) the following intuitive sense: iff can be accomplished by an agent who has nothing but its intelligence (that is, no physical resources or external sources of information) for accomplishing tasks. (shrink)

The method of calculating the degree of completeness presented below differs from methods discussed in [1] and [2] and is explicitly based on elementary properties of Lukasiewiczian valuations and reveals the character of possible enlargements of given n-valued Lukasiewicz logic. Above all it seems to be especially convenient for didactic purposes.

Bertrand Russell presented three systems of propositional logic, one first in Principles of Mathematics, University Press, Cambridge, 1903 then in “The Theory of Implication”, Routledge, New York, London, pp. 14–61, 1906) and culminating with Principia Mathematica, Cambridge University Press, Cambridge, 1910. They are each based on different primitive connectives and axioms. This paper follows “Peirce’s Law” through those systems with the aim of understanding some of the notorious peculiarities of the 1910 system and so revealing some of the early history (...) of classical propositional logic. “Peirce’s Law” is a valid formula of elementary propositional logic: [ ⊃ p] ⊃ p This sentence is not even a theorem in the 1910 system although it is one of the axioms in 1903 and is proved as a theorem in 1906. Although it is not proved in 1910, the two lemmas from the proof in 1906 occur as theorems, and Peirce’s Law could have been derived from them in a two step proof. The history of Peirce’s Law in Russell’s systems helps to reconstruct some of the history of axiomatic systems of classical propositional logic. (shrink)

Wittgenstein initially endorsed but then abandoned, by the time of “Some Remarks on Logical Form”, the view that elementary propositions are logically independent. In this paper it is argued that the doctrine of logical independence is in fact inconsistent with the intuitions and examples that motivated the picture theory of the Tractatus Logico-Philosophicus. This leaves the question of whether the logical independence of elementary propositions can be reconciled with the theory itself; the paper explores some interpretations (...) of the early Wittgenstein with which this is, and others with which it is not, consistent. (shrink)

Wittgenstein initially endorsed but then abandoned, by the time of “Some Remarks on Logical Form”, the view that elementary propositions are logically independent. In this paper it is argued that the doctrine of logical independence is in fact inconsistent with the intuitions and examples that motivated the picture theory of the Tractatus Logico-Philosophicus. This leaves the question of whether the logical independence of elementary propositions can be reconciled with the theory itself; the paper explores some interpretations (...) of the early Wittgenstein with which this is, and others with which it is not, consistent. (shrink)

Elementary Logic explains what logic is, how it is done, and why it can be exciting. The book covers the central part of logic that all students have to learn: propositional logic. It aims to provide a crystal-clear introduction to what is often regarded as the most technically difficult area in philosophy. The book opens with an explanation of what logic is and how it is constructed. Subsequent chapters take the reader step-by-step through all aspects of elementary logic. (...) Throughout, ideas are explained simply and directly, with the chapters packed with overviews, illustrative examples, and summaries. Each chapter builds on previous explanation and example, with the final chapters presenting more advanced methods. After a discussion of meta-logic and logical systems, the book closes with an exploration of how paradoxes can exist in the world of logic. Elementary Logic's clarity and engagement make it ideal for any reader studying logic for the first time. (shrink)

Originally published in 1966. This is a self-instructional course intended for first-year university students who have not had previous acquaintance with Logic. The book deals with "propositional" logic by the truth-table method, briefly introducing axiomatic procedures, and proceeds to the theory of the syllogism, the logic of one-place predicates, and elementary parts of the logic of many-place predicates. Revision material is provided covering the main parts of the course. The course represents from eight to twenty hours work. depending on (...) the student's speed of work and on whether optional chapters are taken. (shrink)

Wittgenstein's Tractatus contains a wide range of profound insights into the nature of logic and language – insights which will survive the particular theories of the Tractatus and seem to me to mark definitive and unassailable landmarks in our understanding of some of the deepest questions of philosophy. And yet alongside these insights there is a theory of the nature of the relation between language and reality which appears both to be impossible to work out in detail in a way (...) which is completely satisfactory, and to be bizarre and incredible. I am referring to the so-called logical atomism of the Tractatus. The main outlines of this theory at least are clear and familiar: there are elementary propositions which gain their sense from being models of possible states of affairs; such propositions are configurations of names of simple objects, signifying that those simples are analogously configured; every proposition has its sense through being analysable as a truth-functional compound of elementary propositions, thus deriving its sense from the sense of the elementary propositions when this view is taken in conjunction with the idea that the sense of a proposition is completely specified by specifying its truth-conditions. In this way the Tractatus incorporates in its working out a philosophical system analogous to the classical philosophical systems of Leibniz or Spinoza which are regarded by many people, in a sense rightly, as the prehistoric monsters of philosophy which are not to be studied as living organisms, but studied as the curiosities of human thought. And we may here agree that in the end we must simply reject a philosophy which incorporates such features as its postulation of simple eternal objects, or of a possibility of an analysis of a proposition which was presented as a pre-condition for the propositions that we ordinarily utter to make sense, and yet the specific form of which we are unaware of, and so on. (shrink)

Wittgenstein's Tractatus contains a wide range of profound insights into the nature of logic and language – insights which will survive the particular theories of the Tractatus and seem to me to mark definitive and unassailable landmarks in our understanding of some of the deepest questions of philosophy. And yet alongside these insights there is a theory of the nature of the relation between language and reality which appears both to be impossible to work out in detail in a way (...) which is completely satisfactory, and to be bizarre and incredible. I am referring to the so-called logical atomism of the Tractatus . The main outlines of this theory at least are clear and familiar: there are elementary propositions which gain their sense from being models of possible states of affairs; such propositions are configurations of names of simple objects, signifying that those simples are analogously configured; every proposition has its sense through being analysable as a truth-functional compound of elementary propositions, thus deriving its sense from the sense of the elementary propositions when this view is taken in conjunction with the idea that the sense of a proposition is completely specified by specifying its truth-conditions. In this way the Tractatus incorporates in its working out a philosophical system analogous to the classical philosophical systems of Leibniz or Spinoza which are regarded by many people, in a sense rightly, as the prehistoric monsters of philosophy which are not to be studied as living organisms, but studied as the curiosities of human thought. And we may here agree that in the end we must simply reject a philosophy which incorporates such features as its postulation of simple eternal objects, or of a possibility of an analysis of a proposition which was presented as a pre-condition for the propositions that we ordinarily utter to make sense, and yet the specific form of which we are unaware of, and so on. (shrink)

Cirquent calculus is a novel proof theory permitting component-sharing between logical expressions. Using it, the predecessor article ‘Elementary-base cirquent calculus I: Parallel and choice connectives’ built the sound and complete axiomatization $\textbf{CL16}$ of a propositional fragment of computability logic. The atoms of the language of $\textbf{CL16}$ represent elementary, i.e. moveless, games and the logical vocabulary consists of negation, parallel connectives and choice connectives. The present paper constructs the first-order version $\textbf{CL17}$ of $\textbf{CL16}$, also enjoying soundness and completeness. The (...) language of $\textbf{CL17}$ augments that of $\textbf{CL16}$ by including choice quantifiers. Unlike classical predicate calculus, $\textbf{CL17}$ turns out to be decidable. (shrink)

Compound propositions which can successfully be defended in a quantumdialogue independent of the elementary propositions contained in it, must have this property also independent of the mutual elementary commensur-abilities. On the other hand, formal commensurabilities must be taken into account. Therefore, for propositions which can be proved by P, irrespective of both the elementary propositions and of the elementary commensur-abilities, there exists a formal strategy of success. The totality of propositions with (...) a formal strategy of success in a quantum dialogue form the effective quantum logic. The propositions of the effective quantum logic can be derived from a calculus Q eff which is — on the other hand — equivalent to a lattice L qi.Propositions about measuring results are above all time dependent propositions A(S;t). In a dialogue, different partial propositions will have in general different time values. If one can (accidentally) win a material dialogue, this dialogue can be related to a single time value. For the propositions of the effective quantum logic there exist formal strategies of success, independent of the elementary propositions contained in it. All partial propositions appearing in the dialogue are formally commensurable. Therefore the propositions of effective quantum logic which can be proved by formal dialogues can always be related to a single time. They present a description of the system S considered in which all partial propositions can be related jointly to the state of S.Therefore in the effective quantum logic we have — in the limit of equal time values — a situation which corresponds conceptually to the description of the system (S; ψ) in Hilbert space. Consequently, one would expect that also the lattice L qi — except from the tertium non datur 8 — agrees with the lattice L q of subspaces of Hilbert space. It has been shown that these lattices are in fact isomorphic. (shrink)

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

First English translation of revolutionary paper that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.

The scientist’s decision of accepting a given proposition is assumed to be dependent on two factors: the scientist’s ‘private’ information about the value of that statement and the proportion of colleagues who also accept it. This interdependence is modelled in an economic fashion, and it is shown that it may lead to multiple equilibria. The main conclusions are that the evolution of scientific knowledge can be path-dependent, that scientific revolutions can be due to very small changes in the empirical evidence, (...) and that not all possible equilibria are necessarily efficient, neither in the economic nor in the epistemic sense. These inefficiencies, however, can be eliminated if scientists can form coalitions. (shrink)

The interpretation of propositions in Lukasiewicz's infinite-valued calculus as answers in Ulam's game with lies--the Boolean case corresponding to the traditional Twenty Questions game--gives added interest to the completeness theorem. The literature contains several different proofs, but they invariably require technical prerequisites from such areas as model-theory, algebraic geometry, or the theory of ordered groups. The aim of this paper is to provide a self-contained proof, only requiring the rudiments of algebra and convexity in finite-dimensional vector spaces.

The paper generalises Goldblatt's completeness proof for Lemmon–Scott formulas to various modal propositional logics without classical negation and without ex falso, up to positive modal logic, where conjunction and disjunction, andwhere necessity and possibility are respectively independent.Further the paper proves definability theorems for Lemmon–Scottformulas, which hold even in modal propositional languages without negation and without falsum. Both, the completeness theorem and the definability theoremmake use only of special constructions of relations,like relation products. No second order logic, no general frames are (...) involved. (shrink)

The scientist's decision of accepting a given proposition is assumed to be dependent on two factors: the scientist's 'private' information about the value of that statement and the proportion of colleagues who also accept it. This interdependence is modelled in an economic fashion, and it is shown that it may lead to multiple equilibria. The main conclusions are that the evolution of scientific knowledge can be path, dependent, that scientific revolutions can be due to very small changes in the empirical (...) evidence, and that not all possible equilibria are necessarily efficient, neither in the economic nor in the epistemic sense. These inefficiencies, however, can be eliminated if scientists can form coalitions. (shrink)

I. The algebra of classes.--II. The algebra of propositions. Applications. Numerically definite reasoning.--III-IV. Set Theory.

“Grammar” is Ludwig Wittgenstein's preferred term for the workings of a language: the system of rules that determine linguistic meaning. A philosophical study of language is a study of “grammar”, in this sense, and insofar as any philosophical investigation is concerned with conceptual details, which manifest themselves in language, it is a grammatical investigation. In the Tractatus Logico‐Philosophicus Wittgenstein offered a mathematical picture of language: presenting language as a calculus. Like a calculus, language was claimed to be governed by syntactic (...) rules: formation rules about the licit combination of names to form elementary propositions; formation rules about the licit combination of elementary propositions to make complex propositions; and finally, truth‐table rules, which enable us to identify logical truths and entailments. Logical grammar, for the young Wittgenstein, is only logical syntax and logical syntax can be determined without paying any attention to the meaning of the signs. (shrink)

The interplay of introduction and elimination rules for propositional connectives is often seen as suggesting a distinguished role for intuitionistic logic. We prove three formal results concerning intuitionistic propositional logic that bear on that perspective, and discuss their significance. First, for a range of connectives including both negation and the falsum, there are no classically or intuitionistically correct introduction rules. Second, irrespective of the choice of negation or the falsum as a primitive connective, classical and intuitionistic consequence satisfy exactly the (...) same structural, introduction, and elimination (briefly, elementary) rules. Third, for falsum as primitive only, intuitionistic consequence is the least consequence relation that satisfies all classically correct elementary rules. (shrink)

Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained in this fashion (`unfoldable cardinals') lie in the boundary of the propositions consistent with `V = L' and the existence of 0 ♯ . We also provide an `embedding characterisation' of the unfoldable cardinals and study their preservation and destruction by various forcing constructions.

An extensive literature overlapping economics, statistical decision theory and finance, contrasts expected utility [EU] with the more recent framework of mean–variance (MV). A basic proposition is that MV follows from EU under the assumption of quadratic utility. A less recognized proposition, first raised by Markowitz, is that MV is fully justified under EU, if and only if utility is quadratic. The existing proof of this proposition relies on an assumption from EU, described here as “Buridan’s axiom” after the French philosopher’s (...) fable of the ass that starved out of indifference between two bales of hay. To satisfy this axiom, MV must represent not only “pure” strategies, but also their probability mixtures, as points in the (σ, μ) plane. Markowitz and others have argued that probability mixtures are represented sufficiently by (σ, μ) only under quadratic utility, and hence that MV, interpreted as a mathematical re-expression of EU, implies quadratic utility. We prove a stronger form of this theorem, not involving or contradicting Buridan’s axiom, nor any more fundamental axiom of utility theory. (shrink)

Ifκis a measurable cardinal, let us say that a measure onκis aκ-complete nonprincipal ultrafilter onκ. IfUis a measure onκ, letjUbe the canonical elementary embedding ofVinto its Ultrapower UltU. Ifxis a set, say thatUmovesxwhenjU≠x; say thatκmovesxwhen some measure onκmovesx. Recall Kunen's lemma : “Every ordinal is moved only by finitely many measurable cardinals.” Kunen's proof and Fleissner's proof are essentially nonconstructive.The following proposition can be proved by using elementary facts about iterated ultrapowers.Proposition.Let ‹Un: n ∈ ω› be a sequence (...) of measures on a strictly increasing sequence ‹κn: n ∈ ω› of measurable cardinals. Let U = ‹ Wα: α < ω2›, where Wωm + n= Um. Then, for each θ inUltU,if E is the support of θ inUltU,then, for all m ∈ ω, Ummoves θ iff E ∩ [ωm, ω)≠ ∅. (shrink)

Mitchell et al. contemplate the possibility of rats being capable of propositional reasoning. We suggest that this is an unlikely and unsubstantiated possibility. Nonhuman animals and human infants do learn about the contingencies in the world; however, such learning seems not to be based on propositional reasoning, but on more elementary associative processes.

The paper presents an interpretation of the thinking behind the early Wittgenstein's “general form of the proposition.” It argues that a central role is played by the assumption that all domains of discourse are governed by the same laws of logic. The interpretation is presented partly through a comparison with ideas presented recently by Michael Potter and Peter Sullivan; the paper argues that the above assumption explains more of the key characteristics of the “general form of the proposition” than Potter (...) and Sullivan suppose, including, in particular, its claim that the bases from which all other propositions are derived must be elementary propositions. (shrink)

The paper presents an interpretation of the thinking behind the early Wittgenstein's "general form of the proposition." It argues that a central role is played by the assumption that all domains of discourse are governed by the same laws of logic. The interpretation is presented partly through a comparison with ideas presented recently by Michael Potter and Peter Sullivan; the paper argues that the above assumption explains more of the key characteristics of the "general form of the proposition" than Potter (...) and Sullivan suppose, including, in particular, its claim that the bases from which all other propositions are derived must be elementary propositions. (shrink)

The interplay of introduction and elimination rules for propositional connectives is often seen as suggesting a distinguished role for intuitionistic logic. We prove three formal results about intuitionistic propositional logic that bear on that perspective, and discuss their significance.

The nature of necessary truth was a central concern of Ludwig Wittgenstein. It was present in his early reflections on logic, a core motif of the Tractatus, and a topic he returned to over and again in his reflections on language, logic, and mathematics. This chapter explores the aspects of Wittgenstein's account of necessity and apriority, beginning with the Tractatus, where many of his core insights received their first expression. It discusses two more contemporary accounts of these topics: conceptual role (...) semantic theories of the a priori, and the arguments for divorcing apriority from necessity. Necessity in the Tractatus appears at two locations. One is at the level of individual elementary propositions. The other is at the level of the inferential connections between propositions. The chapter looks at the Tractatus theory of the proposition. Wittgenstein saw an important difference between the formulations of the rules of grammar and descriptions of states of affairs. (shrink)

Inspired by Bertrand Russell's theory of descriptions, Wittgenstein held that the surface grammar of a proposition may be highly misleading as to the underlying structure of a proposition. Wittgenstein explains how elementary propositions can have sense by drawing an analogy with a picture or model, such as the model of the scene of an accident. One key claim of the picture theory of meaning is that elementary propositions are capable of being true and capable of being (...) false independently of one another. If it is a matter of debate whether or not Wittgenstein adhered to a deflationary account of truth at the time of the Tractatus, it is clear that he later espoused deflationary views about truth. One problem for deflationary accounts of truth along the lines of Prior has been the treatment of propositions in which we seem to be faced with an ascription of truth to a named proposition. (shrink)

Lucid, non-intimidating presentation of propositional logic, propositional calculus and predicate logic by Russian scholar. Topics of concern in a variety of fields, including computer science, systems analysis, linguistics, etc. Accessible to high school students; valuable review of fundamentals for professionals. Exercises (no solutions). Preface. Three appendices. Indices. Bibliogaphy. 14 figures.

This paper investigates Wittgenstein’s account of the relation between elementary and molecular propositions (and thus, also, the propositions of logic) in the Tractatus Logico-Philosophicus. I start by sketching a natural reading of that relation – which I call the “bipartite reading” – holding that the Tractatus gives an account of elementary propositions, based on the so-called picture theory, and a different account of molecular ones, based on the principle of truth- functionality. I then show that (...) such a reading cannot be attributed to Wittgenstein, because he holds the view that an explanation of logical complexity is already given by a correct account of the (pictorial) nature of elementary propositions; this is implied in his claim that “an elementary proposition contains all logical constants/operations in itself”. After clarifying Wittgenstein’s notion of an operation from the Notes on Logic to the Tractatus, I finally explain why Wittgenstein claims that an elementary proposition contains all logical operations in itself, and hence why he can be said to provide a unified (and thus not bipartite) account of language and logic. (shrink)

In the paper “Categoricity in abstract elementary classes with no maximal models”, we address gaps in Saharon Shelah and Andrés Villavecesʼ proof in [4] of the uniqueness of limit models of cardinality μ in λ-categorical abstract elementary classes with no maximal models, where λ is some cardinal larger than μ. Both [4] and [5] employ set theoretic assumptions, namely GCH and Φμ+μ+).Recently, Tapani Hyttinen pointed out a problem in an early draft of [3] to Villaveces. This problem stems (...) from the proof in Shelah and Villavecesʼ [4] that reduced towers are continuous. Residues of this problem also infect the proof of Proposition II.7.2 in VanDieren [5]. We respond to the issues in Shelah and Villaveces [4] and VanDieren [5] with alternative proofs under the strengthened assumption that the abstract elementary class is categorical in μ+. (shrink)

In On the Genesis of Thought and Language, linguist Alexey Koshelev explores fundamental questions of how human concepts arise in a child, why concepts appear in a child before words, the genesis of language, and why there are so many languages. Chapter One introduces the fundamental dichotomy "visual (exogenous) vs. functional (endogenous)" cognitive units; these units are used to give non-verbal definitions of mental representations of various objects, actions, and situations. In particular, definitions of such concepts as GLASS, CHAIR, BANANA, (...) TREE, LAKE, RUN, and some others are given. Chapter Two discusses how children form concepts, hierarchical relationships, and propositions (conceptual 'utterances'). It is shown that the initial units of the child's representation of the world are pre-conceptual cognitive units--mental representations of whole situations. In the course of two consecutive cycles in the child's cognitive development, these units transform into (a) primary notions--object and motor concepts, and (b) binary role relationships. Together, they constitute the elementary language of thought which, in the process of thinking, is used to build conceptual structures--propositions. It is further demonstrated that, immediately after the formation of thought, the child begins to develop his native language in which concrete and motor concepts become initial meanings of nouns and verbs, while propositions become the meanings of the child's expressions. The chapter concludes with a contrastive analysis of the proposed approach and Aristotle's and Chomsky's views on thought and language. Chapter Three analyzes how a community's culture affects its language. It is demonstrated that the progress of a community, the main constituent of the civilizational component of its culture, enhances the development of the content component of language by extending the range of its lexical and grammatical meanings. In the context of this analysis, Daniel Everett's (2008) hypothesis that culture affects language structure is discussed. In the subsequent sections, models of the development of human and social activity are offered. These models comprise three components: Activity (main component), Thought, and Language (auxiliary components that ensure the successful realization of activities). The models are illustrated with examples of some concrete societies. (shrink)