THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE

Size: px
Start display at page:

Download "THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE"

Transcription

1 THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE Volker Halbach 9th July 2016 Consequentia formalis vocatur quae in omnibus terminis valet retenta forma consimili. Vel si vis expresse loqui de vi sermonis, consequentia formalis est cui omnis propositio similis in forma quae formaretur esset bona consequentia [...] Iohannes Buridanus, Tractatus de Consequentiis (Hubien 1976, i.3, p.22f) abstract A substitutional account of logical truth and consequence is developed and defended against competing accounts such as the model-theoretic definition of validity. Roughly, a substitution instance of a sentence is defined as the result of uniformly substituting nonlogical expressions in the sentence with expressions of the same grammatical category and possibly relativizing quantifiers. In particular, predicate symbols can be replaced with formulae possibly containing additional free variables. A sentence is defined to be logically true iff all its substitution instances are satisfied by all variable assignments. Logical consequence is defined analogously. Satisfaction is introduced axiomatically. The notion of logical validity defined in this way is universal, that is, validity is not defined in some metalanguage, but rather in the language in which validity is defined. It is shown that for every model-theoretic interpretation there is a corresponding substitutional interpretation in a sense ot be specified. Conversely, however, there are substitutional interpretations in particular the trivial intended interpretation that lack a model-theoretic counterpart. Thus the definition of substitutional validity overcomes the weaknesses of more restrictive accounts of substitutional validity. In Kreisel s squeezing I am grateful to Walter Dean, Beau Mount, Carlo Nicolai, Thomas Schindler, Göran Sundholm, Albert Visser, Philip Welch and Timothy Williamson for discussions about the themes of this paper. I also thank the audiences of talks about this material at FilMat2016 at Chieti, the PhilMath Intersem meeting on 7th June 2016, and the Bristol-München Conference on Truth and Rationality

2 argument the formal notion of substitutional validity naturally slots into the place of informal intuitive validity. formal validity At the origin of logic is the observation that arguments sharing certain forms never have true premisses and a false conclusion. Similarly, all sentences of certain forms are always true. Arguments and sentences of this kind are formally valid. From the outset logicians have been concerned with the study and systematization of these arguments, sentences and their forms. For instance, arguments in modus barbara are formally valid: All men are mortal. Socrates is a man. Therefore Socrates is mortal. If the terms man, Socrates and mortal are uniformly replaced with other terms of the same grammatical category, the resulting argument will never have true premisses and a false conclusion. There are arguments in which the truth of the premisses necessarily implies the truth of the conclusion, but which are not formally valid, at least not by he usual standards. In particular, an argument may be analytically valid without being formally valid. An example is the following argument: John is a bachelor. Therefore John is unmarried. Although the following argument is not analytically valid, its conclusion is necessarily implied by the premiss under common assumptions expounded by Kripke (1972): There is H 2 O in the beaker. Therefore there is water in the beaker. Arguments of this kind could be called metaphysically valid. Since analytically and metaphysically valid arguments are not formally valid, necessary truth preservation is not a sufficient condition for formal validity. It could be objected that this depends on a certain understanding of necessity: If we understand necessity as formal or logical necessity, then necessary truth preservation is a sufficient condition for formal validity. However, tweaking the notion of necessity in this way runs the risk of becoming circular: Logical necessity cannot be analyzed again as formal validity. Hence it seems hard to avoid the conclusion that there are necessarily truth preserving arguments that are not formally valid. Many medieval philosopher at least from Buridan onwards were clear about the distinction between formal validity and other kinds of validity, although not all used the term formal in the same way. 1 More recently, philosophers have usually relegated the analysis of analytic, metaphysical and other kinds of material validity to philosophy of language. Logical validity has come to be understood as formal validity. 2 In what follows I identify logical with formal 1 See (Read 2012) and (Aho and Yrjönsuuri 2009, 6.3). 2 See Asmus and Restall (2012) for a brief historical synopsis. 2

3 validity, too. The concentration on formal validity has allowed logicians to purge logic from non-formal modal notions. On the model-theoretic and the substitutional account, logical validity and necessity are disentangled. 3 the substitution criterion Counterexamples have always played an important role in arguing that a given argument fails to be logically valid. Traditionally, counterexamples are conceived as substitution instances. This is still the way counterexamples are often presented in introductory logic classes. A substitution instance of a given argument is obtained by substituting uniformly nonlogical (or, in a more traditional terminology, categorematic) terms with nonlogical terms of the same grammatical category. A substitution instance of an argument is a counterexample if and only if the premisses of the counterexample are true and the the conclusion is false. The possibility of using of counterexamples for showing that an argument is not logically valid relies on the following soundness principle: If an argument is logically valid, it does not have any counterex- soundness amples. The converse of this principle is more problematic. It can be stated as follows, by contraposition, as the following completeness principle: If an argument is not logically valid, it does have a counterex- completeness ample. The existence of substitutional counterexamples depends on the availability of suitable substitution instances in the language. Thus the completeness principle seems to make logical validity highly dependent on the language from which the substitution instances can be taken. In particular, if certain objects and relations cannot be expressed in the language, sentences may be classified as valid although they are not. 4 This worry is closely related to the persistence problem: If new vocabulary is added, then, so is argued, sentences that have been previously classified as valid may become invalid. I will show that difficulties of this kind do not arise if 3 There are arguments against the identification of formal and logical validity. See, for instance, (Read 1994) for a criticism of the identification. Modal arguments play a crucial role in Etchemendy s (1990) attack on the model-theoretic definition of logical consequence. They have been countered by McGee (1992) and others. The debate is also relevant for the substitutional account. However, here in this paper the connection between modality and logical consequence will not be discussed. 4 This was the main reason for Tarski (1936b) to reject a substitutional analysis, which he discussed on p He stated a substitutional definition of logical consequence as condition (F) and then went on: It may, and it does, happen it is not difficult to show this by considering special formalized languages that the sentence X does not follow in the ordinary sense from the sentences of the class K although the condition (F) is satisfied. This condition may in fact be satisfied only because the language with which we are dealing does not possess a sufficient stock of extra-logical constants. The condition (F) could be regarded as sufficient for the sentence X to follow from the class K only if the designations of all possible objects occurred in the language in question. This assumption, however, is fictitious and can never be realized. I will argue that this objection can be countered with a suitable substitutional definition of logical consequence. 3

4 substitution instances of sentences are suitably defined and, in particular, allowed to contain free variables. Combining both soundness and completeness yields the following criterion for logical validity: substitution criterion no counterexamples. An argument is logically valid if and only if it has This principle has been used not only as a criterion but as a conceptual analysis of logical consequence. 5 In the present paper I explore the potential of the substitutional account of logical truth and consequence for highly regimented languages, more precisely, for strong classical first-order theories such as set theory in which large parts of mathematics and, perhaps, the sciences can be developed. I have little to say on the subtleties of natural language. The reader more interested in logical consequence in natural language may take first-order languages as a test case. If the substitutional theory is successful for them, there is at least hope it can be extended to natural language. terminological remark. I apply the terms logical validity and formal validity to sentences and arguments. When I say that a sentence is valid, this may be understood as the claim that the argument with the empty premiss set and the sentence as conclusion is valid. Occasionally the qualification logically or formal is omitted if there is no risk that logical validity is confused with validity in a model or other kinds of validity. For single sentences I use the term logical truth as synonymous with logical validity. The expression logical truth suggests that it designates a special kind of truth and that logical truth is defined as truth with some extra condition. Although this understanding is in line with my own approach, it should not be assumed from the outset that truth is to be defined from an absolute notion of truth that is not relative to models and an additional condition that makes it logical. 5 The substitution principle seems to have been used early on, at least implicitly. The quote from Buridan s Tractatus de Consequentiis used as motto of this paper plus parts of the following paragraph on material consequence come at least close to an endorsement of the substitution criterion as a definition of formal consequence. See (Dutilh Novaes 2012) and (Aho and Yrjönsuuri 2009, 6.3) for more details. In what follows I refer to this analysis as the substitutional definition or conception of logical consequence According to the usual narrative, the substitutional notion of validity finally developed into the modern model-theoretic account of logical consequence via Bolzano s (1837) and Tarski s (1936b). Kreisel (1967a) and Etchemendy (1990) both mentioned Bolzano as a precursor of Tarski s and the contemporary modeltheoretic definition of logical validity. In particular, (Etchemendy 1990, p. 28ff) saw Bolzano as a proponent of a linguistic substitutional account of logical truth In footnote 2 to chapter 3 Etchemendy made some qualifications, but then says that he will gloss over this difference. Ironically, Tarski (1936b) added later a footnote to his paper mentioning an observation by Heinrich Scholz with Bolzano s account as precursor of the definition of logical consequence advocated in Tarski s paper and not the substitutional one. Bolzano is not the best example of a proponent of a substitutional account. In Bolzano what is substituted are not linguistic entities but rather what Bolzano called Vorstellung. This German term is usually translated as idea. These Vorstellungen are neither linguistic nor psychological entities. So Tarski s view of Bolzano s theory may be more accurate than Etchemendy s. Medieval logicians like Buridan provide much better examples of substitutional theories. There are also have been attempts to revive the substitutional approach, in particular by Quine (1986). 4

5 proof-theoretic, model-theoretic, and intuitive validity For formalized languages the substitutional account of logical validity has largely been superseded by the proof-theoretic and the model-theoretic approaches. According to the proof-theoretic or inferentialist conception, roughly, an argument is valid if and only if the conclusion can be derived from the premisses using certain rules and axioms, very often, the rules of Gentzen s system of Natural Deduction. Similarly, a sentence is valid if and only if the sentence is derivable without any premisses. The model-theoretic analysis is closer to the substitutional. They have a common form; both can be stated in the following way: Generalized Tarski Thesis An argument is logically valid iff the conclusion is true under all interpretations under which its premisses are true. 6 I call analyses of this form semantic to distinguish them from proof-theoretic accounts that rely neither on interpretations nor a notion of truth. The main difference between a substitutional and the model-theoretic analysis lies in the notion of interpretation: On a substitutional approach, an interpretation is understood in a syntactic way as a function replacing nonlogical terms; on the model-theoretic approach an interpretation is an assignment of semantic values to the nonlogical expressions plus the specification of a domain. There is another important difference: The model-theoretic analysis of validity relies on a set-theoretic definition of truth in a model. The substitutional account, in contrast, requires an absolute notion of truth that is not relativized to a (set-sized) model, as will be shown below. The substitutional account was developed into the model-theoretic definition of logical consequence mainly by Tarski, starting with his (1936b). The modern proper notion of truth in a model appeared only in (Tarski and Vaught 1956). 7 Although a lot of effort has been spent to defend inferentialist and model-theoretic accounts of logical consequence, there is a widespread suspicion that neither is adequate. There is a fundamental reason for this suspicion: The proof-theoretic and the model-theoretic definitions do not directly capture the central feature of logical consequence, that is, truth preservation. That is, it is not directly obvious that a valid argument cannot have true premisses and a false conclusion. The inferentialist analysis is not semantic and does not mention truth at all. In semantic theories, that is, theories conforming with the Generalized Tarski Thesis, truth preservation seems to be a built into the definition of logical consequence. For the model-theoretic account of logical consequence, however, it is a well-known embarrassment that truth preservation is not an obvious property of logically valid arguments and that truth is not an obvious property of logical truths. Truth preservation does not trivially follow 6 Beall and Restall (2006) prefer the more general and less specific sounding term case over interpretation, when it comes to give a general form of the definition their Generalized Tarski Thesis. They credit Jeffrey (1992) with the formulation. 7 Only with the modern notion of a model with a domain a universal definition of validity can be given. In Tarski s (1936b), in contrast, logical consequence is defined only for an objectlanguage in a stronger metalanguage. With the modern notion logical validity for the set-theoretic language can be defined within set theory. 5

6 from the model-theoretic definition of logical consequence, because the universal quantifier over interpretations in the definition ranges over all models in the technical sense; but the intended interpretation is not one of these models and cannot easily be identified with one of these models. Models have set-sized domains, while the intended interpretation, if it could be conceived as a model, cannot be limited by any cardinality. Similarly, logical truth defined as truth in all models does not imply truth simpliciter. If logical truth is understood as truth under all interpretations, then it is an oddity of the model-theoretic account that there is not a special interpretation of a given sentence that allows one to understand the sentence at face value. Several philosophers and logicians have felt the need for such an intended interpretation conceived as an intended model. In a set-theoretic setting, which is usually assumed and also below in the present paper, the intended model would be the set-theoretic universe V. Of course there are also other motives for talking about the set-theoretic universe. Most set-theorists will happily talk about the set-theoretic universe, a cumulative hierarchy, and so on. There are ways to make this precise in a class theory and declare the universe to be a proper class about which we can reason in our preferred class theory. However, as is well known, this move will not help. We can start with a class theory as base theory. But then the intended interpretation would have to contain all sets and, in addition, proper classes. Such objects can be talked about in a theory about superclasses and a type theory over set theory can be set up. This does not look very appealing; and, more importantly, one will never reach the elusive intended interpretation. A kind of dual approach is to resort to the indefinite extensibility of the set-theoretic universe. The approach is hard to describe consistently. Very roughly speaking, it is denied that quantifiers of the object language range over all sets. The universal quantifier ranges over a set-sized universe, a set V α, that is, a level in the cumulative set-theoretic universe; but this set is then contained in another level and so on. Of course this is very similar to postulating classes, superclasses and further levels. Neither class theory, the impossibility of absolutely general quantification, nor indefinite extensibility seem to be attractive ways of addressing the problem of the missing intended model. It is not only that set theory does not prove the existence of the set-theoretic universe. Standard Zermelo Fraenkel set theory refutes the existence of a universal set. Here I do not dwell on the philosophy of set theory. But it strikes me as very strange that the theory of logical consequence should push us into the most extravagant metaphysical speculations about universes and intended interpretations that slip out of sight like Berkeley s elusive subject as soon as we think we have snatched a glimpsed of it. On the substitutional account of logical validity, the need for all this controversial and suspect theorizing disappears. The intended interpretation is no longer mysterious or elusive. It becomes a trivial function that just maps every sentence to itself. Under the intended interpretation a sentence is understood at face value; it is not reinterpreted in any way. There is no longer a need for trying to form a universal object or reality. Since the intended interpretation in the sense of the substitutional account can be used in a completely unproblematic way, the proof that logical truth implies truth becomes trivial, and as does the proof that logical consequence is truth preserving. This is just what one should expect from an adequate conceptual analysis of validity. 6

7 the squeezing argument Because truth in all set-theoretic models does not imply the truth in the intended model, some logicians have tried to come up with arguments for the claim that at least the extension of the notion of model-theoretic validity coincides with that of intuitive validity. In particular Kreisel (1965, 1967a,b) 8 employed his squeezing argument to show that the two formal analyses coincide with the somewhat elusive intuitive notion of validity. I sketch the argument for logical truth; it applies also to logical consequence in a straightforward manner. According to the squeezing argument, provability of a sentence in a suitable deductive system ( ND ϕ in the diagram below) implies its intuitive validity. The intuitive validity of a sentence in turn implies its model-theoretic validity, because any model-theoretic counterexample also refutes the intuitive logical truth of a sentence. These two implications both straight arrows in the diagram cannot be proved formally, because the notion of intuitive validity is not formally defined. However, there is a formal theorem, the completeness theorem for first-order logic, that shows that the model-theoretic validity of a sentence implies its provability in the logical calculus. The implications are shown in the following diagram: ND ϕ intuitive soundness ϕ is every countermodel intuitively is a counterexample valid ϕ completeness theorem If the two informal implications visualized by the two straight arrows in the diagram hold, all three notions have the same extension. For the mathematical logicians fixing the extension of logical validity is usually good enough. But the squeezing argument does not establish that any of the two formal definitions is an adequate conceptual analysis of logical validity. This situation strikes me as highly unsatisfactory: We have at least two formally precise characterizations of the extension of the notion of logical validity without having an adequate conceptual analysis. Logical consequence is not a pretheoretical concept. The notion of logical consequence especially for formal languages has been honed with great rigour. It would be very strange if such a theoretical notion eluded any attempt to make it formally precise. I put forward the substitutional analysis as a direct, explicit, formal, and rigorous analysis of logical consequence. The substitutional definition of logical validity, if correctly spelled out, slots directly into the place of intuitive validity in Kreisel s squeezing argument. The substitutional account does not suffer from the main problems of the proof- and modeltheoretic accounts. First, substitutional validity is closer to rough and less rigorous definitions of validity as they are given in introductory logic courses. It is also closer to how logicians over the centuries have specified counterexamples and established validity before finally the model-theoretic account became prevalent. 8 I am indebted to Göran Sundholm for making me aware of (Kreisel 1965, p. 116f.) and (Kreisel 1967b, p. 253ff.). 7

8 Secondly, on a substitutional account it is obvious why logical truth implies truth simpliciter and why logical consequence is truth preserving. The intended interpretation is completely trivial on the substitutional account: It is the identity function on formulae that does not replace anything. Thirdly, the substitutional definition of logical consequence is not tied to set theory and its philosophy. On the model-theoretic account, interpretations are specific sets; on the substitutional account they are merely syntactic and (under certain natural assumptions) computable functions replacing expressions and perhaps an assignment of objects to the free variables. As mentioned above, work on the model-theoretic theory of logical consequence has led philosophers to doubt that quantification over absolutely everything is possible and to speculate about the indefinite extensibility of the set-theoretic universe. For the proponent of a substitutional account it is easier to avoid such speculations. At any rate the direct link between the most complex metaphysical speculative theory hitherto, set theory, and the theory of logical consequence is severed. the choice of primitive notions I will provide a definition of logical validity in a base theory with set theory being the main example expanded with a primitive, axiomatized predicate for satisfaction. This is contrast to the usual model-theoretic analysis that does not require a primitive predicate for satisfaction, because satisfaction in a model can be defined in set theory alone. For the substitutional analysis set-theoretic reductionism has to be abandoned: The substitutional notion of validity is not reducible to set theory alone. 9 If no primitive notion beyond set theory itself are admitted, I cannot see how to avoid the problems of the model-theoretic analysis sketched above and several other problems identified by Etchemendy (1990). Basic properties of logical validity become mysterious on a strongly reductive approach that excludes all notions that are not purely set-theoretic. In particular, I cannot see how to obtain a definition of the logical validity of arguments that immediately entails truth preservation in valid arguments, as it is not even clear how to state properties such as truth preservation. If set-theoretic reductionism has to be abandoned and primitive notions beyond set theory have to be used, then why not go all the way and treat validity as a primitive predicate? 10 First, satisfaction will be required anyway for various areas of philosophy. For instance, in epistemology, truth is needed to formulate the fairly uncontroversial claim that the truth of a belief is a necessary condition for it to be known. Logical validity is less entrenched in 9 This applies at least to the definition of substitutional validity defended here. In footnote 19 I sketch a (less satisfactory) definition of substitutional validity that doesn t require an additional truth predicate and is compatible with set-theoretic reductionism. 10 Recently Field (2015) has argued that validity should be taken as a primitive. There are much earlier examples of the treatment of validity as a primitive axiomatized notion. In particular, (Kreisel 1965, 1.83) pursues such an approach, but then uses his squeezing argument to show that the axiomatized notion of validity is reducible to set theory. He also considers a variant in 1.84 with a validity predicate that is not reducible to set theory if the underlying theory is finitely axiomatizable. 8

9 various philosophical disciplines. Secondly, we cannot easily appeal to a intuitive pretheoretic notion of logical consequence. The notion of logical is theoretical and usually introduced by a characterization in the style of the Generalized Tarski Thesis above. Truth is thus conceptually prior to truth. Thirdly, on the approach envisaged here, logical validity is definable in terms of a satisfaction predicate and other weak resources. Conversely, however, satisfaction cannot be defined in terms of logical validity and set theory. If logical validity is treated as a primitive notion, truth or satisfaction still would have to be added as primitive notion, in order to show truth preservation and other desired properties of logical validity. That satisfaction and truth are not definable for first-order languages in terms of logical validity is to be expected for purely recursion-theoretic grounds: Logical validity will be extensionally equivalent to firstorder provability and thus be recursively enumerable, while truth is not even be elementarily definable. Hidden in the definition of a substitution instance is another crucial notion, the notion of a logical constant, as will become obvious below. All the analyses of logical validity mentioned so far rely on a distinction between logical and nonlogical vocabulary. In the present paper I would like to avoid making any strong commitments to a particular way of distinguishing between logical and nonlogical vocabulary. I apply a rather traditional way of making the distinction, as will become apparent below. Most of the various criteria that have been used to make the distinction can be applied also on a substitutional account. If they are formulated in a model-theoretic framework, such as the permutation criterion, some adjustments will have to be made; but such criteria can often be rephrased in substitutional terms. I leave the discussion for another occasion. substitution instances Even if the logical terms are fixed, it may not be clear what counts as a suitable substitution instance. A suitable definition of substitution instances will be the key to the solution of the persistence and completeness problem. To motivate the definition for formalized languages, I look at examples in natural language. Clearly, a general term such as is a man can be replaced not only with another general term but also with a complex general term such as is a wise philosopher with a long beard. The argument All wise philosophers with a long beard are mortal. Socrates is a wise philosopher with a long beard. Therefore Socrates is mortal. is of the same form modus barbara as the usual Socrates man example. Similarly, we may want to allow atomic singular terms to be replaced with complex ones. Replacing proper names with definite descriptions may cause problems; and this requires some care. I leave the elaboration of the formal details to another occasion. There are more singular terms than only proper names and definite descriptions. Would we allow personal or demonstrative pronouns as substitution instances of proper names? For instance, is the following argument of the same form as the above argument in modus barbara? 9

10 All starfish live in the sea. That animal is a starfish. Therefore that animal lives in the sea. The phrase that animal can also be replaced with the mere pronoun that, even though that may sound less idiomatic. At any rate, the resulting argument is of the same form in modus barbara and logically valid again, as long as all occurrences of that animal or just that refer to the same object. Whenever both premisses are true, the conclusion is true, whatever that refers to. Thus pronouns can be substituted for singular terms. 11 Pronouns can also be introduced through the substitution of predicate expressions. All objects in the box are smaller than that (object). The pen is in the box. Therefore it is smaller than that (object). Here is smaller than that has replaced is mortal. The form of the argument has not changed, as long as the reference of that does not change between the premisses and the conclusion. Since occurrences of pronouns in substitution instances are going to be allowed, the definition of logical truth in natural language would require a reference to the way the pronouns are interpreted: A sentence is logically true iff all substitution instances are true for any reference of the pronouns. The use of demonstrative or personal pronouns makes it possible to formulate counterexamples or interpretations involving a singular term referring to an object for which we lack a name or definite description. substitutional interpretations The observations from the last section will now be applied to a formal language. In a language of first-order logic free variables can play the role of pronouns. A formula with free variables is not true simpliciter; it is only true relative to the reference of the free variables. The reference of the free variables can be specified by a variable assignment. Consequently, the formally precise definition of validity will take the following form: A sentence is logically valid iff all substitution instances are satisfied by all variable assignments. Therefore not only a notion of truth but also of satisfaction will be required. Substitution instances of a sentence or a set of sentences will be defined as the result of applying a substitutional interpretation to the sentence or the set. A substitutional interpretation, in turn, will be defined as a function that yields, applied to a formulae of the language (including those with the satisfaction predicate), a substitution instance. 12 The substitution 11 Already Aristotle used demonstrative pronouns in syllogisms, for instance, in the Nichomachian Ethics VII 3. Many further examples can be found throughout history. 12 The term substitutional interpretation may be somewhat misleading as it usually refers to a particular interpretation of quantifiers. This may suggest that the nonlogical vocabulary is quantified away and logical truth defined in terms of higher order quantification. This approach is not completely unrelated, but here it is not required because in the presence of a satisfaction predicate higher-order quantifiers are not required. 10

11 will be uniform, of course. That is under a given substitutional interpretation, the same predicate symbol, for instance, will always be replaced with the same formula. Substitutional interpretations resemble relative interpretations as introduced by Tarski et al. (1953). Roughly, substitutional interpretations are defined like relative interpretation just without the requirement that provability is preserved. A substitutional interpretation maps all formulae of the entire language to formulae in such a way that the logical structure is preserved. If there are no function symbols in the formula, then a substitutional interpretation is a function that replaces uniformly in every given formula each atomic formula with a possibly complex formula; moreover, it possibly replaces every quantifier with a quantifier restricted to some fixed formula (or it may leave the quantifiers unchanged). Clashes of variables are assumed to be avoided in some of the usual ways. Individual constants are uniformly replaced with other constants or variables. If further function symbols are present, things become more complicated; I do not go into details here. Here I do not take a stance on the logicality of identity. We can say that a substitutional interpretation does not replace any occurrence of the identity symbol, so that identity is treated as a logical constant. There are some further tweaks of the definition of substitutional interpretations that will be considered in the following section. The technical details of defining substitutional interpretations recursively are not difficult. Obviously the definitions can be carried in weak systems already. Assuming that there are only finitely many nonlogical symbols, substitutional interpretations are primitive recursive functions. the quantifiers In the definition of substitutional interpretations there is an issue whose direct analogue on the model-theoretic side is the question whether the model with the empty domain should be admitted. As explained above, a substitutional interpretation restricts all quantifiers in a formula. So, under a substitutional interpretation I, a subformula x F(x) becomes x (R(x) I(F(x))) and x F(x) becomes x (R(x) I(F(x))). The restricting formula R(x) corresponds to the domain of a model-theoretic interpretation, that is, of a model. I have not ruled out relativizing formulae such as P(x) P(x) that do not apply to anything. This corresponds to an empty domain on the model-theoretic approach. Of course, empty domains are not admitted in the standard semantics of classical first-order logic. If this is to be emulated on the substitutional approach, the definition of substitutional interpretations can be changed as follows: The substitutional interpretation I(F) with relativizing formula R(x) of a formula F containing, for example, exactly the individual constants a and b is preceded by the expression xr(x) R(a) R(b).... The formula xr(x) expresses, model-theoretically speaking, that the domain is not empty, while R(a) ensures that the constant a denotes an object in the domain. The exclusion of the empty domain in models strikes me as a philosophically not very 11

12 convincing oddity that is accepted mainly for convenience. One difficulty with free logic is the definition of truth from satisfaction. As Schneider (1958) noticed, if a sentence is defined to be true iff it is satisfied by all variable assignments, then all sentences will be true in the model with the empty domain, because there are no variable assignments over the empty domain. If a sentence is defined to be true iff it is satisfied by at least one variable assignment, no sentence is true. The problems can be solved. Williamson (1999) discussed some workarounds; but for most purposes it is much more convenient just to exclude the empty domain. Usually logicians consider theories that imply existential claims. Thus the empty domain is excluded by nonlogical axioms and the model with the empty domain is irrelevant for the analysis of these theories. For the analysis of logical validity, however, there are good reason to retain the empty domain, if validity is analyzed in the model-theoretic way, even if this means that the definitions of satisfaction and truth become more cumbersome. On the substitutional account the analogous move is much more straightforward. On the contrary, free logic looks much more natural, because the antecedent including xr(x) of each interpretation can be omitted. However, there are still decisions to be made as far as individual constants are concerned. If negative free logic is chosen, then the conjunct R(t) (with t a variable or individual constant) should be adjoined to the substitutional interpretation of an atomic formula F(t), where R(x) is the relativizing formula of the substitutional interpretation. This ensures that formulae with constants not denoting objects satisfying R(x) are not satisfied by any variable assignment. If a free logic approach is chosen, one may think about adapting the logic of the base theory and, in particular, the treatment of individual constants. The necessary modifications are straightforward. If the language of the base theory does not contain any individual constants, there is no need for any modifications, as the base theory will contain existential claims. Here I do not discuss the pros and cons of the different varieties of free logic. Many arguments that have been made in favour and against certain varieties in terms of models can be rephrased in terms of substitutional interpretations. If no modifications are made to the definition of substitutional interpretations in the previous section, then sentences of the form x(p(x) P(x)) will not come out as logically valid under the definitions of logical truth in the next section. The notion of validity will be that of free logic. The most straightforward definition of validity on the substitutional account yields a logic without any ontological commitment. I take this to be an advantage of the substitutional analysis. No additional trickery is required. On the model-theoretic account it is not straightforward to accommodate the empty domain; but the opposite extreme is even more difficult to handle, that is, quantification over everything. What cannot be so easily changed on the model-theoretic account is the way quantification is treated. In a sense quantifiers are not interpreted in the same way in all models. The interpretation of the quantifiers is provided by the domain of a model; and this domain varies from model to model. A domain cannot contain all objects, because a domain has to be a set, not a proper class. Williamson (2000) and others have rejected the restriction to a domain of quantification. They treat quantifiers as logical symbols with constant meaning across all interpretations. This means that sentences expressing that there are at least n many objects become logically valid. But it is not so easy to dispense with the domain. If the 12

13 clauses for the quantifiers in the definition of truth are not restricted to sets (as suggested by Williamson 2000, p. 326), then the inductive definition of satisfaction cannot be shown to have a fixed point; that is, the inductive definition cannot be converted into an explicit definition. Of course, the definition of satisfaction could be carried out in a metatheory that allows us to talk about proper classes as objects. But that would just mean that the quantification in the objectlanguage is restricted to sets while classes are excluded. Hence the restriction to domains is very much built into the model-theoretic definition of satisfaction and cannot easily be eliminated from it. The substitutional account, in contrast, is not confined in this way. Hence if quantifiers should be constantly be interpreted as ranging over everything, this can be easily achieved by dropping the restricting formulae in substitutional interpretations. satisfaction as a primitive notion A sentence is defined to be logically valid iff all its substitution instances are satisfied by all variable assignments. The trivial substitution that maps a sentence to itself is a permissible substitution. Thus, if we have the notion of truth or satisfaction relative to a substitution, we can define an absolute notion of truth as truth, that is satisfaction under all variable assignments, relative to the trivial substitution. By Tarski s theorem on the undefinability of truth, such an absolute notion is not definable. Since the substitutional account of logical validity requires a notion an absolute notion of truth, which cannot be defined, I introduce a notion of satisfaction axiomatically. It is not necessary to axiomatize a notion of satisfaction relative to a substitution. Given an absolute notion of truth in the sense of (Davidson 1973), truth relative to a substitution can be defined, as substitution is a syntactic and computable concept that is definable in weak arithmetical systems already, as long as substitutional interpretations are defined in a straightforward way and the languages are not grotesquely complicated. Axiomatic approaches to truth and satisfaction have been pursued and advocated by different authors. 13 In this paper the axioms for satisfaction will be added to an extension of Zermelo Fraenkel set theory possibly with urelements as the base theory. The base theory can be enriched by further defined notions and further axioms and rules may be added. One could also use weaker theories as base theory such as certain arithmetical theories, but then some adjustments will be required. The base theory must contain a theory of syntax. This can be achieved in the usual way by a coding or by a direct axiomatization of syntax. Furthermore, it must contain a theory of variable assignments, that is, functions from the set of variables into arbitrary sets. With a a little extra work one can use also finite functions as variable assignments. This will be necessary if an arithmetical theory is used instead of set theory as base theory. The binary satisfaction predicate Sat(x, y) is intended to apply to formulae x and variable assignments y. The schemata of Zermelo Fraenkel are expanded to the full language including 13 Tarski (1936a) already considered axiomatic approaches. Davidson propagated an axiomatic approach in various papers (see his 1984). Halbach (2014) provides a survey of axiomatic theories of truth for arithmetical languages; Fujimoto (2012) investigates truth theories over set theory. 13

14 the satisfaction predicate. As for the axioms and rules for it, I use compositional axioms that match the classical logic of the base theory. First, Sat(x, y) commutes with all quantifiers and connectives. Hence we have an axiom expressing that a variable assignment satisfies a formula A B if and only if it satisfies A and B; a variable assignment satisfies a formula A if and only if it does not satisfy A; and so on for other connectives. A variable assignment satisfies a formula x A if and only if all its x-variants satisfy A. As usual, an x-variant of a variable assignment is any variable assignment that differs from it only in the value of x. The formulae and sentences A and B may contain the satisfaction predicate. The language of the base theory contains predicate symbols. The axioms are as expected. For instance, a variable assignment a satisfies the formula x y if and only if a(x) a(y), where a(v) is the value of a given variable v under the variable assignment a. Similar axioms are added for all predicate symbols other than Sat. If individual constants and function symbols are present, suitable axioms have to be specified. I use the name Ω for the overall theory, comprising the axioms of the base theory, all its schemata extended to the language with Sat and the axioms for Sat. The theory Ω resembles the usual Tarskian theory of truth with the exception that the compositional clauses are postulated also for formulae containing the satisfaction predicate. We may want to add further axioms and rules later, especially concerning the behaviour of the satisfaction predicate on formulae containing the satisfaction predicate. But for the present purposes we can proceed without additional axioms. Since also schemata are expanded to the language with the satisfaction predicate, Ω is properly stronger than the base theory. Its consistency cannot be proved relative to Zermelo Fraenkel set theory. However, it is equiconsistent with a typed Tarskian theory and thus there are good reasons to believe in its consistency if the base theory is assumed to be consistent. Moreover, adding analogous axioms to reasonably behaved weaker theories such as Peano arithmetic yields provably consistent extensions of these theories. The truth axioms act as a reflection principle. 14 Therefore it is at least plausible to assume the consistency of Ω. The axioms for satisfaction describe a notion of truth based on classical logic. It reflects the axioms for classical logic in which the base theory is formulated. If a nonclassical theory were used as base theory, the axioms for justification would have to be adjusted accordingly. For instance, a theory formulated in Strong Kleene logic would require a matching theory of truth for this logic. The substitutional approach may thus be applicable to other logics. It s not a route I would like to take; but the possibility of applying the substitutional approach to nonclassical logic shows that from the substitutional approach we are unlikely to extract an argument in favour of a certain logic. substitutional definitions of logical truth & consequence Using the axiomatized notion of truth and the defined notion of a substitutional interpretation, logical truth and consequence can now be defined. A formula A is satisfied under a 14 See (Halbach 2014, sec. 22). 14

15 substitutional interpretation I and variable assignment iff the substitutional interpretation I(A) of that formula is satisfied under that variable assignment. A sentence is logically valid iff it is satisfied under all substitutional interpretations and variable assignments. A sentence A follows logically from a premiss set Γ iff A is satisfied under all substitutional interpretations and all variable assignments under which all formulae in Γ are satisfied. In these definitions a formula is allowed to contain the satisfaction predicate. The definitions can be stated in the theory Ω. A substitutional interpretation may replace an individual constants not only with an individual constant, but also with a free variable. Hence the usual worry about objects not named by any constant or another singular term is alleviated. A given constant may be replaced with a free variable and then that variable can be assigned any object via the variable assignments. With these definitions it is trivial that logical validity implies truth. If a sentence is logically valid, it is satisfied under all substitutional interpretations and variable assignments. The identity function, that is, the function that maps every formula to itself is a substitutional interpretation. Hence, if a sentence is valid on the substitutional definition, it is satisfied under all variable assignments, that is, it is true. Similarly, it can be established that logical consequence preserves truth. This can be explained more formally as follows. Assume that Val(x) is the formula in Ω defining logical truth. If Val(x) expresses the above notion of validity, then the claim that logical validity implies truth becomes x (Val(x) a Sat(x, a)), where a expresses quantification over all variable assignments (the restriction of the quantifier x to sentences is not necessary). This principle is not even expressible on the model-theoretic account, because there is no absolute set-theoretically definable satisfaction predicate Sat. Thus one might object that x (Val(x) a Sat(x, a)) does not express what was intended by saying that logical validity implies truth. What was really meant, so one might claim, is the schema Val([A]) A for all sentences A, where [A] is some canonical name for the sentence A. This schema, however, strikes me as too weak to express the claim that logical validity implies truth. Unlike the universally quantified principle, it is not clear how to negate the schema. so we cannot even state that validity does not imply truth on the schematic account. But one can still ask whether the schema Val([A]) A is provable. In fact it is, but perhaps, the critical reader might feel, for the wrong reasons. 15 The substitutional definitions of logical truth and consequence are universal: They apply to the entire language of Ω. In particular, it applies to sentences containing the satisfaction predicate. It shares this feature with the model-theoretic definition, because the modeltheoretic definition, which is defined in set theory, applies to the entire language of set theory. 15 The proof is somewhat convoluted. First it can be shown that Val([A]) implies truth in all set-theoretic models and hence provability in (free) predicate logic by the formalized completeness theorem. The theory of satisfaction is essentially reflexive and thus proves the local reflection principle for any finite subtheory, and thus for logic. A proof via the satisfaction predicate is not feasible, even if the theory of satisfaction is (consistently) strengthened. The schema a Sat([A], a) A is inconsistent, as Sat commutes with negation. Only the rules that allows to proceed from a proof of a Sat([A], a) to A can consistently be added. (Kreisel 1965, p. 117) gives a similar argument, pointing out that it does not apply to finitely axiomatized theories. 15

THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE

THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE THE SUBSTITUTIONAL ANALYSIS OF LOGICAL CONSEQUENCE Volker Halbach draft version please don t quote 2nd June 2016 Consequentia formalis vocatur quae in omnibus terminis valet retenta forma consimili. Vel

More information

Reply to Stalnaker. Timothy Williamson. In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic

Reply to Stalnaker. Timothy Williamson. In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic 1 Reply to Stalnaker Timothy Williamson In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic as Metaphysics between contingentism in modal metaphysics and the use of

More information

What is Character? David Braun. University of Rochester. In "Demonstratives", David Kaplan argues that indexicals and other expressions have a

What is Character? David Braun. University of Rochester. In Demonstratives, David Kaplan argues that indexicals and other expressions have a Appeared in Journal of Philosophical Logic 24 (1995), pp. 227-240. What is Character? David Braun University of Rochester In "Demonstratives", David Kaplan argues that indexicals and other expressions

More information

Sidestepping the holes of holism

Sidestepping the holes of holism Sidestepping the holes of holism Tadeusz Ciecierski taci@uw.edu.pl University of Warsaw Institute of Philosophy Piotr Wilkin pwl@mimuw.edu.pl University of Warsaw Institute of Philosophy / Institute of

More information

In Defense of the Contingently Nonconcrete

In Defense of the Contingently Nonconcrete In Defense of the Contingently Nonconcrete Bernard Linsky Philosophy Department University of Alberta and Edward N. Zalta Center for the Study of Language and Information Stanford University In Actualism

More information

PLEASE SCROLL DOWN FOR ARTICLE

PLEASE SCROLL DOWN FOR ARTICLE This article was downloaded by:[ingenta Content Distribution] On: 24 January 2008 Access Details: [subscription number 768420433] Publisher: Routledge Informa Ltd Registered in England and Wales Registered

More information

Scientific Philosophy

Scientific Philosophy Scientific Philosophy Gustavo E. Romero IAR-CONICET/UNLP, Argentina FCAGLP, UNLP, 2018 Philosophy of mathematics The philosophy of mathematics is the branch of philosophy that studies the philosophical

More information

Nissim Francez: Proof-theoretic Semantics College Publications, London, 2015, xx+415 pages

Nissim Francez: Proof-theoretic Semantics College Publications, London, 2015, xx+415 pages BOOK REVIEWS Organon F 23 (4) 2016: 551-560 Nissim Francez: Proof-theoretic Semantics College Publications, London, 2015, xx+415 pages During the second half of the twentieth century, most of logic bifurcated

More information

CONTINGENCY AND TIME. Gal YEHEZKEL

CONTINGENCY AND TIME. Gal YEHEZKEL CONTINGENCY AND TIME Gal YEHEZKEL ABSTRACT: In this article I offer an explanation of the need for contingent propositions in language. I argue that contingent propositions are required if and only if

More information

Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p.

Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p. Preface p. xi Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p. 11 Consistency p. 12 Consistency and Validity

More information

Articulating Medieval Logic, by Terence Parsons. Oxford: Oxford University Press,

Articulating Medieval Logic, by Terence Parsons. Oxford: Oxford University Press, Articulating Medieval Logic, by Terence Parsons. Oxford: Oxford University Press, 2014. Pp. xiii + 331. H/b 50.00. This is a very exciting book that makes some bold claims about the power of medieval logic.

More information

Conclusion. One way of characterizing the project Kant undertakes in the Critique of Pure Reason is by

Conclusion. One way of characterizing the project Kant undertakes in the Critique of Pure Reason is by Conclusion One way of characterizing the project Kant undertakes in the Critique of Pure Reason is by saying that he seeks to articulate a plausible conception of what it is to be a finite rational subject

More information

The Reference Book, by John Hawthorne and David Manley. Oxford: Oxford University Press 2012, 280 pages. ISBN

The Reference Book, by John Hawthorne and David Manley. Oxford: Oxford University Press 2012, 280 pages. ISBN Book reviews 123 The Reference Book, by John Hawthorne and David Manley. Oxford: Oxford University Press 2012, 280 pages. ISBN 9780199693672 John Hawthorne and David Manley wrote an excellent book on the

More information

Verity Harte Plato on Parts and Wholes Clarendon Press, Oxford 2002

Verity Harte Plato on Parts and Wholes Clarendon Press, Oxford 2002 Commentary Verity Harte Plato on Parts and Wholes Clarendon Press, Oxford 2002 Laura M. Castelli laura.castelli@exeter.ox.ac.uk Verity Harte s book 1 proposes a reading of a series of interesting passages

More information

Peirce's Remarkable Rules of Inference

Peirce's Remarkable Rules of Inference Peirce's Remarkable Rules of Inference John F. Sowa Abstract. The rules of inference that Peirce invented for existential graphs are the simplest, most elegant, and most powerful rules ever proposed for

More information

Naïve realism without disjunctivism about experience

Naïve realism without disjunctivism about experience Naïve realism without disjunctivism about experience Introduction Naïve realism regards the sensory experiences that subjects enjoy when perceiving (hereafter perceptual experiences) as being, in some

More information

Resemblance Nominalism: A Solution to the Problem of Universals. GONZALO RODRIGUEZ-PEREYRA. Oxford: Clarendon Press, Pp. xii, 238.

Resemblance Nominalism: A Solution to the Problem of Universals. GONZALO RODRIGUEZ-PEREYRA. Oxford: Clarendon Press, Pp. xii, 238. The final chapter of the book is devoted to the question of the epistemological status of holistic pragmatism itself. White thinks of it as a thesis, a statement that may have been originally a very generalized

More information

Aristotle s Modal Syllogistic. Marko Malink. Cambridge Harvard University Press, Pp X $ 45,95 (hardback). ISBN:

Aristotle s Modal Syllogistic. Marko Malink. Cambridge Harvard University Press, Pp X $ 45,95 (hardback). ISBN: Aristotle s Modal Syllogistic. Marko Malink. Cambridge Harvard University Press, 2013. Pp X -336. $ 45,95 (hardback). ISBN: 978-0674724549. Lucas Angioni The aim of Malink s book is to provide a consistent

More information

Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany

Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany Internal Realism Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany Abstract. This essay characterizes a version of internal realism. In I will argue that for semantical

More information

Non-Classical Logics. Viorica Sofronie-Stokkermans Winter Semester 2012/2013

Non-Classical Logics. Viorica Sofronie-Stokkermans   Winter Semester 2012/2013 Non-Classical Logics Viorica Sofronie-Stokkermans E-mail: sofronie@uni-koblenz.de Winter Semester 2012/2013 1 Non-Classical Logics Alternatives to classical logic Extensions of classical logic 2 Non-Classical

More information

Logic and Philosophy of Science (LPS)

Logic and Philosophy of Science (LPS) Logic and Philosophy of Science (LPS) 1 Logic and Philosophy of Science (LPS) Courses LPS 29. Critical Reasoning. 4 Units. Introduction to analysis and reasoning. The concepts of argument, premise, and

More information

1/8. Axioms of Intuition

1/8. Axioms of Intuition 1/8 Axioms of Intuition Kant now turns to working out in detail the schematization of the categories, demonstrating how this supplies us with the principles that govern experience. Prior to doing so he

More information

Quine s Two Dogmas of Empiricism. By Spencer Livingstone

Quine s Two Dogmas of Empiricism. By Spencer Livingstone Quine s Two Dogmas of Empiricism By Spencer Livingstone An Empiricist? Quine is actually an empiricist Goal of the paper not to refute empiricism through refuting its dogmas Rather, to cleanse empiricism

More information

STRUCTURES AND STRUCTURALISM IN CONTEMPORARY PHILOSOPHY OF MATHEMATICS

STRUCTURES AND STRUCTURALISM IN CONTEMPORARY PHILOSOPHY OF MATHEMATICS ERICH H. RECK and MICHAEL P. PRICE STRUCTURES AND STRUCTURALISM IN CONTEMPORARY PHILOSOPHY OF MATHEMATICS ABSTRACT. In recent philosophy of mathematics a variety of writers have presented structuralist

More information

What Can Experimental Philosophy Do? David Chalmers

What Can Experimental Philosophy Do? David Chalmers What Can Experimental Philosophy Do? David Chalmers Cast of Characters X-Phi: Experimental Philosophy E-Phi: Empirical Philosophy A-Phi: Armchair Philosophy Challenges to Experimental Philosophy Empirical

More information

The Strengths and Weaknesses of Frege's Critique of Locke By Tony Walton

The Strengths and Weaknesses of Frege's Critique of Locke By Tony Walton The Strengths and Weaknesses of Frege's Critique of Locke By Tony Walton This essay will explore a number of issues raised by the approaches to the philosophy of language offered by Locke and Frege. This

More information

Designing a Deductive Foundation System

Designing a Deductive Foundation System Designing a Deductive Foundation System Roger Bishop Jones Date: 2009/05/06 10:02:41 Abstract. A discussion of issues in the design of formal logical foundation systems suitable for use in machine supported

More information

Necessity in Kant; Subjective and Objective

Necessity in Kant; Subjective and Objective Necessity in Kant; Subjective and Objective DAVID T. LARSON University of Kansas Kant suggests that his contribution to philosophy is analogous to the contribution of Copernicus to astronomy each involves

More information

Lecture 10 Popper s Propensity Theory; Hájek s Metatheory

Lecture 10 Popper s Propensity Theory; Hájek s Metatheory Lecture 10 Popper s Propensity Theory; Hájek s Metatheory Patrick Maher Philosophy 517 Spring 2007 Popper s propensity theory Introduction One of the principal challenges confronting any objectivist theory

More information

Bas C. van Fraassen, Scientific Representation: Paradoxes of Perspective, Oxford University Press, 2008.

Bas C. van Fraassen, Scientific Representation: Paradoxes of Perspective, Oxford University Press, 2008. Bas C. van Fraassen, Scientific Representation: Paradoxes of Perspective, Oxford University Press, 2008. Reviewed by Christopher Pincock, Purdue University (pincock@purdue.edu) June 11, 2010 2556 words

More information

PHL 317K 1 Fall 2017 Overview of Weeks 1 5

PHL 317K 1 Fall 2017 Overview of Weeks 1 5 PHL 317K 1 Fall 2017 Overview of Weeks 1 5 We officially started the class by discussing the fact/opinion distinction and reviewing some important philosophical tools. A critical look at the fact/opinion

More information

Replies to the Critics

Replies to the Critics Edward N. Zalta 2 Replies to the Critics Edward N. Zalta Center for the Study of Language and Information Stanford University Menzel s Commentary Menzel s commentary is a tightly focused, extended argument

More information

Philosophy 405: Knowledge, Truth and Mathematics Spring Russell Marcus Hamilton College

Philosophy 405: Knowledge, Truth and Mathematics Spring Russell Marcus Hamilton College Philosophy 405: Knowledge, Truth and Mathematics Spring 2014 Russell Marcus Hamilton College Class #4: Aristotle Sample Introductory Material from Marcus and McEvoy, An Historical Introduction to the Philosophy

More information

1 Objects and Logic. 1. Abstract objects

1 Objects and Logic. 1. Abstract objects 1 Objects and Logic 1. Abstract objects The language of mathematics speaks of objects. This is a rather trivial statement; it is not certain that we can conceive any developed language that does not. What

More information

Formalizing Irony with Doxastic Logic

Formalizing Irony with Doxastic Logic Formalizing Irony with Doxastic Logic WANG ZHONGQUAN National University of Singapore April 22, 2015 1 Introduction Verbal irony is a fundamental rhetoric device in human communication. It is often characterized

More information

6.034 Notes: Section 4.1

6.034 Notes: Section 4.1 6.034 Notes: Section 4.1 Slide 4.1.1 What is a logic? A logic is a formal language. And what does that mean? It has a syntax and a semantics, and a way of manipulating expressions in the language. We'll

More information

On Meaning. language to establish several definitions. We then examine the theories of meaning

On Meaning. language to establish several definitions. We then examine the theories of meaning Aaron Tuor Philosophy of Language March 17, 2014 On Meaning The general aim of this paper is to evaluate theories of linguistic meaning in terms of their success in accounting for definitions of meaning

More information

PHI 3240: Philosophy of Art

PHI 3240: Philosophy of Art PHI 3240: Philosophy of Art Session 5 September 16 th, 2015 Malevich, Kasimir. (1916) Suprematist Composition. Gaut on Identifying Art Last class, we considered Noël Carroll s narrative approach to identifying

More information

observation and conceptual interpretation

observation and conceptual interpretation 1 observation and conceptual interpretation Most people will agree that observation and conceptual interpretation constitute two major ways through which human beings engage the world. Questions about

More information

Review. DuMMETT, MICHAEL. The elements of intuitionism. Oxford: Oxford University Press, 1977, χ+467 pages.

Review. DuMMETT, MICHAEL. The elements of intuitionism. Oxford: Oxford University Press, 1977, χ+467 pages. Review DuMMETT, MICHAEL. The elements of intuitionism. Oxford: Oxford University Press, 1977, χ+467 pages. Over the last twenty years, Dummett has written a long series of papers advocating a view on meaning

More information

Categories and Schemata

Categories and Schemata Res Cogitans Volume 1 Issue 1 Article 10 7-26-2010 Categories and Schemata Anthony Schlimgen Creighton University Follow this and additional works at: http://commons.pacificu.edu/rescogitans Part of the

More information

THE PROBLEM OF INTERPRETING MODAL LOGIC w. V. QUINE

THE PROBLEM OF INTERPRETING MODAL LOGIC w. V. QUINE THm J OUBKAL OJ' SYMBOLIC LOGlc Volume 12, Number 2, June 1947 THE PROBLEM OF INTERPRETING MODAL LOGIC w. V. QUINE There are logicians, myself among them, to \",~hom the ideas of modal logic (e. g. Lewis's)

More information

Introduction Section 1: Logic. The basic purpose is to learn some elementary logic.

Introduction Section 1: Logic. The basic purpose is to learn some elementary logic. 1 Introduction About this course I hope that this course to be a practical one where you learn to read and write proofs yourselves. I will not present too much technical materials. The lecture pdf will

More information

A Functional Representation of Fuzzy Preferences

A Functional Representation of Fuzzy Preferences Forthcoming on Theoretical Economics Letters A Functional Representation of Fuzzy Preferences Susheng Wang 1 October 2016 Abstract: This paper defines a well-behaved fuzzy order and finds a simple functional

More information

SUMMARY BOETHIUS AND THE PROBLEM OF UNIVERSALS

SUMMARY BOETHIUS AND THE PROBLEM OF UNIVERSALS SUMMARY BOETHIUS AND THE PROBLEM OF UNIVERSALS The problem of universals may be safely called one of the perennial problems of Western philosophy. As it is widely known, it was also a major theme in medieval

More information

Ontology as a formal one. The language of ontology as the ontology itself: the zero-level language

Ontology as a formal one. The language of ontology as the ontology itself: the zero-level language Ontology as a formal one The language of ontology as the ontology itself: the zero-level language Vasil Penchev Bulgarian Academy of Sciences: Institute for the Study of Societies and Knowledge: Dept of

More information

A Note on Analysis and Circular Definitions

A Note on Analysis and Circular Definitions A Note on Analysis and Circular Definitions Francesco Orilia Department of Philosophy, University of Macerata (Italy) Achille C. Varzi Department of Philosophy, Columbia University, New York (USA) (Published

More information

1/6. The Anticipations of Perception

1/6. The Anticipations of Perception 1/6 The Anticipations of Perception The Anticipations of Perception treats the schematization of the category of quality and is the second of Kant s mathematical principles. As with the Axioms of Intuition,

More information

Types of perceptual content

Types of perceptual content Types of perceptual content Jeff Speaks January 29, 2006 1 Objects vs. contents of perception......................... 1 2 Three views of content in the philosophy of language............... 2 3 Perceptual

More information

On the Analogy between Cognitive Representation and Truth

On the Analogy between Cognitive Representation and Truth On the Analogy between Cognitive Representation and Truth Mauricio SUÁREZ and Albert SOLÉ BIBLID [0495-4548 (2006) 21: 55; pp. 39-48] ABSTRACT: In this paper we claim that the notion of cognitive representation

More information

Internal Realism. Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany

Internal Realism. Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany Internal Realism Manuel Bremer University Lecturer, Philosophy Department, University of Düsseldorf, Germany This essay deals characterizes a version of internal realism. In I will argue that for semantical

More information

11. SUMMARY OF THE BASIC QUANTIFIER TRANSLATION PATTERNS SO FAR EXAMINED

11. SUMMARY OF THE BASIC QUANTIFIER TRANSLATION PATTERNS SO FAR EXAMINED 248 Hardegree, Symbolic Logic 11. SUMMARY OF THE BASIC QUANTIFIER TRANSLATION PATTERNS SO FAR EXAMINED Before continuing, it is a good idea to review the basic patterns of translation that we have examined

More information

138 Great Problems in Philosophy and Physics - Solved? Chapter 11. Meaning. This chapter on the web informationphilosopher.com/knowledge/meaning

138 Great Problems in Philosophy and Physics - Solved? Chapter 11. Meaning. This chapter on the web informationphilosopher.com/knowledge/meaning 138 Great Problems in Philosophy and Physics - Solved? This chapter on the web informationphilosopher.com/knowledge/meaning The Problem of The meaning of any word, concept, or object is different for different

More information

Dawn M. Phillips The real challenge for an aesthetics of photography

Dawn M. Phillips The real challenge for an aesthetics of photography Dawn M. Phillips 1 Introduction In his 1983 article, Photography and Representation, Roger Scruton presented a powerful and provocative sceptical position. For most people interested in the aesthetics

More information

QUESTIONS AND LOGICAL ANALYSIS OF NATURAL LANGUAGE: THE CASE OF TRANSPARENT INTENSIONAL LOGIC MICHAL PELIŠ

QUESTIONS AND LOGICAL ANALYSIS OF NATURAL LANGUAGE: THE CASE OF TRANSPARENT INTENSIONAL LOGIC MICHAL PELIŠ Logique & Analyse 185 188 (2004), x x QUESTIONS AND LOGICAL ANALYSIS OF NATURAL LANGUAGE: THE CASE OF TRANSPARENT INTENSIONAL LOGIC MICHAL PELIŠ Abstract First, some basic notions of transparent intensional

More information

INTRODUCTION TO AXIOMATIC SET THEORY

INTRODUCTION TO AXIOMATIC SET THEORY INTRODUCTION TO AXIOMATIC SET THEORY SYNTHESE LIBRARY MONOGRAPHS ON EPISTEMOLOGY, LOGIC, METHODOLOGY, PHILOSOPHY OF SCIENCE, SOCIOLOGY OF SCIENCE AND OF KNOWLEDGE, AND ON THE MATHEMATICAL METHODS OF SOCIAL

More information

Brandom s Reconstructive Rationality. Some Pragmatist Themes

Brandom s Reconstructive Rationality. Some Pragmatist Themes Brandom s Reconstructive Rationality. Some Pragmatist Themes Testa, Italo email: italo.testa@unipr.it webpage: http://venus.unive.it/cortella/crtheory/bios/bio_it.html University of Parma, Dipartimento

More information

Structural Realism, Scientific Change, and Partial Structures

Structural Realism, Scientific Change, and Partial Structures Otávio Bueno Structural Realism, Scientific Change, and Partial Structures Abstract. Scientific change has two important dimensions: conceptual change and structural change. In this paper, I argue that

More information

Curry s Formalism as Structuralism

Curry s Formalism as Structuralism Curry s Formalism as Structuralism Jonathan P. Seldin Department of Mathematics and Computer Science University of Lethbridge Lethbridge, Alberta, Canada jonathan.seldin@uleth.ca http://www.cs.uleth.ca/

More information

The Language of First-Order Predicate Logic

The Language of First-Order Predicate Logic The Language of First-Order Predicate Logic (Note: First-Order Predicate Logic differs from ordinary Predicate Logic in that it contains individual variables and quantifiers. The designation first-order

More information

Ontological and historical responsibility. The condition of possibility

Ontological and historical responsibility. The condition of possibility Ontological and historical responsibility The condition of possibility Vasil Penchev Bulgarian Academy of Sciences: Institute for the Study of Societies of Knowledge vasildinev@gmail.com The Historical

More information

Análisis Filosófico ISSN: Sociedad Argentina de Análisis Filosófico Argentina

Análisis Filosófico ISSN: Sociedad Argentina de Análisis Filosófico Argentina Análisis Filosófico ISSN: 0326-1301 af@sadaf.org.ar Sociedad Argentina de Análisis Filosófico Argentina ZERBUDIS, EZEQUIEL INTRODUCTION: GENERAL TERM RIGIDITY AND DEVITT S RIGID APPLIERS Análisis Filosófico,

More information

TRUTH AND CIRCULAR DEFINITIONS

TRUTH AND CIRCULAR DEFINITIONS Francesco Orilia Department of Philosophy, University of Cagliari (Italy) Achille C. Varzi Istituto per la Ricerca Scientifica e Tecnologica, Povo/Trento (Italy) Review of Anil Gupta and Nuel Belnap, The

More information

Intensional Relative Clauses and the Semantics of Variable Objects

Intensional Relative Clauses and the Semantics of Variable Objects 1 To appear in M. Krifka / M. Schenner (eds.): Reconstruction Effects in Relative Clauses. Akademie Verlag, Berlin. Intensional Relative Clauses and the Semantics of Variable Objects Friederike Moltmann

More information

Università della Svizzera italiana. Faculty of Communication Sciences. Master of Arts in Philosophy 2017/18

Università della Svizzera italiana. Faculty of Communication Sciences. Master of Arts in Philosophy 2017/18 Università della Svizzera italiana Faculty of Communication Sciences Master of Arts in Philosophy 2017/18 Philosophy. The Master in Philosophy at USI is a research master with a special focus on theoretical

More information

BOOK REVIEWS. University of Southern California. The Philosophical Review, XCI, No. 2 (April 1982)

BOOK REVIEWS. University of Southern California. The Philosophical Review, XCI, No. 2 (April 1982) obscurity of purpose makes his continual references to science seem irrelevant to our views about the nature of minds. This can only reinforce what Wilson would call the OA prejudices that he deplores.

More information

THE PARADOX OF ANALYSIS

THE PARADOX OF ANALYSIS SBORNlK PRACl FILOZOFICKE FAKULTY BRNENSKE UNIVERZITY STUDIA MINORA FACULTATIS PHILOSOPHICAE UNIVERSITATIS BRUNENSIS B 39, 1992 PAVEL MATERNA THE PARADOX OF ANALYSIS 1. INTRODUCTION Any genuine paradox

More information

Background to Gottlob Frege

Background to Gottlob Frege Background to Gottlob Frege Gottlob Frege (1848 1925) Life s work: logicism (the reduction of arithmetic to logic). This entailed: Inventing (discovering?) modern logic, including quantification, variables,

More information

The Philosophy of Language. Frege s Sense/Reference Distinction

The Philosophy of Language. Frege s Sense/Reference Distinction The Philosophy of Language Lecture Two Frege s Sense/Reference Distinction Rob Trueman rob.trueman@york.ac.uk University of York Introduction Frege s Sense/Reference Distinction Introduction Frege s Theory

More information

The Prenective View of propositional content

The Prenective View of propositional content Synthese (2018) 195:1799 1825 https://doi.org/10.1007/s11229-016-1309-4 The Prenective View of propositional content Robert Trueman 1 Received: 9 August 2016 / Accepted: 23 December 2016 / Published online:

More information

Resemblance Nominalism: A Solution to the Problem of Universals

Resemblance Nominalism: A Solution to the Problem of Universals Resemblance Nominalism: A Solution to the Problem of Universals Rodriguez-Pereyra, Gonzalo, Resemblance Nominalism: A Solution to the Problem of Universals, Oxford, 246pp, $52.00 (hbk), ISBN 0199243778.

More information

Logical Foundations of Mathematics and Computational Complexity a gentle introduction

Logical Foundations of Mathematics and Computational Complexity a gentle introduction Pavel Pudlák Logical Foundations of Mathematics and Computational Complexity a gentle introduction January 18, 2013 Springer i Preface As the title states, this book is about logic, foundations and complexity.

More information

Disquotation, Conditionals, and the Liar 1

Disquotation, Conditionals, and the Liar 1 POLISH JOURNAL OF PHILOSOPHY Vol. III, No. 1 (Spring 2009), 5-21. Disquotation, Conditionals, and the Liar 1 John Barker University of Illinois at Springfield Abstract. In this paper I respond to Jacquette

More information

Author's personal copy

Author's personal copy DOI 10.1007/s13194-014-0100-y ORIGINAL PAPER IN PHILOSOPHY OF SCIENCE Structural realism and the nature of structure Jonas R. Becker Arenhart Otávio Bueno Received: 28 November 2013 / Accepted: 28 September

More information

ANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE

ANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE ANALYSIS OF THE PREVAILING VIEWS REGARDING THE NATURE OF THEORY- CHANGE IN THE FIELD OF SCIENCE Jonathan Martinez Abstract: One of the best responses to the controversial revolutionary paradigm-shift theory

More information

Incommensurability and Partial Reference

Incommensurability and Partial Reference Incommensurability and Partial Reference Daniel P. Flavin Hope College ABSTRACT The idea within the causal theory of reference that names hold (largely) the same reference over time seems to be invalid

More information

Visual Argumentation in Commercials: the Tulip Test 1

Visual Argumentation in Commercials: the Tulip Test 1 Opus et Educatio Volume 4. Number 2. Hédi Virág CSORDÁS Gábor FORRAI Visual Argumentation in Commercials: the Tulip Test 1 Introduction Advertisements are a shared subject of inquiry for media theory and

More information

The Philosophy of Language. Grice s Theory of Meaning

The Philosophy of Language. Grice s Theory of Meaning The Philosophy of Language Lecture Seven Grice s Theory of Meaning Rob Trueman rob.trueman@york.ac.uk University of York 1 / 85 Re-Cap: Quine versus Meaning Grice s Theory of Meaning Re-Cap: Quine versus

More information

INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY

INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN ICED 05 MELBOURNE, AUGUST 15-18, 2005 GENERAL DESIGN THEORY AND GENETIC EPISTEMOLOGY Mizuho Mishima Makoto Kikuchi Keywords: general design theory, genetic

More information

Logical Expressivism, Logical Theory and the Critique of Inferences

Logical Expressivism, Logical Theory and the Critique of Inferences This is a post-peer-review, pre-copyedit version of an article published in Synthese. The final authenticated version is available online at https://doi.org/10.1007/s11229-017-1662-y. Logical Expressivism,

More information

The Debate on Research in the Arts

The Debate on Research in the Arts Excerpts from The Debate on Research in the Arts 1 The Debate on Research in the Arts HENK BORGDORFF 2007 Research definitions The Research Assessment Exercise and the Arts and Humanities Research Council

More information

Image and Imagination

Image and Imagination * Budapest University of Technology and Economics Moholy-Nagy University of Art and Design, Budapest Abstract. Some argue that photographic and cinematic images are transparent ; we see objects through

More information

Are There Two Theories of Goodness in the Republic? A Response to Santas. Rachel Singpurwalla

Are There Two Theories of Goodness in the Republic? A Response to Santas. Rachel Singpurwalla Are There Two Theories of Goodness in the Republic? A Response to Santas Rachel Singpurwalla It is well known that Plato sketches, through his similes of the sun, line and cave, an account of the good

More information

Partitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs

Partitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs Partitioning a Proof: An Exploratory Study on Undergraduates Comprehension of Proofs Eyob Demeke David Earls California State University, Los Angeles University of New Hampshire In this paper, we explore

More information

Qeauty and the Books: A Response to Lewis s Quantum Sleeping Beauty Problem

Qeauty and the Books: A Response to Lewis s Quantum Sleeping Beauty Problem Qeauty and the Books: A Response to Lewis s Quantum Sleeping Beauty Problem Daniel Peterson June 2, 2009 Abstract In his 2007 paper Quantum Sleeping Beauty, Peter Lewis poses a problem for appeals to subjective

More information

Figure 9.1: A clock signal.

Figure 9.1: A clock signal. Chapter 9 Flip-Flops 9.1 The clock Synchronous circuits depend on a special signal called the clock. In practice, the clock is generated by rectifying and amplifying a signal generated by special non-digital

More information

LOGICO-SEMANTIC ASPECTS OF TRUTHFULNESS

LOGICO-SEMANTIC ASPECTS OF TRUTHFULNESS Bulletin of the Section of Logic Volume 13/3 (1984), pp. 1 5 reedition 2008 [original edition, pp. 125 131] Jana Yaneva LOGICO-SEMANTIC ASPECTS OF TRUTHFULNESS 1. I shall begin with two theses neither

More information

The Object Oriented Paradigm

The Object Oriented Paradigm The Object Oriented Paradigm By Sinan Si Alhir (October 23, 1998) Updated October 23, 1998 Abstract The object oriented paradigm is a concept centric paradigm encompassing the following pillars (first

More information

Logic, Truth and Inquiry (Book Review)

Logic, Truth and Inquiry (Book Review) University of Richmond UR Scholarship Repository Philosophy Faculty Publications Philosophy 2013 Logic, Truth and Inquiry (Book Review) G. C. Goddu University of Richmond, ggoddu@richmond.edu Follow this

More information

INTERVIEW: ONTOFORMAT Classical Paradigms and Theoretical Foundations in Contemporary Research in Formal and Material Ontology.

INTERVIEW: ONTOFORMAT Classical Paradigms and Theoretical Foundations in Contemporary Research in Formal and Material Ontology. Rivista Italiana di Filosofia Analitica Junior 5:2 (2014) ISSN 2037-4445 CC http://www.rifanalitica.it Sponsored by Società Italiana di Filosofia Analitica INTERVIEW: ONTOFORMAT Classical Paradigms and

More information

1/8. The Third Paralogism and the Transcendental Unity of Apperception

1/8. The Third Paralogism and the Transcendental Unity of Apperception 1/8 The Third Paralogism and the Transcendental Unity of Apperception This week we are focusing only on the 3 rd of Kant s Paralogisms. Despite the fact that this Paralogism is probably the shortest of

More information

Cambridge Introductions to Philosophy new textbooks from cambridge

Cambridge Introductions to Philosophy new textbooks from cambridge Cambridge Introductions to Philosophy new textbooks from cambridge See the back page for details on how to order your free inspection copy www.cambridge.org/cip An Introduction to Political Philosophy

More information

Aristotle The Master of those who know The Philosopher The Foal

Aristotle The Master of those who know The Philosopher The Foal Aristotle 384-322 The Master of those who know The Philosopher The Foal Pupil of Plato, Preceptor of Alexander 150 books, 1/5 known Stagira 367-347 Academy 347 Atarneus 343-335 Mieza 335-322 Lyceum Chalcis

More information

On Recanati s Mental Files

On Recanati s Mental Files November 18, 2013. Penultimate version. Final version forthcoming in Inquiry. On Recanati s Mental Files Dilip Ninan dilip.ninan@tufts.edu 1 Frege (1892) introduced us to the notion of a sense or a mode

More information

Partial and Paraconsistent Approaches to Future Contingents in Tense Logic

Partial and Paraconsistent Approaches to Future Contingents in Tense Logic Partial and Paraconsistent Approaches to Future Contingents in Tense Logic Seiki Akama (C-Republic) akama@jcom.home.ne.jp Tetsuya Murai (Hokkaido University) murahiko@main.ist.hokudai.ac.jp Yasuo Kudo

More information

PRIOR ON THE LOGIC AND THE METAPHYSICS OF TIME

PRIOR ON THE LOGIC AND THE METAPHYSICS OF TIME PRIOR ON THE LOGIC AND THE METAPHYSICS OF TIME ROBERTA BALLARIN Abstract In this paper I explore three related topics emerging from Prior s work on the logic of time. First, what is the proper province

More information

cse371/mat371 LOGIC Professor Anita Wasilewska

cse371/mat371 LOGIC Professor Anita Wasilewska cse371/mat371 LOGIC Professor Anita Wasilewska LECTURE 1 LOGICS FOR COMPUTER SCIENCE: CLASSICAL and NON-CLASSICAL CHAPTER 1 Paradoxes and Puzzles Chapter 1 Introduction: Paradoxes and Puzzles PART 1: Logic

More information

Constructive mathematics and philosophy of mathematics

Constructive mathematics and philosophy of mathematics Constructive mathematics and philosophy of mathematics Laura Crosilla University of Leeds Constructive Mathematics: Foundations and practice Niš, 24 28 June 2013 Why am I interested in the philosophy of

More information

Simplicity, Its Failures And a Naturalistic Rescue?

Simplicity, Its Failures And a Naturalistic Rescue? Simplicity, Its Failures And a Naturalistic Rescue? (Manuel Bremer, University of Cologne) Simplicity is often mentioned as a criterion to accept one theory out of a set of mutual exclusive theories which

More information

CARROLL ON THE MOVING IMAGE

CARROLL ON THE MOVING IMAGE CARROLL ON THE MOVING IMAGE Thomas E. Wartenberg (Mount Holyoke College) The question What is cinema? has been one of the central concerns of film theorists and aestheticians of film since the beginnings

More information