This paper presents a way of formalising definite descriptions with a binary quantifier ι, where ιx[F, G] is read as ‘The F is G’. Introduction and elimination rules for ι in a system of intuitionist negative free logic are formulated. Procedures for removing maximal formulas of the form ιx[F, G] are given, and it is shown that deductions in the system can be brought into normal form.

This paper presents rules in sequent calculus for a binary quantifier I to formalise definite descriptions: Ix[F, G] means ‘The F is G’. The rules are suitable to be added to a system of positive free logic. The paper extends the proof of a cut elimination theorem for this system by Indrzejczak by proving the cases for the rules of I. There are also brief comparisons of the present approach to the more common one that formalises definite descriptions (...) with a term forming operator. In the final section rules for I for negative free and classical logic are also mentioned. (shrink)

We investigate the formal theory of binary quantifiers, that is, quantifiers that take seriously the surface structure of natural language quantifier phrases. We show how to develop a natural deduction system for logics of this sort and demonstrate soundness and completeness results.

I show that the contemporary dominant analysis of natural language quantifiers that are one-place determiners by means of binary generalized quantifiers has failed to explain why they are, according to it, conservative. I then present an alternative, Geachean analysis, according to which common nouns in the grammatical subject position are plural logical subject-terms, and show how it does explain that fact and other features of natural language quantification.

A type quantifier F is symmetric iff F ( X, X )( Y ) = F ( Y, Y )( X ). It is shown that quantifiers denoted by irreducible binary determiners in natural languages are both conservative and symmetric and not only conservative.

This work presents the structure, distribution and semantic interpretation of quantificational expressions in languages from diverse language families and typological profiles. The current volume pays special attention to underrepresented languages of different status and endangerment level. Languages covered include American and Russian Sign Languages, and sixteen spoken languages from Africa, Australia, Papua, the Americas, and different parts of Asia. The articles respond to a questionnaire the editors constructed to enable detailed crosslinguistic comparison of numerous features. They offer comparable information on (...) semantic classes of quantifiers (generalized existential, generalized universal, proportional, partitive), syntactically complex quantifiers (intensive modification, Boolean compounds, exception phrases, et cetera), and several more specific issues such as quantifier scope ambiguities, floating quantifiers, and binary (type 2) quantifiers. The book is intended for semanticists, logicians interested in quantification in natural language, and general linguists as articles are meant to be descriptive and theory independent. The book continues and expands the coverage of the Handbook of Quantifiers in Natural Language (2012) by the same editors, and extends the earlier work in Matthewson (2008), Gil and others (2013) and Bach et al (1995). (shrink)

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

One well known problem regarding quantifiers, in particular the 1st order quantifiers, is connected with their syntactic categories and denotations.The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for categorial languages generated (...) by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functor-function defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (shrink)

The first aim of the paper is to show that under certain conditions generative syntax can be made suitable for Montague semantics, based on his type logic. One of the conditions is to make branching in the so-called X-bar syntax strictly binary, This makes it possible to provide an adequate semantics for Noun Phrases by taking them as referring to sets of collections of sets of entities ( type <ett,t>) rather than to sets of sets of entities (ett).

The aim of this paper is to provide a contribution to the natural logic program which explores logics in natural language. The paper offers two logics called \ \) and \ \) for dealing with inference involving simple sentences with transitive verbs and ditransitive verbs and quantified noun phrases in subject and object position. With this purpose, the relational logics are introduced and a model-theoretic proof of decidability for they are presented. In the present paper we develop algebraic semantics of (...) the logics using congruence theory. (shrink)

The following result is an approximation to the answer of the question of Kokorin about decidability of a quantifier-free theory of field of rational numbers. Let Q0 be a subset of the set of all rational numbers which contains integers 1 and −1. Let be a set containing Q0 and closed by the functions of addition, subtraction and multiplication. For example coincides with Q0 if Q0 is the set of all binary rational numbers or the set of all (...) decimal rational numbers. It is clear that , where Z is the set of all integers and Q is the set of all rational numbers. A negationless theory uses only conjunction and disjunction as logical connectives. Let T be a quantifier-free negationless elementary theory of signature , where Pol is the list of all polynomials with rational coefficients from Q0 in which exponent of the polynomials and rational coefficients are written in binary number system. Theorem 1. Theory T is NP-hard and if is everywhere dense then the theory T is decidable by an algorithm which belongs to EXPTIME. The set of all rational numbers or the set of all binary rational numbers may be taken instead of . The quantifier-free negationless theory of the field of rational numbers may be regarded as a base of constructive mathematics. (shrink)

Hyperbolic geometry can be axiomatized using the notions of order andcongruence (as in Euclidean geometry) or using the notion of incidencealone (as in projective geometry). Although the incidence-based axiomatizationmay be considered simpler because it uses the single binary point-linerelation of incidence as a primitive notion, we show that it issyntactically more complex. The incidence-based formulation requires some axioms of the quantifier-type forallexistsforall, while the axiom system based on congruence and order can beformulated using only forallexists-axioms.

Hyperbolic geometry can be axiomatized using the notions of order andcongruence (as in Euclidean geometry) or using the notion of incidencealone (as in projective geometry). Although the incidence-based axiomatizationmay be considered simpler because it uses the single binary point-linerelation of incidence as a primitive notion, we show that it issyntactically more complex. The incidence-based formulation requires some axioms of the quantifier-type \forall\exists\forall, while the axiom system based on congruence and order can beformulated using only \forall\exists-axioms.

In the first part of this paper we introduced products of modal logics and proved basic results on their axiomatisability and the f.m.p. In this continuation paper we prove a stronger result - the product f.m.p. holds for products of modal logics in which some of the modalities are reflexive or serial. This theorem is applied in classical first-order logic, we identify a new Square Fragment of the classical logic, where the basic predicates are binary and all quantifiers are (...) relativised, and for which we show the f.m.p. in the classical sense. Also we prove that SF not included in Guarded Fragment and that it can be embedded into the equational theory of relational algebras. (shrink)

In paper [5] it was shown that a great part of model theory of logic with the generalized quantifier Q x = there exist uncountably many x is reducible to the model theory of first order logic with an extra binary relation symbol. In this paper we consider when the quantifier Q x can be syntactically defined in a first order theory T. That problem was raised by Kosta Doen when he asked if the quantifier Q (...) x can be eliminated in Peano arithmetic. We answer that question fully in this paper. (shrink)

Sentences containing definite descriptions, expressions of the form ‘The F’, can be formalised using a binary quantifier ι that forms a formula out of two predicates, where ιx[F, G] is read as ‘The F is G’. This is an innovation over the usual formalisation of definite descriptions with a term forming operator. The present paper compares the two approaches. After a brief overview of the system INFι of intuitionist negative free logic extended by such a quantifier, which (...) was presented in (Kürbis 2019), INFι is first compared to a system of Tennant’s and an axiomatic treatment of a term forming ι operator within intuitionist negative free logic. Both systems are shown to be equivalent to the subsystem of INFι in which the G of ιx[F, G] is restricted to identity. INFι is then compared to an intuitionist version of a system of Lambert’s which in addition to the term forming operator has an operator for predicate abstraction for indicating scope distinctions. The two systems will be shown to be equivalent through a translation between their respective languages. Advantages of the present approach over the alternatives are indicated in the discussion. (shrink)

This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite (...) descriptions recommended here and the more usual approach that uses a term-forming operator ι, where ιxF means ‘the F’. (shrink)

In sentences like Every teacher laughed we think of every teacher as a unary (=type (1)) quantifier - it expresses a property of one place predicate denotations. In variable binding terms, unary quantifiers bind one variable. Two applications of unary quantifiers, as in the interpretation of No student likes every teacher, determine a binary (= type (2)) quantifier; they express properties of two place predicate denotations. In variable binding terms they bind two variables. We call a (...) class='Hi'>binary quantifier Fregean (or reducible) if it can in principle be expressed by the iterated application of unary quantifiers. In this paper we present two mathematical properties which distinguish non-Fregean quantifiers from Fregean ones. Our results extend those of van Benthem (1989) and Keenan (1987a). We use them to show that English presents a large variety of non-Fregean quantifi ers. Some are new here, others are familiar (though the proofs that they are non-Fregean are not). The main point of our empirical work is to inform us regarding the types of quantification natural language presents - in particular (van Benthem, 1989) that it goes beyond the usual (Fregean) analysis which treats it as mere iterated application of unary quantifiers. Secondarily, our results challenge linguistic approaches to "Logical Form" which constrain variable binding operators to "locally" bind just one occurrence of a variable, e.g., the Bijection Principle (BP) of Koopman and Sportiche (1983). The BP (correctly) blocks analyses like For which x, x's mother kissed x? for Who did his mother kiss? since For which x would locally bind two occurrences of x. But some of our irreducible binary quantifiers are naturally represented by operators which do locally bind two variables. This paper is organized as follows: Section 1 provides an explicit formulation of our questions of concern. Section 2 classifies the English constructions which we show to be non-Fregean. Section 3 presents the mathematical properties which test for non-Fregean quantification and applies these tests to the constructions in Section 2. Proofs of the mathema tical properties are given in the Appendix. (shrink)

Expressivism - the sophisticated contemporary incarnation of the noncognitivist research program of Ayer, Stevenson, and Hare - is no longer the province of metaethicists alone. Its comprehensive view about the nature of both normative language and normative thought has also recently been applied to many topics elsewhere in philosophy - including logic, probability, mental and linguistic content, knowledge, epistemic modals, belief, the a priori, and even quantifiers. Yet the semantic commitments of expressivism are still poorly understood and have not been (...) very far developed. As argued within, expressivists have not yet even managed to solve the "negation problem" - to explain why atomic normative sentences are inconsistent with their negations. As a result, it is far from clear that expressivism even could be true, let alone whether it is. Being For seeks to evaluate the semantic commitments of expressivism, by showing how an expressivist semantics would work, what it can do, and what kind of assumptions would be required, in order for it to do it. Building on a highly general understanding of the basic ideas of expressivism, it argues that expressivists can solve the negation problem - but only in one kind of way. It shows how this insight paves the way for an explanatorily powerful, constructive expressivist semantics, which solves many of what have been taken to be the deepest problems for expressivism. But it also argues that no account with these advantages can be generalized to deal with constructions like tense, modals, or binary quantifiers. Expressivism, the book argues, is coherent and interesting, but false. (shrink)

According to several late medieval logicians, the use the universal quantifier ‘omnis’ creates the requirement that the sentence refers to at least three items—the principle of sufficientia appellatorum. The commitment is such that, when the quota is not fulfilled, one has to import the missing items from the realm of the nonexistent. While the central argument for this principle, whose origin is Aristotle’s De Caelo, stems from the contrast between unrestricted universal quantifiers and binary quantifiers, the discussion is (...) often mixed with another issue, concerning the requirement of a plurality of referents for universals. In this paper, we try to distinguish those different issues and map the reactions of xiii th authors to the principle of sufficientia appellatorum. (shrink)

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...) a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

My project in Being For is both constructive and negative. The main aim of the book is to take the core ideas of meta-ethical expressivism as far as they can go, and to try to develop a version of expressivism that solves many of the more straightforward open problems that have faced the view without being squarely confronted. In doing so, I develop an expressivist framework that I call biforcated attitude semantics, which I claim has the minimal structural features required (...) in order to solve some of these open problems facing expressivism. I take biforcated attitude semantics to prove that expressivism is a coherent and interesting hypothesis about the semantics of natural languages.So much for the constructive part; having argued that biforcated attitude semantics incorporates the minimal moves required in order to solve a few of the more pressing open questions facing expressivism, I use it in order to productively constrain what an expressivist answer to further open questions must look like. The results, I end up arguing, are ultimately not promising; the very same structural features that expressivists need in order to answer so simple a problem as to explain why ‘P’ and ‘∼P’ are inconsistent sentences lead to a very general problem about how ordinary, non-moral sentences are to end up with the right truth-conditions, and though I show how to finesse this problem for some simple constructions – truth-conditional connectives and the quantifiers – I ultimately argue that it can’t be done for the full range of constructions in natural languages – including terms like modals, tense and binary quantifiers like ‘most’. So even if expressivism is coherent and interesting, it is an extremely unpromising hypothesis about the language that we actually speak.The main theme of the book is that the most fruitful way …. (shrink)

An account of Aristotle's syllogistic (including a full square of opposition and allowing for empty nouns) as an integral part of first-order predicate logic is lacking. Some say it is not possible. It is not found in the tradition stemming from ukasiewicz's attempt nor in less formal approaches such as Strawson's. The ukasiewicz tradition leaves Aristotle's syllogistic as an autonomous axiomatized system. In this paper Aristotle's syllogistic is presented within first-order predicate logic with special restricted quantifiers. The theory is not (...) motivated primarily by historical considerations but as an accurate account of categorical sentences along lines suggested by recent work on natural language quantifiers and themes from supposition theory. It provides logical forms which conform to grammatical ones and is intended as a rival to accounts of quantifiers in natural language that appeal to binary quantifiers, for example, Wiggins or to restricted quantifiers, for example, Neale. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown (...) to be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

My project in Being For is both constructive and negative. The main aim of the book is to take the core ideas of meta-ethical expressivism as far as they can go, and to try to develop a version of expressivism that solves many of the more straightforward open problems that have faced the view without being squarely confronted. In doing so, I develop an expressivist framework that I call biforcated attitude semantics, which I claim has the minimal structural features required (...) in order to solve some of these open problems facing expressivism. I take biforcated attitude semantics to prove that expressivism is a coherent and interesting hypothesis about the semantics of natural languages.So much for the constructive part; having argued that biforcated attitude semantics incorporates the minimal moves required in order to solve a few of the more pressing open questions facing expressivism, I use it in order to productively constrain what an expressivist answer to further open questions must look like. The results, I end up arguing, are ultimately not promising; the very same structural features that expressivists need in order to answer so simple a problem as to explain why ‘P’ and ‘∼P’ are inconsistent sentences lead to a very general problem about how ordinary, non-moral sentences are to end up with the right truth-conditions, and though I show how to finesse this problem for some simple constructions – truth-conditional connectives and the quantifiers – I ultimately argue that it can’t be done for the full range of constructions in natural languages – including terms like modals, tense and binary quantifiers like ‘most’. So even if expressivism is coherent and interesting, it is an extremely unpromising hypothesis about the language that we actually speak.The main theme of the book is that the most fruitful way …. (shrink)

Can conjunctive propositions be identical without their conjuncts being identical? Can universally quantified propositions be identical without their instances being identical? On a common conception of propositions, on which they inherit the logical structure of the sentences which express them, the answer is negative both times. Here, it will be shown that such a negative answer to both questions is inconsistent, assuming a standard type-theoretic formalization of theorizing about propositions. The result is not specific to conjunction and universal quantification, but (...) applies to any binary operator and propositional quantifier. It is also shown that the result essentially arises out of giving a negative answer to both questions, as each negative answer is consistent by itself. (shrink)

With quantifier elimination and restriction of language to a binary relation symbol and constant symbols it is shown that countable complete theories having three isomorphism types of countable models are "essentially" the Ehrenfeucht example [4, $\s6$ ].

Here I show that the one-variable fragment of several first-order relevant logics corresponds to certain S5ish extensions of the underlying propositional relevant logic. In particular, given a fairly standard translation between modal and one-variable languages and a permuting propositional relevant logic L, a formula $$\mathcal {A}$$ A of the one-variable fragment is a theorem of LQ (QL) iff its translation is a theorem of L5 (L.5). The proof is model-theoretic. In one direction, semantics based on the Mares-Goldblatt [15] semantics for (...) quantified L are transformed into ternary (plus two binary) relational semantics for S5-like extensions of L (for a general presentation, see Seki [26, 27]). In the other direction, a valuation is given for the full first-order relevant logic based on L into a model for a suitable S5 extension of L. I also discuss this work’s relation to finding a complete axiomatization of the constant domain, non-general frame ternary relational semantics for which RQ is incomplete [11]. (shrink)

An extension of the Quantified Propositional Calculus1 obtained by the addition of two binary propositional functions is put forward as an inheritor of E. Schröder's “Algebra der Logik”. The formal system is itself not new, in fact it forms part of A. P. Morse's “A Theory of Sets”; although the latter is considered as a first-order system. Since the additional propositional functions are not invariant under the logical biconditional, this system–and many others naturally obtained from it–give us a collection (...) of examples of non-standard, but mathematically meaningful, propositional systems. (shrink)

A sentence of first-order logic is satisfiable if it is true in some structure, and finitely satisfiable if it is true in some finite structure. The question arises as to whether there exists an algorithm for determining whether a given formula of first-order logic is satisfiable, or indeed finitely satisfiable. This question was answered negatively in 1936 by Church and Turing (for satisfiability) and in 1950 by Trakhtenbrot (for finite satisfiability).In contrast, the satisfiability and finite satisfiability problems are algorithmically solvable (...) for restricted subsets---or, as we say, fragments---of first-order logic, a fact which is today of considerable interest in Computer Science. This book provides an up-to-date survey of the principal axes of research, charting the limits of decision in first-order logic and exploring the trade-off between expressive power and complexity of reasoning. Divided into three parts, the book considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, if these problems are decidable for some fragment, what is their computational complexity? Part I focusses on fragments defined by restricting the set of available formulas. Topics covered include the Aristotelian syllogistic and its relatives, the two-variable fragment, the guarded fragment, the quantifier-prefix fragments and the fluted fragment. Part II investigates logics with counting quantifiers. Starting with De Morgan's numerical generalization of the Aristotelian syllogistic, we proceed to the two-variable fragment with counting quantifiers and its guarded subfragment, explaining the applications of the latter to the problem of query answering in structured data. Part III concerns logics characterized by semantic constraints, limiting the available interpretations of certain predicates. Taking propositional modal logic and graded modal logic as our cue, we return to the satisfiability problem for two-variable first-order logic and its relatives, but this time with certain distinguished binary predicates constrained to be interpreted as equivalence relations or transitive relations. The work finishes, slightly breaching the bounds of first-order logic proper, with a chapter on logics interpreted over trees. (shrink)

Completed in 1983, this work culminates nearly half a century of the late Alfred Tarski's foundational studies in logic, mathematics, and the philosophy of science. Written in collaboration with Steven Givant, the book appeals to a very broad audience, and requires only a familiarity with first-order logic. It is of great interest to logicians and mathematicians interested in the foundations of mathematics, but also to philosophers interested in logic, semantics, algebraic logic, or the methodology of the deductive sciences, and to (...) computer scientists interested in developing very simple computer languages rich enough for mathematical and scientific applications. The authors show that set theory and number theory can be developed within the framework of a new, different, and simple equational formalism, closely related to the formalism of the theory of relation algebras. There are no variables, quantifiers, or sentential connectives. Predicates are constructed from two atomic binary predicates (which denote the relations of identity and set-theoretic membership) by repeated applications of four operators that are analogues of the well-known operations of relative product, conversion, Boolean addition, and complementation. All mathematical statements are expressed as equations between predicates. There are ten logical axiom schemata and just one rule of inference: the one of replacing equals by equals, familiar from high school algebra. Though such a simple formalism may appear limited in its powers of expression and proof, this book proves quite the opposite. The authors show that it provides a framework for the formalization of practically all known systems of set theory, and hence for the development of all classical mathematics. The book contains numerous applications of the main results to diverse areas of foundational research: propositional logic; semantics; first-order logics with finitely many variables; definability and axiomatizability questions in set theory, Peano arithmetic, and real number theory; representation and decision problems in the theory of relation algebras; and decision problems in equational logic. (shrink)

Let HF be the collection of the hereditarily finite well-founded sets and let the primitive language of set theory be the first-order language which contains binary symbols for equality and membership only. As announced in a previous paper by the authors, "Truth in V for ∃*∀∀-sentences is decidable," truth in HF for ∃*∀∀-sentences of the primitive language is decidable. The paper provides the proof of that claim.

Dynamic algebras combine the classes of Boolean (B 0) and regular (R ; *) algebras into a single finitely axiomatized variety (B R ) resembling an R-module with scalar multiplication . The basic result is that * is reflexive transitive closure, contrary to the intuition that this concept should require quantifiers for its definition. Using this result we give several examples of dynamic algebras arising naturally in connection with additive functions, binary relations, state trajectories, languages, and flowcharts. The main (...) result is that free dynamic algebras are residually finite (i.e. factor as a subdirect product of finite dynamic algebras), important because finite separable dynamic algebras are isomorphic to Kripke structures. Applications include a new completeness proof for the Segerberg axiomatization of prepositional dynamic logic, and yet another notion of regular algebra. (shrink)

The paper introduces a new type of rules into Natural Deduction, elimination rules by composition. Elimination rules by composition replace usual elimination rules in the style of disjunction elimination and give a more direct treatment of additive disjunction, multiplicative conjunction, existence quantifier and possibility modality. Elimination rules by composition have an enormous impact on proof-structures of deductions: they do not produce segments, deduction trees remain binary branching, there is no vacuous discharge, there is only few need of permutations. (...) This new type of rules fits especially to substructural issues, so it is shown for Lambek Calculus, i.e. intuitionistic non-commutative linear logic and to its extensions by structural rules like permutation, weakening and contraction. Natural deduction formulated with elimination rules by composition from a complexity perspective is superior to other calculi. (shrink)

This squib reports the results of two experimental studies, a binary choice and a self-paced reading study, that provide strong support for the hypothesis in Tunstall that the distinct scopal properties of each and every are at least to some extent the consequence of an event-differentiation requirement contributed by each. However, we also show that the emerging picture is more complex than Tunstall suggests: English speakers seem to fall into at least three groups regarding the scopal properties of each (...) and every. (shrink)

This monograph offers a new foundation for information theory that is based on the notion of information-as-distinctions, being directly measured by logical entropy, and on the re-quantification as Shannon entropy, which is the fundamental concept for the theory of coding and communications. Information is based on distinctions, differences, distinguishability, and diversity. Information sets are defined that express the distinctions made by a partition, e.g., the inverse-image of a random variable so they represent the pre-probability notion of information. Then logical entropy (...) is a probability measure on the information sets, the probability that on two independent trials, a distinction or “dit” of the partition will be obtained. The formula for logical entropy is a new derivation of an old formula that goes back to the early twentieth century and has been re-derived many times in different contexts. As a probability measure, all the compound notions of joint, conditional, and mutual logical entropy are immediate. The Shannon entropy and its compound notions are then derived from a non-linear dit-to-bit transform that re-quantifies the distinctions of a random variable in terms of bits—so the Shannon entropy is the average number of binary distinctions or bits necessary to make all the distinctions of the random variable. And, using a linearization method, all the set concepts in this logical information theory naturally extend to vector spaces in general—and to Hilbert spaces in particular—for quantum logical information theory which provides the natural measure of the distinctions made in quantum measurement. Relatively short but dense in content, this work can be a reference to researchers and graduate students doing investigations in information theory, maximum entropy methods in physics, engineering, and statistics, and to all those with a special interest in a new approach to quantum information theory. (shrink)