This paper investigates the key drivers behind the origins of value-for-money (VFM) audit in Canada and the aims, intents, and logics ascribed by the original proponents. Drawing on insights from governmentality and New Public Management, the paper utilizes analysis methods adapted from case study research to review a wide range of primary documentation (e.g., Hansards from the Public Accounts Committee, House of Commons debates, the so-called Wilson report and the FMCS study) and secondary documentation (newspaper articles, Office of the Auditor (...) General internal publications, journal articles). Major findings indicate a rise of a management consulting culture within the Auditor General’s office following the appointment of James Johnson Macdonell. VFM legislation effectively operationalized practices drawn from management consulting expertise by invitation of the consultant. It was offered as an answer to the growing scope and size of government, which had become problematized by the Auditor General in terms of parliament losing control over the public purse. The Auditor General’s invocation of financial crisis led to a substantial broadening of mandate and increase in resources for that office. (shrink)

Free logic is an important field of philosophical logic that first appeared in the 1950s. J. Karel Lambert was one of its founders and coined the term itself. The essays in this collection explore the philosophical foundations of free logic and its application to areas as diverse as the philosophy of religion and computer science. Amongst the applications on offer are those to the analysis of existence statements, to definite descriptions and to partial functions. The (...) volume contains a proof that free logics of any kind are non-extensional and then uses that proof to show that Quine's theory of predication and referential transparency must fail. The purpose of this collection is to bring an important body of work to the attention of a new generation of professional philosophers, computer scientists and mathematicians. (shrink)

The expression ‘free logic,’ coined by the author in 1960, is an abbreviation for ‘logic free of existence assumptions with respect to its terms, singular and general, but whose quantifiers are treated exactly as in standard quantifier logic.’ In more traditional language, such logics do not presume that either singular or general terms — the two distinct categories of terms emphasized in modern logical grammar — have existential import. A singular term ‘t’ has existential import (...) just in case t exists (or, equivalently, there exists an object the same as t) and a general term (or predicate) ‘G’ has existential import just in case G exist (or, equivalently, there exists an object that is G).1 Examples from colloquial English customarily taken to be singular terms are expressions such as ‘Socrates’, ‘the planet causing perturbations in the orbit of Mercury’, ‘5’, ‘5/0’, ‘the square of 3’ and ‘having a heart’. Some of these do not have existential import — in particular, ‘5/0’ and ‘the planet causing perturbations in the orbit of Mercury’. Examples from colloquial English customarily taken to be general terms are expressions such as ‘is a philosopher’, ‘is a planet causing perturbations in the orbit of Mercury’, ‘number’, ‘is divisible by 0’, and ‘has a heart’. Some of these general terms do not have existential import — in particular, ‘is a planet causing perturbations in the orbit of Mercury’ and ‘is divisible by 0’. To say that the quantifers are treated exactly as in standard quantifier logic is to say, roughly, that the operator symbol ‘∃’ (the existential quantifier) reads: ‘There exists an object’, and the operator symbol ‘∀’ (the universal quantifier) reads: ‘Every existent object’. (shrink)

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is a logical (...) truth in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)

By a free logic is generally meant a variant of classical first-order logic in which constant terms may, under interpretation, fail to refer to individuals in the domain D over which the bound variables range, either because they do not refer at all or because they refer to individuals outside D. If D is identified with what is assumed by the given interpretation to exist, in accord with Quine’s dictum that “to be is to be the value (...) of a [bound] variable,” then a free variation on classical semantics does not require that all constant terms refer to existents, and in this sense such terms lack existential import. (shrink)

The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and computer science, and called here quasi-free logics. All free and quasi-free logics considered are formalised in the framework of sequent calculus, the latter for the first time. It is shown that in all cases remarkable simplifications of the starting systems are possible due to the special rule dealing with identity and (...) existence predicate. Cut elimination is proved in a constructive way for sequent calculi adequate for all logics under consideration. (shrink)

This paper asks which free logic a Fregean should adopt. It examines options within the tradition including Carnap’s (1956) chosen object theory, Lehmann’s (1994, 2002) strict Fregean free logic, Woodruff’s (1970) strong table about Boolean operators and Bencivenga’s (1986, 1991) supervaluational semantics. It argues for a neutral free logic in view of its proximity towards explaining natural languages. However, disagreeing with Lehmann, it claims a Fregean should adopt the strong table based on Frege’s discussion (...) on generality. Supervaluation uses strong table and aims to give it a semantic justification. However, supervaluation is in turn justified by convention or mental experiments, which Lehmann argues as inadequate. The paper proposes a new justification of supervaluation based on sense and two-dimensional semantics. The resulting model, coined Supervaluational Neutral Free Logic (SNFL), resolves many conflicts between Lehmann and Bencivenga while staying close with Frege’s discussions about non-denotation. It also provides new insights into the relations among truth, logical truth, and supervaluated truth (or supertruth, for short). (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order (...) class='Hi'>logic. Our assessment of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

Free logics are a family of first-order logics which came about as a result of examining the existence assumptions of classical logic (Hintikka _The Journal of Philosophy_, _56_, 125–137 1959 ; Lambert _Notre Dame Journal of Formal Logic_, _8_, 133–144 1967, 1997, 2001 ). What those assumptions are varies, but the central ones are that (i) the domain of interpretation is not empty, (ii) every name denotes exactly one object in the domain and (iii) the quantifiers have existential (...) import. Free logics reject the claim that names need to denote in (ii). _Positive_ free logic concedes that some atomic formulas containing non-denoting names (including self-identity) are true, _negative_ free logic treats them as uniformly false, and _neutral_ free logic as taking a third value. There has been a renewed interest in analyzing proof theory of free logic in recent years, based on intuitionistic logic in Maffezioli and Orlandelli (_Bulletin of the Section of Logic_, _48_(2), 137–158 2019 ) as well as classical logic in Pavlović and Gratzl (_Journal of Philosophical Logic_, _50_, 117–148 2021 ), there for the positive and negative variants. While the latter streamlines the presentation of free logics and offers a more unified approach to the variants under consideration, it does not cover neutral free logic, since there is some lack of both clear formal intuitions on the semantic status of formulas with empty names, as well as a satisfying account of the conditional in this context. We discuss extending the results to this third major variant of free logics. We present a series of G3 sequent calculi adapted from Fjellstad (_Studia Logica_, _105_(1), 93–119 2017, _Journal of Applied Non-Classical Logics_, _30_(3), 272–289 2020 ), which possess all the desired structural properties of a good proof system, including admissibility of contraction and all versions of the cut rule. At the same time, we maintain the unified approach to free logics and moreover argue that greater clarity of intuitions is achieved once neutral free logic is conceptualized as consisting of two sub-varieties. (shrink)

This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of "non-existing" objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized (...) truth non unlike the notion of "truth at world" found in modal logic. A model theory is developed, establishing compactness, interpolation (implying a strong form of Beth definability), and completeness (with respect to a particular axiomatization). (shrink)

Free logic, an alternative to traditional logic, has been seen as a useful avenue of approach to a number of philosophical issues of contemporary interest. In this collection, Karel Lambert, one of the pioneers in, and the most prominent exponent of, free logic, brings together a variety of published essays bearing on the application of free logic to philosophical topics ranging from set theory and logic to metaphysics and the philosophy of religion. (...) The work of such distinguished philosophers as Bas van Fraassen, Dana Scott, Tyler Burge, and Jaakko Hintikka is represented. Lambert provides an introductory essay placing free logic in the logical tradition beginning with Aristotle, developing it as the natural culmination of a trend begun in the Port Royal logic of the 1600s, and continuing through current predicate logic--the trend to rid logic of existence assumptions. His Introduction also provides a useful systematic overview of free logic, including both a standard syntax and some semantical options. (shrink)

A new logic is presented without predicates—except equality. Yet its expressive power is the same as that of predicate logic, and relations can faithfully be represented in it. In this logic we also develop an alternative for set theory. There is a need for such a new approach, since we do not live in a world of sets and predicates, but rather in a world of things with relations between them.

I argue that neutral free logic and existence hedging are incompatible. Primarily, I respond to proposals by James Pryor intended to reconcile the two. Consideration of those proposals will reveal that on any neutral free logic either some existence hedges will entail some undesired existence claims, or they will not entail some desired existence claims.

Linnebo and Shapiro have recently given an analysis of potential infinity using modal logic. A key technical component of their account is to show that under a suitable translation ◊ of nonmodal language into modal language, nonmodal sentences ϕ 1, …, ϕ n entail ψ just in case ϕ 1 ◊, …, ϕ n ◊ entail ψ ◊ in the modal logic S4.2. Linnebo and Shapiro establish this result in nonfree logic. In this note I argue that (...) their analysis of potential infinity should be carried out in a free logic. I then extend their key theorems to the setting of negative free logic. (shrink)

This paper contains an axiomatic theory of first order modal logic with operations, identity, and descriptions together with a formal semantics which interprets the theory in such a manner that empty universes of discourse and denotationless terms are allowed for at each possible world. The intuitive basis of the theory is discussed in preliminary sections, the syntax and semantics of theory are then characterized, its semantical adequacy is demonstrated, and certain important axioms and theorems are discussed in detail in (...) later sections. (shrink)

In this paper I aim to defend a first‐order non‐discriminating property view concerning existence. The version of this view that I prefer is based on negative (or a specific neutral) free logic that treats the existence predicate as first‐order logical predicate. I will provide reasons why such a view is more plausible than a second‐order discriminating property view concerning existence and I will also discuss four challenges for the proposed view and provide solutions to them.

In this paper, I will defend a new compositional semantics for single-domain free logic. This semantics makes use of a distinction between the semantic value of a singular term and its semantic referent. The semantic value of a singular term is conceived of as a set that either contains the semantic referent or no element at all. The semantic referent is the object that the term designates. Before I will introduce this new semantics for single-domain predicate and an (...) S5-type modal logic in detail, I will present five related problems of compositionality of the standard semantics for these logical systems. After that I will show in detail how my new proposed alternative semantics can be used to solve nearly all of the outlined five problems. (shrink)

In this paper I am concerned with an analysis of negative existential sentences that contain proper names only by using negative or neutral free logic. I will compare different versions of neutral free logic with the standard system of negative free logic (Burge, Sainsbury) and aim to defend my version of neutral free logic that I have labeled non-standard neutral free logic.

Free logic - i.e., logic free of existential presuppositions in general and with respect to singular terms in particular- began to come into its own as a field of research in the 1950s. As is the case with so many developments in Western philosophy, its roots can be traced back to ancient Greek philo sophy. It is only during the last fifty years, however, that it has become well established as a branch of modern logic. (...) The name of Karel Lambert is most closely connected with this development: he gave it its name and its profile as a well defined field of research. After a development of fifty years, it is time to look back and take stock while at the same time scanning for new perspectives. This is the purpose of the papers collected in this volume. The first paper is written by Karel Lambert himself who also comments on all the papers of the other authors. In an introductory essay we give a survey of the present status of and new directions in free logic. (shrink)

Evans envisaged a language containing both Russellian and descriptive names. A language with descriptive names, which can contribute to truth conditions even if they have no bearer, needs a free logical truth theory. But a metalanguage with this logic threatens to emasculate Russellian names. The paper details this problem and shows, on Evans's behalf, how it might be resolved.

A universally free logic is a system of quantification theory, with or without identity, whose theses remain logically true if the domain of quantification is empty and some of the singular terms present in the language do not denote existing objects. In the West, logics satisfying and ones satisfying were developed starting in the 1950s. But Stanisław Jaśkowski preceded all this work by some twenty years: his paper “On the Rules of Supposition in Formal Logic” of 1934 (...) can be regarded as containing, at least implicitly, the first universally free logic. The system proposed there is an inclusive logic as it is, and a straightforward extension of it is also free. (shrink)

This note motivates a logic for a theory that can express its own notion of logical consequence—a ‘syntactically closed’ theory of naive validity. The main issue for such a logic is Curry’s paradox, which is averted by the failure of contraction. The logic features two related, but different, implication connectives. A Hilbert system is proposed that is complete and non-trivial.

A 'Kripke-style' semantics is given for combinatory logic using frames with a ternary accessibility relation, much as in the Tourley-Meyer semantics for relevance logic. We prove by algebraic means a completeness theorem for combinatory logic, by proving a representation theorem for 'combinatory posets.' A philosophical interpretation is given of the models, showing that an element of a combinatory poset can be understood simultaneously as a set of states and as a set of actions on states. This double (...) interpretation allows for one such element to be applied to another . Application turns out to be modeled the same way as 'fusion' in relevance logic.We also introduce 'dual combinators' that apply from the right. We then explore relationships to some well-known substructural logics, showing that each can be embedded into the structurally free. non-associative Lambek calculus, with the embedding taking a theorem ω to a statement of the form Γ ⊨ ω, where Γ is some fusion of the combinators needed to justify the structural assumptions of the given substructural logic. This builds on earlier ideas from Belnap and Meyer about a Gentzen system wherein structural rules are replaced with rules for introducing combinators. We develop such a system and prove a cut theorem. (shrink)

Structurally free logic LC was introduced in [4]. A natural extension of LC, in particular, in a sequent formulation, is by conjunction and disjunction that do not distribute over each other. We define a set theoretical semantics for these logics via constructing a representation of a lattice that we extend by intensional operations. Canonically, minimally overlapping filter-ideal pairs are used; this construction avoids the use of an equivalent of the axiom of choice and lends transparency to the structure. (...) We also discuss adapting the present semantics for substructural logics, as well as, the question of cannnonicity of LC+. (shrink)

This paper presents a bivalent extensional semantics for positive free logic without resorting to the philosophically questionable device of using models endowed with a separate domain of “non-existing” objects. The models here introduced have only one (possibly empty) domain, and a partial reference function for the singular terms (that might be undefined at some arguments). Such an approach provides a solution to an open problem put forward by Lambert, and can be viewed as supplying a version of parametrized (...) truth non unlike the notion of “truth at world” found in modal logic. A model theory is developed, establishing compactness, interpolation (implying a strong form of Beth definability), and completeness (with respect to a particular axiomatization). (shrink)

Starting from a generalization of the standard axioms for a monoid we present a stepwise development of various, mutually equivalent foundational axiom systems for category theory. Our axiom sets have been formalized in the Isabelle/HOL interactive proof assistant, and this formalization utilizes a semantically correct embedding of free logic in classical higher-order logic. The modeling and formal analysis of our axiom sets has been significantly supported by series of experiments with automated reasoning tools integrated with Isabelle/HOL. We (...) also address the relation of our axiom systems to alternative proposals from the literature, including an axiom set proposed by Freyd and Scedrov for which we reveal a technical issue (when encoded in free logic where free variables range over defined and undefined objects): either all operations, e.g. morphism composition, are total or their axiom system is inconsistent. The repair for this problem is quite straightforward, however. (shrink)

Peter Milne (2007) poses two challenges to the inferential theorist of meaning. This study responds to both. First, it argues that the method of natural deduction idealizes the essential details of correct informal deductive reasoning. Secondly, it explains how rules of inference in free logic can determine unique senses for the existential quantifier and the identity predicate. The final part of the investigation brings out an underlying order in a basic family of free logics.

From Parmenides to the present, philosophers have been attracted by characterizations of being as being uttered or utterable, formulated or formulable. But what for Parmenides was presumably a valid co-entailment between antecedently understood concepts reappears in contemporary thought as a proffered explication of what it is to be. Without presuming to discredit Parmenidean views in general, my purpose here is to examine certain members of a modern family of theories of existence that fall into place around Quine’s. Depending on the (...) methodology of explication espoused, the theories in this family are either semantic commentaries on ideal languages, or they are themselves interpreted formalized languages. The former may be called, after Quine, theories of ontological commitment. The theories of the latter sort I wish to consider are called, after Karel Lambert, free logics, i.e., logic systems the singular terms of which are free of existential import. My conclusion about theories of both kinds is that, while unexceptionable on their own terms, from a broader point of view they beg the question of what it is to be. In arguing that these theories thus fail to clarify the concept of existence, I believe I am not so much propounding a new insight as articulating an objection many thinkers have felt in the face of views akin to Quine’s. (shrink)

Comment on S. Neale's, "Facts and Free Logic".

Professor Tennant and I agree on much regarding the proof-theoretic semantics of free logic. Here I point to two issues, one on which we disagree, the other on which I find it hard to say how closely we may agree. The first concerns the exact content of Tennant's Rule of Atomic Denotation. The second concerns the nature of assumptions whose formal counterparts contain parametric occurrences of names.