Gradable Adjectives, Compounded Scales, Conjunction and Structured Meanings

Size: px
Start display at page:

Download "Gradable Adjectives, Compounded Scales, Conjunction and Structured Meanings"

Transcription

1 Gradable Adjectives, Compounded Scales, Conjunction and Structured Meanings Alan Bale Winter, Introduction General Issues: 1. What are the semantic properties correlated with being syntactically categorized as a Gradable Adjective? Are Gradable Adjectives inherently linked to degrees or rather are degrees a creation of the comparative and equative morphemes? 2. How should conjunction be interpreted? Should the interpretation of conjunction be a boolean operator (specifically a boolean meet operator)? Specific Issue: Traditional views on the interpretation of gradable adjectives (as degree functions or relations between individuals and degrees) and the interpretation of conjunction (as boolean meet or intersection) have difficulties accounting for the sentences in (1). (1) a. Jen is more beautiful and intelligent than Morag is. b. Jen is as tall and wide as Morag is. In this talk I will argue that sentences such as those in (1) are inconsistent with interpreting gradable adjectives as involving degrees while maintaining a 1

2 boolean interpretation of conjunction. One of the two interpretations must be given up. I will explore and evaluate two possibilities: 1. Gradable adjectives are interpreted as relations between individuals (much like the classical interpretation of transitive verbs). This interpretation of adjectives can account for the sentences in (1) while maintaining a traditional interpretation of conjunction. 2. Conjoined phrases are interpreted as structured meanings (as proposed by Winter, 1995). This interpretation of conjoined phrases can account for the sentences in (1) while maintaining a traditional interpretation of gradable adjectives. 2 Are Gradable Adjectives Measure Functions? Sentences like those in (2) can easily be given an analysis using degrees (or structured equivalents such as extents and delineations). (2) a. This table is longer than the door-frame is wide. b. This table is longer than the couch is. TWO THEORIES OF DEGREES 1. ADJECTIVES AS MEASURE FUNCTIONS * Kennedy (1999), following Bartsch & Vennemann (1972), suggests that adjectives should be interpreted as functions form individuals to degrees. (3) a. Jen is taller than Morag. b. MAX{d : d T [[tall]](j)} > MAX{d : d T [[tall]](m)} = [[tall]](j) > [[tall]](m) 2

3 2. ADJECTIVES AS RELATIONS BETWEEN INDIVIDUALS AND DE- GREES * Cresswell (1976) proposes that adjectives should be interpreted as relations between individuals and degrees. (4) a. Jen is taller than Morag. b. MAX{d :[[tall]](j, d)} > T MAX{d :[[tall]](m, d)} Simplifying: I will collapse the two theories into one shorthand... x is d-adj. This form will represent both possible interpretations of the adjective. * Measure Function Approach: x is d-adj will translate as d ADJ [[ADJ]](x). * Degree Relation Approach: x is d-adj will translate as [[ADJ]] (x, d). The sentences in (5a) and (6a) can be given the truth conditions in (5b) and (6b). (5) a. Jen is more beautiful than Morag is. b. M AX{d : Jen is d-beautiful} > M AX{d : Morag is d-beautiful} (6) a. Jen is as tall as Morag is. b. MAX{d : Jen is d-tall} MAX{d : Morag is d-tall} BACK TO THE SENTENCES PRESENTED IN (1): the interpretation of the sentences in (1) do not yield a meaning that is consistent with intuitions. (7) a. Jen is more beautiful and intelligent than Morag is. 3

4 b. M AX{d : Jen is d-beautiful and d-intelligent} > M AX{d : Morag is d-beautiful and d-intelligent} (8) a. Jen is as tall and wide as Morag is. b. MAX{d : Jen is d-tall and d-wide} MAX{d : Morag is d-tall and d-wide} The problem is two-fold: 1. By assumption, there are no degrees that are both degrees of beauty and intelligence. Thus the set of degree in (7b) would be empty. MAX would be undefined. The sentence is predicted to be anomalous. * Under both theories of degrees: [[beautiful]] [[intelligent]] = 2. The adjectives [[tall]] and [[wide]] do share a scale of lengths. However, there are still problems for conjoining these adjectives: * {d : Jen is d-tall and d-wide} is equivalent to {d : Jen is d-wide} since like most human beings Jen is taller than she is wide. * Similarly {d : Morag is d-tall and d-wide} is equivalent to {d : Morag is d-wide}. Consequently, (8b) is equivalent to... MAX{d : Jen is d-tall and d-wide} MAX{d : Morag is d-tall and d-wide}. This formula specifies the truth conditions of (9). (9) Jen is as wide as Morag is. BUT this is not what the sentence in (8a) means! 2.1 Reasons to think there is no ellipsis. Sentences with conjoined adjectives have the same truth conditions as sentences with conjoined comparative phrases. This raises the question of whether 4

5 ellipsis might account for the data presented above. (10) a. Jen is more beautiful and more talented than Pat is. b. Jen is more beautiful and talented than Pat is. Reasons to think that there is no ellipsis (gapping). * As (11) demonstrates, with canonical gapping constructions, the felicity of the ellipsis/gap is not affected by the addition of adjuncts between the two conjoined phrases as long as parallelism is maintained. (11) a. John fought with Betty and Fred with Suzan. b. John fought with Betty on Tuesday and Fred with Suzan on Wednesday. c. John fought with Betty in the mountain park on Tuesday and Fred with Suzan in the fountain park on Wednesday. * Also, consider non-canonical gapping constructions. The agreement facts in (12a) suggest that a determiner is elided in the second half of the conjunct. It is reasonable to suspect that (12a) underlyingly has the same syntactic form as (12b). (12) a. This fork and knife are gifts from my mother. b. This fork and this knife are gifts from my mother. * As with the canonical gapping constructions, non-cannonical constructions are not affected by the addition of adjuncts between the first and second half of the conjunct. This is demonstrated in (13). (13) a. This fork and knife that I used this morning are gifts from my mother. 5

6 b. This fork that I used yesterday and knife that I used this morning are gifts from my mother. * HOWEVER, the addition of adjuncts between the two halves DOES affect the conjoined gradable adjectives. (14) a. Jen is more beautiful and intelligent than Morag is. b. Jen is as tall and wide as Morag is. (15) a. Jen is more beautiful than Betty is and more intelligent than Morag is. b.? Jen is more beautiful than Betty is and intelligent than Morag is. (16) a. Jen is as tall as Betty is and as wide as Morag is. b.?? Jen is as tall as Betty is and wide as Morag is. (17) a. Jen is less intelligent and beautiful than Morag is. b. Jen is less intelligent than Betty is and less beautiful than Morag is. c.?? Jen is less intelligent than Betty is and beautiful than Morag is. * FURTHERMORE, in canonical gapping constructions, the comparative and equative morpheme cannot be elided without also eliding the adjective it modifies. (18) a. Morag and Patricia are quite beautiful and intelligent but [Jen is more beautiful than Morag] and [Betty more intelligent than Patricia]. b. Morag and Patricia are quite intelligent but [Jen is more intelligent than Morag] and [Betty than Patricia]. 6

7 c. * Morag and Patricia are quite beautiful and intelligent but [Jen is more beautiful than Morag] and [Betty intelligent than Patricia]. (19) a. Morag and Patricia are quite tall and wide but [Jen is as tall as Morag] and [Betty as wide as Patricia]. b. Morag and Patricia are quite intelligent but [Jen is more intelligent than Morag] and [Betty than Patricia]. c. * Morag and Patricia are quite tall and wide but [Jen is as tall as Morag] and [Betty wide as Patricia]. SUMMARY: An ellipsis or gapping account encounters two problems Constructions with conjoined adjectives do not have the same properties as other constructions with ellipsis or gapping. 2. In other canonical gapping constructions, the comparative can never be elided/gapped without also eliding/gapping the adjective. 3 Are Gradable Adjectives Binary Relations? SOLUTION: A potential solution to this problem involves rejecting the idea that Gradable Adjectives are inherently linked to degrees and adopting a position where adjectives are interpreted as binary relations between individuals... * Transitive and reflexive relations such as [[beautiful]] = { x, y : x has as much beauty as y} 2. [[intelligent]] = { x, y : x has as much intelligence as y} 3. [[wide]] = { x, y : x has as much width as y} 4. [[tall]] = { x, y : x has as much height as y} * These relations are called Pre-orders or Quasi Orders (QOs). 7

8 Consequences: * In such a theory, scales and degrees would be derived from the Gradable Adjectives by the comparative morpheme. * Combining Gradable Adjectives with boolean and allows for the creation of compounded scales that would give the correct truth conditions for the sentences in (1). Aside: Worries about the the QOs leading to semantic circularity: * In constructing scales from QOs, it seems as if one is defining a semantics for comparatives using a relation specified in terms of comparative and equative sentences. * BUT, there is a difference between the concept of comparison and the semantics of how comparative and equative sentences are given truth values. * CONCEPT OF COMPARISON WITHOUT LANGUAGE: The underlying QO does not require an analysis of comparatives to define the relation. All it assumes is that given two individuals, speakers can tell if one has as much of a certain property as the other. * Even those without language (monkeys, cats, dogs) are able to compare two objects or individuals in terms of a certain property (to tell which food bowl has more, or which potential mates are more suitable/beautiful). DETAILS OF THE SOLUTION 1. Deriving Scales From QOs (cf. Cresswell, 1976; Klein, 1991): The quotient structure of the QO can be used as a scale. * Building a quotient structure involves two steps: 8

9 (a) Individuals that are reflexively related are collapsed into equivalence classes. (b) The equivalence classes are ordered in a way that is congruent to the original QO, thus creating a scale. (An equivalence class A is ranked above an equivalence class B iff for all x that are members of A and all y that are members of B, x, y is a member of the QO but not y, x.) (20) Quasi Order Quotient Structure Conventional Representation a {a} d 1 = {a} b c {b, c} d 2 = {b, c} d {d} d 3 = {d} e f g {e, f, g} d 4 = {e, f, g} h i {h, i} d 5 = {h, i} j {j} d 6 = {j} 2. Deriving Compounded Scales: If beautiful and intelligent are both interpreted as QOs that encode relations between individuals, then their intersection would also be a QO (transitivity and reflexivity are preserved under intersection). * The nature of this intersected QO can be described in the following way: 9

10 *** x, y ([[beautiful]] [[intelligent]]) iff ( x, y [[beautiful]]) AND ( x, y [[intelligent]]) ** * This entails that x, y is a member of the intersected quasi-order iff x has as much beauty as y and x has as much intelligence as y. (21) B I = B I a c a b a b c b = c d f f e g d f h e g e g h d h * When this intersected QO is converted into a scale, the equivalence classes (and hence degrees) are ordered with respect to both properties.(an equivalence class X will be greater than Y iff every member 10

11 of X has more beauty and more intelligence than every member of Y.) (22) d a d b d c d f d d d e d g d h 3. Interpreting the Comparative: The comparative morpheme is a function that takes three arguments: a QO, a degree and an individual (symbolized by the variables P, d, and x respectively). The details of such an interpretation are given in (23) and (24). * Representing Degrees as ordered pairs (cf. Cresswell,1976): Any degree d is represented as an ordered pair d n, P, where d n is an equivalence class and P is an ordering relation that ranks equivalence classes in a scale. (23) a. MORE( d 1, P, d 2, Q ) is defined iff P = Q, when defined: MORE( d 1, P, d 2, Q ) = 1 iff (d 1 P d 2 )& (d 2 P d 1 ). 11

12 b. AS( d 1, P, d 2, Q ) is defined iff P = Q, when defined: AS( d 1, P, d 2, Q ) = 1 iff (d 1 P d 2 ). (24) a. [[more]] = λp λd λx MORE( x P /, P /, d) b. [[as]] = λp λd λx AS( x P /, P /, d) 4. THAN-CLAUSES: Than-clause can be interpreted as a degree (the exact degree being determined by the adjective and individual in the clause). * The than-clause in (1) than Morag is can be assigned the degree m (B I )/, (B I )/, where (B I) / is the intersection of the two quasi-orders [[beautiful]] and [[intelligent]] and m B I is the equivalence class containing Morag (m) relative to the intersection. * Likewise the second as-clause in the equative in (1) as Morag is can be assigned the degree m (T W )/, (T W )/, where T W is the intersection of the two quasi-orders [[tall]] and [[wide]]. * NOTE: Like others, I assume that the than-clause and as-clause contain a copy of the AP in the main clause ([beautiful and intelligent] and [wide and tall] respectively). 5. EXAMPLES: The interpretation of the sentences in (1) can be represented as in (25) and (26). (25) a. [[Jen is more beautiful and intelligent than Morag is]] = ( ( ( [[more]] [[beautiful and intelligent]]) [[than Morag is...]] ) [[Jen]] ) = ( ( ( ( (λp λdλx MORE( x P /, P /, d) ) B I ) m (B I )/, (B I )/ )j ) =MORE( j (B I )/, (B I )/, m (B I )/, (B I )/ ) 12

13 (Let the equivalence class containing Jen and the one containing Morag j (B I )/ and m (B I )/ be represented by d j and d m respectively. Let the partial order based on the relation (B I) / be represented by with no subscripts.) =MORE( d j,, d m, ) = 1 iff (d j d m ) & (d m d j ) b. INTERSECTING ADJECTIVES B I B I (B I) / h j h i h i d i j i j k m m d m l n k d k m o l d l d h d j n l n d n o k o d o (26) a. [[Jen is as tall and wide as Morag is]] = ( ( ( [[as]] [[tall and wide]]) [[as Morag is...]] ) [[Jen]] ) = ( ( ( ( (λp λdλx AS( x P /, P /, d) ) T W ) m (T W )/, (T W )/ )j ) =AS( j (T W )/, (T W )/, m (T W )/, (T W )/ ) (Let the equivalence class containing Jen and the one containing Morag j (T W )/ and m (T W )/ be represented by d j and d m respectively. Let the partial order based on the relation (T W ) / be represented by with no subscripts.) 13

14 =AS( d j,, d m, ) = 1 iff d j d m b. INTERSECTING ADJECTIVES T W T W (T W) / h h h d h i l i d i j i j d j k j l d l l n k d k m k m n m n d n o o o d o 4 What About Disjunction? Not only can adjectives be combined with and, they also can be combined with or... (27) a. Jen is more intelligent or beautiful than Morag is. b. Jen is as tall or wide as Morage is. Potential Problem: A boolean interpretation of disjunction cannot account for these sentences. 14 d m

15 * Combining two Quasi Orders with set-union does not always yield a quasi order. Transitivity is not preserved. * Without a Quasi Order, one cannot form a scale. Scales require transitivity. HOWEVER: As many others have pointed out (Alonso-Ovalle, 2006; Larson, 1985; Schwarz, 1999; Simons, 2005, 2006; Zimmermann, 2001), there are many contexts where disjunction seems to take wider scope than its surface position. FURTHERMORE, the wide scope of disjunction cannot be completely reduced to ellipsis/gapping (contrary to the proposal of Schwarz, 1999). The non-boolean interpretations of disjunction can derive the correct truth conditions for the sentences in (27) no matter how the adjective is interpreted. BUT is there an asymmetry between the two types of coordinations? conjunction Boolean but not disjunction? Is 5 Is Conjunction a Boolean Operator? SOLUTION: An alternative solution is to reject that conjunction is interpreted as a boolean meet operator. Winter (1995) advances such a proposal to account for some instances of wide scope interpretation for conjunction. WIDE SCOPE CONJUNCTION: Winter notes the following contrast between OR and AND (28) a. John sold and bought a car. (from Hendriks 1993) Possible Paraphrase: John sold a car and bought a car. b. John sold and bought ten shirts. Possible Paraphrase: John sold ten shirts and bought ten shirts 15

16 (29) a. John sold or bought ten books. Incorrect Paraphrase: John sold ten books or bought ten books. b. John sold or bought every book. Incorrect Paraphrase: John sold every book or bought every book. FOUR ASPECTS OF WINTER S PROPOSAL 1. AND IS MEANINGLESS: The word and is not interpreted! 2. STRUCTURED MEANINGS: Any two syntactic objects of the same type, X and Y can combined to form an ordered pair X, Y. This follows from the structured meanings discussed in Cresswell (1985). 3. POINTWISE COMPOSITION: A function Z of type γ, δ can apply to the structured meaning X, Y (where X and Y are of type δ) pointwise. Thus Z( X, Y ) = Z(X), Z(Y ). * Note: Winter did not discuss cases where Z is of type δ and X and Y of type γ, δ. However pointwise composition would be trivial in this case as well: Z( X, Y ) = X(Z), Y (Z) 4. GENERALIZED CONJUNCTION: At any point in the derivation, a meet operator can apply to the members of a structured proposition. Thus optionally, X, Z can become X, Y, where X, Y = X Y. Winter s proposal accounts for wide scope of conjunction. [[John bought and sold a car]] =[[John]] (([[bounght]] and [[sold]]) [[a car]] =[[John]] (( [[bought]], [[sold]] ) [[a car]]) (by Structured Meanings) =[[John]] ( [[a car]]([[bought]]), [[a car]]([[sold]]) ) (by Pointwise composition) =[[John]] (λy x(car(x) &BOU GHT (y, x)) λy x(car(x) &SOLD(y, x)) (by Generalized Conjunction) = x(car(x) &BOUGHT (j, x)) & x(car(x) & SOLD(j, x)) 16

17 Winter s proposal accounts for the conjunction facts with gradable adjectives. [[ Jen is more beautiful and intelligent than Morag is]] =[[Jen]] ( ([[more]] [[beautiful]], [[intelligent]] ) [[than Morage is]]) =[[Jen]] ( ( [[more beautiful]], [[more intelligent]] ) [[than Morage is]]) =[[Jen]] ( [[more beautiful than Morag is]], [[more intelligent than Morag is]] ) = [[Jen]] ([[more beautiful than Morag is]] [[more intelligent than Morag is]] ) = [[Jen is more beautiful than Morag is]] & [[Jen is more intelligent than Morag is]] PROBLEM #1: Quantifiers in the subject position do not seem to allow for the Wide Scope interpretation of conjunction. The sentences in (30) cannot be true when the ten boys that bought the car and swam are different from the ten boys that sold the car and ran. (30) a. Ten boys bought and sold that car. b. Ten boys ran and swam. In fact, these are classic examples of why ellipsis cannot explain all conjunction facts. * NOTE: The same facts do not hold for disjunction. (31) a. Fewer than ten boys bought or sold that car (I don t remember which). b. Fewer than ten boys ran or swam (I don t remember which). PROBLEM #2: Could a Structured Meaning Hypothesis account for the differences between the following sentences. (32) a. Jen is more beautiful and intelligent than how beautiful and intelligent Morag is. 17

18 b.? Jen is more beautiful and intelligent than how beautiful and how intelligent Morag is. (33) a.? Jen is more beautiful and more intelligent than how beautiful and intelligent Morag is. b. Jen is more beautiful and more intelligent than how beautiful and how intelligent Morag is. PROBLEM #3: There is some evidence that suggest that and and or are not both boolean but with the opposite characterization given by Winter. (See Hulsey, 2006) * OR seems to have a non-boolean interpretation. * AND seems to have a boolean interpretation. 6 Tentative Conclusions? I have argued that one of the following proposals should be adopted Gradable Adjectives are interpreted as binary relations between individuals and do not directly involve degrees. 2. Conjunction is not interpreted as a Boolean operator. References [1] Alonso-Ovalle, L. (2006). Disjunction in Alternative Semantics. PhD dissertation, UMass Amherst. [2] Bartsch, R. and Vennemann, T. (1972). Semantic Structures. Athenaum, Frankfurt. [3] Cresswell, M. (1976). The Semantics of Degree. In: B. Partee (ed.), Montague Grammar. Academic Press, New York. [4] Cresswell, M. (1985). Structured Meanings. MIT Press. 18

19 [5] Hendriks, H. (1993). Studied Flexibility. Ph.D. diss., University of Amsterdam. [6] Hulsey, S. (2006). An Argument from Gapping for a Hamblin Semantics for Disjunction. Presentation given at NELS 37. [7] Johnson, K. (2004). In Search of the English Middle Field. Manuscript. UMASS. Kennedy, C. (1999) Projecting the Adjective. Ph.D Dissertation, UCSC. [8] Klein, E. (1991). Comparatives. In: A. von Stechow, D. Wunderlich (eds.), Semantik/Semantics: An International Handbook of Contemporary Research. Waler de Gruyter. [9] Larson, R. (1985). On the syntax of disjunction scope. Natural Language and Linguistic Theory 3, pp [10] Schwarz, B. (1999). On the syntax of either...or. Natural Language and Linguistic Theory, 17: [11] Simons, M. (2005). Dividing things up: The semantics of or and the modal/or interaction. Natural Language Semantics 13, [12] Winter, Y. (1995). Syncategorematic conjunction and structured meanings. Proceedings of Semantics and Linguistic Theory (SALT) 5. [13] Zimmermann, T.E. (2000). Free choice disjunction and Epistemic Possibility. Natural Language Semantics 8(4), pp

Boolean AND and the Semantic Correlates of Gradable Adjectives

Boolean AND and the Semantic Correlates of Gradable Adjectives Boolean AND and the Semantic Correlates of Gradable Adjectives Alan Bale (alanbale@mit.edu) September 13 th, 2007 1 Introduction General Issues: 1. What are the semantic properties correlated with being

More information

a. Rachel is {taller / more intelligent} than Stephanie (is). a. Rachel is the {tallest / most intelligent} (student in my class).

a. Rachel is {taller / more intelligent} than Stephanie (is). a. Rachel is the {tallest / most intelligent} (student in my class). Degree semantics1 1 Gradability Certain predicates allow us to specify to what extent the predicate holds; we call them gradable. There are many constructions which only apply to gradable predicates. (1)

More information

Seminar in Semantics: Gradation & Modality Winter 2014

Seminar in Semantics: Gradation & Modality Winter 2014 1 Subject matter Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/8/14 Handout: Basic Modal Logic and Kratzer (1977) [M]odality is the linguistic phenomenon whereby grammar allows

More information

Scales and comparison classes

Scales and comparison classes Noname manuscript No. (will be inserted by the editor) Scales and comparison classes Alan Clinton Bale the date of receipt and acceptance should be inserted later Abstract This paper evaluates three accounts

More information

A Universal Scale of Comparison

A Universal Scale of Comparison A Universal Scale of Comparison Alan Clinton Bale December 12, 2007 Abstract. Comparative constructions form two classes, those that permit direct comparisons (comparisons of measurements as in Seymour

More information

Breaking de Morgan s law in counterfactual antecedents

Breaking de Morgan s law in counterfactual antecedents Breaking de Morgan s law in counterfactual antecedents Lucas Champollion New York University champollion@nyu.edu Ivano Ciardelli University of Amsterdam i.a.ciardelli@uva.nl Linmin Zhang New York University

More information

Two sets of alternatives for numerals

Two sets of alternatives for numerals ECO5 @ Harvard April 11, 2015 Teodora Mihoc, tmihoc@fas.harvard.edu Alexander Klapheke, klapheke@fas.harvard.edu Two sets of alternatives for numerals Contents 1 Preliminaries 1 2 Horn-style alternatives:

More information

Relational Reasoning in Natural Language

Relational Reasoning in Natural Language 1/67 Relational Reasoning in Natural Language Larry Moss ESSLLI 10 Course on Logics for Natural Language Inference August, 2010 Adding transitive verbs the work on R, R, and other systems is joint with

More information

564 Lecture 25 Nov. 23, Continuing note on presuppositional vs. nonpresuppositional dets.

564 Lecture 25 Nov. 23, Continuing note on presuppositional vs. nonpresuppositional dets. 564 Lecture 25 Nov. 23, 1999 1 Continuing note on presuppositional vs. nonpresuppositional dets. Here's the argument about the nonpresupp vs. presupp analysis of "every" that I couldn't reconstruct last

More information

Antonymy and Evaluativity

Antonymy and Evaluativity Antonymy and Evaluativity SEMANTICS AND LINGUISTIC THEORY 17 MAY 11, 2007 Jessica Rett hughesj@rutgers.edu A construction is evaluative if it makes reference to a degree that exceeds a contextuallyvalued

More information

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations

Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations Homogeneity and Plurals: From the Strongest Meaning Hypothesis to Supervaluations Benjamin Spector IJN, Paris (CNRS-EHESS-ENS) Sinn und Bedeutung 18 Sept 11 13, 2013 1 / 40 The problem (1) Peter solved

More information

DEGREE QUANTIFIERS, POSITION OF MERGER EFFECTS WITH THEIR RESTRICTORS, AND CONSERVATIVITY

DEGREE QUANTIFIERS, POSITION OF MERGER EFFECTS WITH THEIR RESTRICTORS, AND CONSERVATIVITY DEGREE QUANTIFIERS, POSITION OF MERGER EFFECTS WITH THEIR RESTRICTORS, AND CONSERVATIVITY RAJESH BHATT AND ROUMYANA PANCHEVA University of Texas, Austin bhatt@cs.utexas.edu University of Southern California

More information

CS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning.

CS1021. Why logic? Logic about inference or argument. Start from assumptions or axioms. Make deductions according to rules of reasoning. 3: Logic Why logic? Logic about inference or argument Start from assumptions or axioms Make deductions according to rules of reasoning Logic 3-1 Why logic? (continued) If I don t buy a lottery ticket on

More information

Truth-Functional Logic

Truth-Functional Logic Truth-Functional Logic Syntax Every atomic sentence (A, B, C, ) is a sentence and are sentences With ϕ a sentence, the negation ϕ is a sentence With ϕ and ψ sentences, the conjunction ϕ ψ is a sentence

More information

Semantics and Generative Grammar. Quantificational DPs, Part 3: Covert Movement vs. Type Shifting 1

Semantics and Generative Grammar. Quantificational DPs, Part 3: Covert Movement vs. Type Shifting 1 Quantificational DPs, Part 3: Covert Movement vs. Type Shifting 1 1. Introduction Thus far, we ve considered two competing analyses of sentences like those in (1). (1) Sentences Where a Quantificational

More information

Propositional Logic. Testing, Quality Assurance, and Maintenance Winter Prof. Arie Gurfinkel

Propositional Logic. Testing, Quality Assurance, and Maintenance Winter Prof. Arie Gurfinkel Propositional Logic Testing, Quality Assurance, and Maintenance Winter 2018 Prof. Arie Gurfinkel References Chpater 1 of Logic for Computer Scientists http://www.springerlink.com/content/978-0-8176-4762-9/

More information

Ling 98a: The Meaning of Negation (Week 5)

Ling 98a: The Meaning of Negation (Week 5) Yimei Xiang yxiang@fas.harvard.edu 15 October 2013 1 Review Negation in propositional logic, oppositions, term logic of Aristotle Presuppositions Projection and accommodation Three-valued logic External/internal

More information

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac.

Propositional Logic Truth-functionality Definitions Soundness Completeness Inferences. Modal Logic. Daniel Bonevac. January 22, 2013 Modal logic is, among other things, the logic of possibility and necessity. Its history goes back at least to Aristotle s discussion of modal syllogisms in the Prior Analytics. But modern

More information

1 Introduction to again

1 Introduction to again Additive again Introduction to again Cara Feldscher March 9, 206 Michigan State University Examples from the Oxford English Dictionary go back as far as 523 in (5a). (5) a. It is worthe halfe as moche

More information

Spring 2017 Ling 620. An Introduction to the Semantics of Tense 1

Spring 2017 Ling 620. An Introduction to the Semantics of Tense 1 1. Introducing Evaluation Times An Introduction to the Semantics of Tense 1 (1) Obvious, Fundamental Fact about Sentences of English The truth of some sentences (of English) depends upon the time they

More information

Generalized Quantifiers Logical and Linguistic Aspects

Generalized Quantifiers Logical and Linguistic Aspects Generalized Quantifiers Logical and Linguistic Aspects Lecture 1: Formal Semantics and Generalized Quantifiers Dag Westerståhl University of Gothenburg SELLC 2010 Institute for Logic and Cognition, Sun

More information

E-type interpretation without E-type pronoun: How Peirce s Graphs. capture the uniqueness implication of donkey sentences

E-type interpretation without E-type pronoun: How Peirce s Graphs. capture the uniqueness implication of donkey sentences E-type interpretation without E-type pronoun: How Peirce s Graphs capture the uniqueness implication of donkey sentences Author: He Chuansheng (PhD student of linguistics) The Hong Kong Polytechnic University

More information

Seminar in Semantics: Gradation & Modality Winter 2014

Seminar in Semantics: Gradation & Modality Winter 2014 Seminar in Semantics: Gradation & Modality Winter 2014 Dan Lassiter 1/15/14 Handout Contents 1 Sign up to present a reading and lead discussion 1 2 Finishing up Kratzer 1991 1 3 Klein 1980 4 4 Orders and

More information

Introduction to Pragmatics

Introduction to Pragmatics Introduction to Pragmatics Summer 2016 Tuesdays 2:30--4:00pm @ 2321.HS 3H INSTRUCTOR Todor Koev (Todor.Koev@uni-duesseldorf.de) Presupposition projection Presupposition is a prevalent type of inference

More information

Propositions. Frequently, we will use the word statement instead of proposition.

Propositions. Frequently, we will use the word statement instead of proposition. Propositional Logic Propositions A proposition is a declaration of fact that is either true or false, but not both. Examples and non-examples: One plus two equals four (proposition) Mozart is the greatest

More information

Semantics 2 Part 1: Relative Clauses and Variables

Semantics 2 Part 1: Relative Clauses and Variables Semantics 2 Part 1: Relative Clauses and Variables Sam Alxatib EVELIN 2012 January 17, 2012 Reviewing Adjectives Adjectives are treated as predicates of individuals, i.e. as functions from individuals

More information

The Semantics of Questions Introductory remarks

The Semantics of Questions Introductory remarks MIT, September-October 2012 1 1. Goals for this class The Semantics of Questions Introductory remarks (1) a. Which boy (among John, Bill and Fred) read the book? Uniqueness presupposition (UP): exactly

More information

Less. the set of degrees that satisfy y the set of degrees that satisfy f

Less. the set of degrees that satisfy y the set of degrees that satisfy f 1 Less 1. Summary from last week (1) adjective meanings: relational (Rullmann's 'at least' interpretation), i.e. [[tall]] = ld.lx. TALL(x) d Functional ('exactly') meanings were equivalent for almost all

More information

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only

Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only 1/53 Extensions to the Logic of All x are y: Verbs, Relative Clauses, and Only Larry Moss Indiana University Nordic Logic School August 7-11, 2017 2/53 An example that we ll see a few times Consider the

More information

A statement is a sentence that is definitely either true or false but not both.

A statement is a sentence that is definitely either true or false but not both. 5 Logic In this part of the course we consider logic. Logic is used in many places in computer science including digital circuit design, relational databases, automata theory and computability, and artificial

More information

Spring 2017 Ling 620. The Semantics of Modals, Part 2: The Modal Base 1

Spring 2017 Ling 620. The Semantics of Modals, Part 2: The Modal Base 1 1. On Our Last Episode The Semantics of Modals, Part 2: The Modal Base 1 (1) The Failure of a Lexical Ambiguity Account Postulating separate lexical entries for all the different readings of a modal misses

More information

CHAPTER THREE: RELATIONS AND FUNCTIONS

CHAPTER THREE: RELATIONS AND FUNCTIONS CHAPTER THREE: RELATIONS AND FUNCTIONS 1 Relations Intuitively, a relation is the sort of thing that either does or does not hold between certain things, e.g. the love relation holds between Kim and Sandy

More information

Internal and Interval Semantics for CP-Comparatives

Internal and Interval Semantics for CP-Comparatives Internal and Interval Semantics for CP-Comparatives Fred Landman Linguistics Department, Tel Aviv University, landman@post.tau.ac.il Abstract. The interval degree semantics for clausal (CP)-comparatives

More information

September 13, Cemela Summer School. Mathematics as language. Fact or Metaphor? John T. Baldwin. Framing the issues. structures and languages

September 13, Cemela Summer School. Mathematics as language. Fact or Metaphor? John T. Baldwin. Framing the issues. structures and languages September 13, 2008 A Language of / for mathematics..., I interpret that mathematics is a language in a particular way, namely as a metaphor. David Pimm, Speaking Mathematically Alternatively Scientists,

More information

Semantics and Generative Grammar. The Semantics of Adjectival Modification 1. (1) Our Current Assumptions Regarding Adjectives and Common Ns

Semantics and Generative Grammar. The Semantics of Adjectival Modification 1. (1) Our Current Assumptions Regarding Adjectives and Common Ns The Semantics of Adjectival Modification 1 (1) Our Current Assumptions Regarding Adjectives and Common Ns a. Both adjectives and common nouns denote functions of type (i) [[ male ]] = [ λx : x D

More information

Peter Hallman, University of Vienna

Peter Hallman, University of Vienna All and Every as Quantity Superlatives Peter Hallman, University of Vienna peter.hallman@univie.ac.at Summary An analysis is proposed that captures similarities between most and all in English bytreatingall

More information

Hedging Your Ifs and Vice Versa

Hedging Your Ifs and Vice Versa Hedging Your Ifs and Vice Versa Kai von Fintel and Anthony S. Gillies MIT and Rutgers November 21 University of Latvia Ramsey s Test If two people are arguing If p will q? and are both in doubt as to p,

More information

QUANTIFICATIONAL READINGS OF INDEFINITES

QUANTIFICATIONAL READINGS OF INDEFINITES QUANTIFICATIONAL READINGS OF INDEFINITES WITH FOCUSED CREATION VERBS * Tamina Stephenson, Massachusetts Institute of Technology tamina@mit.edu Abstract This paper looks at sentences with quantificational

More information

LOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship.

LOGIC CONNECTIVES. Students who have an ACT score of at least 30 OR a GPA of at least 3.5 can receive a college scholarship. LOGIC In mathematical and everyday English language, we frequently use logic to express our thoughts verbally and in writing. We also use logic in numerous other areas such as computer coding, probability,

More information

127: Lecture notes HT17. Week 8. (1) If Oswald didn t shoot Kennedy, someone else did. (2) If Oswald hadn t shot Kennedy, someone else would have.

127: Lecture notes HT17. Week 8. (1) If Oswald didn t shoot Kennedy, someone else did. (2) If Oswald hadn t shot Kennedy, someone else would have. I. Counterfactuals I.I. Indicative vs Counterfactual (LfP 8.1) The difference between indicative and counterfactual conditionals comes out in pairs like the following: (1) If Oswald didn t shoot Kennedy,

More information

The semantics of yuè V yuè A in Mandarin Chinese: Coercion and the necessarily temporal reading

The semantics of yuè V yuè A in Mandarin Chinese: Coercion and the necessarily temporal reading Proceedings of CLS 51 (2015), 381-395 c Chicago Linguistic Society 2016. All rights reserved. 381 The semantics of yuè V yuè A in Mandarin Chinese: Coercion and the necessarily temporal reading Xiao Li

More information

Semantics and Generative Grammar. A Little Bit on Adverbs and Events

Semantics and Generative Grammar. A Little Bit on Adverbs and Events A Little Bit on Adverbs and Events 1. From Adjectives to Adverbs to Events We ve just developed a theory of the semantics of adjectives, under which they denote either functions of type (intersective

More information

Degree pluralities : distributive, cumulative and collective readings of comparatives

Degree pluralities : distributive, cumulative and collective readings of comparatives Degree pluralities : distributive, cumulative and collective readings of comparatives Jakub Dotlačil (Groningen) & Rick Nouwen (Utrecht) February 14, 2014, Paris 1 John lifted the box. 1 John lifted the

More information

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims

INTRODUCTION TO LOGIC. Propositional Logic. Examples of syntactic claims Introduction INTRODUCTION TO LOGIC 2 Syntax and Semantics of Propositional Logic Volker Halbach In what follows I look at some formal languages that are much simpler than English and define validity of

More information

An introduction to mildly context sensitive grammar formalisms. Combinatory Categorial Grammar

An introduction to mildly context sensitive grammar formalisms. Combinatory Categorial Grammar An introduction to mildly context sensitive grammar formalisms Combinatory Categorial Grammar Gerhard Jäger & Jens Michaelis University of Potsdam {jaeger,michael}@ling.uni-potsdam.de p.1 Basic Categorial

More information

Tecniche di Verifica. Introduction to Propositional Logic

Tecniche di Verifica. Introduction to Propositional Logic Tecniche di Verifica Introduction to Propositional Logic 1 Logic A formal logic is defined by its syntax and semantics. Syntax An alphabet is a set of symbols. A finite sequence of these symbols is called

More information

Intensionality. 1. Intensional Propositional Logic (IntPL).

Intensionality. 1. Intensional Propositional Logic (IntPL). Ling255: Sem and CogSci Maribel Romero April 5, 2005 1. Intensional Propositional Logic (IntPL). Intensionality Intensional PL adds some operators O to our standard PL. The crucial property of these operators

More information

Comparative-induced event measure relations

Comparative-induced event measure relations Comparative-induced event measure relations James Kirby University of Chicago 10 Jan 2009 In Vietnamese quantity comparison structures, differentials are prohibited from appearing phraseinternally. I argue

More information

Hardegree, Formal Semantics, Handout of 8

Hardegree, Formal Semantics, Handout of 8 Hardegree, Formal Semantics, Handout 2015-04-07 1 of 8 1. Bound Pronouns Consider the following example. every man's mother respects him In addition to the usual demonstrative reading of he, x { Mx R[m(x),

More information

Logical Representations. LING 7800/CSCI 7000 Martha Palmer 9/30/2014

Logical Representations. LING 7800/CSCI 7000 Martha Palmer 9/30/2014 Logical Representations LING 7800/CSCI 7000 Martha Palmer 9/30/2014 1 The Semantic Wall Physical Symbol System World +BLOCKA+ +BLOCKB+ +BLOCKC+ P 1 :(IS_ON +BLOCKA+ +BLOCKB+) P 2 :((IS_RED +BLOCKA+) Truth

More information

ESSLLI 2007 COURSE READER. ESSLLI is the Annual Summer School of FoLLI, The Association for Logic, Language and Information

ESSLLI 2007 COURSE READER. ESSLLI is the Annual Summer School of FoLLI, The Association for Logic, Language and Information ESSLLI 2007 19th European Summer School in Logic, Language and Information August 6-17, 2007 http://www.cs.tcd.ie/esslli2007 Trinity College Dublin Ireland COURSE READER ESSLLI is the Annual Summer School

More information

Adjectives and Negation: deriving Contrariety from Contradiction

Adjectives and Negation: deriving Contrariety from Contradiction Adjectives and Negation: deriving Contrariety from Contradiction Karen De Clercq & Guido Vanden Wyngaerd FWO/U Gent & KU Leuven Linguistic Society of Belgium, Spring Meeting Universiteit Antwerpen 5 May

More information

Focus in complex noun phrases

Focus in complex noun phrases Focus in complex noun phrases Summary In this paper I investigate the semantics of association with focus in complex noun phrases in the framework of Alternative Semantics (Rooth 1985, 1992). For the first

More information

list readings of conjoined singular which -phrases

list readings of conjoined singular which -phrases list readings of conjoined singular which -phrases Andreea C. Nicolae 1 Patrick D. Elliott 2 Yasutada Sudo 2 NELS 46 at Concordia University October 18, 2015 1 Zentrum für Allgemeine Sprachwissenschaft

More information

Propositional Logic: Review

Propositional Logic: Review Propositional Logic: Review Propositional logic Logical constants: true, false Propositional symbols: P, Q, S,... (atomic sentences) Wrapping parentheses: ( ) Sentences are combined by connectives:...and...or

More information

Predicates, Quantifiers and Nested Quantifiers

Predicates, Quantifiers and Nested Quantifiers Predicates, Quantifiers and Nested Quantifiers Predicates Recall the example of a non-proposition in our first presentation: 2x=1. Let us call this expression P(x). P(x) is not a proposition because x

More information

Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08

Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08 Parasitic Scope (Barker 2007) Semantics Seminar 11/10/08 1. Overview Attempts to provide a compositional, fully semantic account of same. Elements other than NPs in particular, adjectives can be scope-taking

More information

Overview. 1. Introduction to Propositional Logic. 2. Operations on Propositions. 3. Truth Tables. 4. Translating Sentences into Logical Expressions

Overview. 1. Introduction to Propositional Logic. 2. Operations on Propositions. 3. Truth Tables. 4. Translating Sentences into Logical Expressions Note 01 Propositional Logic 1 / 10-1 Overview 1. Introduction to Propositional Logic 2. Operations on Propositions 3. Truth Tables 4. Translating Sentences into Logical Expressions 5. Preview: Propositional

More information

Lecture 7. Logic. Section1: Statement Logic.

Lecture 7. Logic. Section1: Statement Logic. Ling 726: Mathematical Linguistics, Logic, Section : Statement Logic V. Borschev and B. Partee, October 5, 26 p. Lecture 7. Logic. Section: Statement Logic.. Statement Logic..... Goals..... Syntax of Statement

More information

Quantifiers in Than-Clauses *

Quantifiers in Than-Clauses * Quantifiers in Than-Clauses * revised July 2009 Abstract The paper reexamines the interpretations that quantifiers in than-clauses give rise to. It develops an analysis that combines an interval semantics

More information

Logic Background (1A) Young W. Lim 5/14/18

Logic Background (1A) Young W. Lim 5/14/18 Young W. Lim Copyright (c) 2014 2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later

More information

Lecture 9. Model theory. Consistency, independence, completeness, categoricity of axiom systems. Expanded with algebraic view.

Lecture 9. Model theory. Consistency, independence, completeness, categoricity of axiom systems. Expanded with algebraic view. V. Borschev and B. Partee, October 17-19, 2006 p. 1 Lecture 9. Model theory. Consistency, independence, completeness, categoricity of axiom systems. Expanded with algebraic view. CONTENTS 0. Syntax and

More information

Propositional Logic: Part II - Syntax & Proofs 0-0

Propositional Logic: Part II - Syntax & Proofs 0-0 Propositional Logic: Part II - Syntax & Proofs 0-0 Outline Syntax of Propositional Formulas Motivating Proofs Syntactic Entailment and Proofs Proof Rules for Natural Deduction Axioms, theories and theorems

More information

Propositional Logic: Methods of Proof (Part II)

Propositional Logic: Methods of Proof (Part II) Propositional Logic: Methods of Proof (Part II) You will be expected to know Basic definitions Inference, derive, sound, complete Conjunctive Normal Form (CNF) Convert a Boolean formula to CNF Do a short

More information

Kratzer on Modality in Natural Language

Kratzer on Modality in Natural Language Kratzer on Modality in Natural Language 1 Modal Logic General Propositional modal logic: Syntax: 02.06.12 William Starr Phil 6710 / Ling 6634 Spring 2012 Atomic formulas: P, Q, R,..., Connecties:,,,,,,

More information

Comparatives and quantifiers

Comparatives and quantifiers Empirical Issues in Syntax and Semantics 7 O. Bonami & P. Cabredo Hofherr (eds.) 2008, pp. 423 444 ØØÔ»»ÛÛÛº ÔºÒÖ º Ö» Comparatives and quantifiers Robert van Rooij 1 Introduction A traditional issue in

More information

Two Reconstruction Puzzles Yael Sharvit University of Connecticut

Two Reconstruction Puzzles Yael Sharvit University of Connecticut Workshop on Direct Compositionality June 19-21, 2003 Brown University Two Reconstruction Puzzles Yael Sharvit University of Connecticut yael.sharvit@uconn.edu Some constructions exhibit what is known as

More information

TOPICS IN DEGREE SEMANTICS: 4 LECTURES HANDOUT 1: DEGREES

TOPICS IN DEGREE SEMANTICS: 4 LECTURES HANDOUT 1: DEGREES TOPICS IN DEGREE SEMANTICS: 4 LECTURES HANDOUT 1: DEGREES ARNIM VON STECHOW, TÜBINGEN 1. Plot of the Lectures...1 2. Reading...2 3. What are degrees?...3 4. Comparative as relation between degrees...4

More information

Propositional Logic Arguments (5A) Young W. Lim 11/8/16

Propositional Logic Arguments (5A) Young W. Lim 11/8/16 Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version

More information

ON THE LOGIC OF VERBAL MODIFICATION DAVID BEAVER AND CLEO CONDORAVDI

ON THE LOGIC OF VERBAL MODIFICATION DAVID BEAVER AND CLEO CONDORAVDI ON THE LOGIC OF VERBAL ODIFICATION DAVID BEAVER AND CLEO CONDORAVDI Department of Linguistics University of Texas at Austin dib@mail.utexas.edu PARC and Department of Linguistics Stanford University condorav@csli.stanford.edu

More information

The Lambek-Grishin calculus for unary connectives

The Lambek-Grishin calculus for unary connectives The Lambek-Grishin calculus for unary connectives Anna Chernilovskaya Utrecht Institute of Linguistics OTS, Utrecht University, the Netherlands anna.chernilovskaya@let.uu.nl Introduction In traditional

More information

THE LOGIC OF COMPOUND STATEMENTS

THE LOGIC OF COMPOUND STATEMENTS CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 2.1 Logical Form and Logical Equivalence Copyright Cengage Learning. All rights reserved. Logical Form

More information

Queens College, CUNY, Rutgers University

Queens College, CUNY, Rutgers University The Semantics of yue yue in Mandarin Chinese 1 1 2 Xiao Li and Carlos A. Fasola 2 Queens College, CUNY, Rutgers University In this paper, we argue that yue yue in Mandarin Chinese can mark two semantically

More information

Exercises 1 - Solutions

Exercises 1 - Solutions Exercises 1 - Solutions SAV 2013 1 PL validity For each of the following propositional logic formulae determine whether it is valid or not. If it is valid prove it, otherwise give a counterexample. Note

More information

Logic Background (1A) Young W. Lim 12/14/15

Logic Background (1A) Young W. Lim 12/14/15 Young W. Lim 12/14/15 Copyright (c) 2014-2015 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any

More information

Contexts for Quantification

Contexts for Quantification Contexts for Quantification Valeria de Paiva Stanford April, 2011 Valeria de Paiva (Stanford) C4Q April, 2011 1 / 28 Natural logic: what we want Many thanks to Larry, Ulrik for slides! Program Show that

More information

GEOMETRY. 2.1 Conditional Statements

GEOMETRY. 2.1 Conditional Statements GEOMETRY 2.1 Conditional Statements ESSENTIAL QUESTION When is a conditional statement true or false? WHAT YOU WILL LEARN owrite conditional statements. ouse definitions written as conditional statements.

More information

Comparative superlatives in relative clauses

Comparative superlatives in relative clauses SynSem, Fall 2017 Comparative superlatives in relative clauses Nico(letta) Loccioni 1 Introduction Languages like Italian and Spanish extensively use relativization as a strategy to form relative interpretations

More information

Computational Models - Lecture 3

Computational Models - Lecture 3 Slides modified by Benny Chor, based on original slides by Maurice Herlihy, Brown University. p. 1 Computational Models - Lecture 3 Equivalence of regular expressions and regular languages (lukewarm leftover

More information

Propositional Logic Basics Propositional Equivalences Normal forms Boolean functions and digital circuits. Propositional Logic.

Propositional Logic Basics Propositional Equivalences Normal forms Boolean functions and digital circuits. Propositional Logic. Propositional Logic Winter 2012 Propositional Logic: Section 1.1 Proposition A proposition is a declarative sentence that is either true or false. Which ones of the following sentences are propositions?

More information

Agenda. Artificial Intelligence. Reasoning in the Wumpus World. The Wumpus World

Agenda. Artificial Intelligence. Reasoning in the Wumpus World. The Wumpus World Agenda Artificial Intelligence 10. Propositional Reasoning, Part I: Principles How to Think About What is True or False 1 Introduction Álvaro Torralba Wolfgang Wahlster 2 Propositional Logic 3 Resolution

More information

AI Programming CS S-09 Knowledge Representation

AI Programming CS S-09 Knowledge Representation AI Programming CS662-2013S-09 Knowledge Representation David Galles Department of Computer Science University of San Francisco 09-0: Overview So far, we ve talked about search, which is a means of considering

More information

Propositional Resolution Introduction

Propositional Resolution Introduction Propositional Resolution Introduction (Nilsson Book Handout) Professor Anita Wasilewska CSE 352 Artificial Intelligence Propositional Resolution Part 1 SYNTAX dictionary Literal any propositional VARIABLE

More information

Propositional Logic Arguments (5A) Young W. Lim 2/23/17

Propositional Logic Arguments (5A) Young W. Lim 2/23/17 Propositional Logic (5A) Young W. Lim Copyright (c) 2016 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version

More information

Model-theoretic Vagueness vs. Epistemic Vagueness

Model-theoretic Vagueness vs. Epistemic Vagueness Chris Kennedy Seminar on Vagueness University of Chicago 25 April, 2006 Model-theoretic Vagueness vs. Epistemic Vagueness 1 Model-theoretic vagueness The supervaluationist analyses of vagueness developed

More information

Composing questions: A hybrid categorial approach

Composing questions: A hybrid categorial approach Composing questions: A hybrid categorial approach Yimei Xiang Harvard University yxiang@fas.harvard.edu Compositionality Workshop, GLOW 40, Leiden University Roadmap 1 Why pursing a categorial approach?

More information

Grundlagenmodul Semantik All Exercises

Grundlagenmodul Semantik All Exercises Grundlagenmodul Semantik All Exercises Sommersemester 2014 Exercise 1 Are the following statements correct? Justify your answers in a single short sentence. 1. 11 {x x is a square number} 2. 11 {x {y y

More information

Introduction to Metalogic

Introduction to Metalogic Introduction to Metalogic Hans Halvorson September 21, 2016 Logical grammar Definition. A propositional signature Σ is a collection of items, which we call propositional constants. Sometimes these propositional

More information

Unary negation: T F F T

Unary negation: T F F T Unary negation: ϕ 1 ϕ 1 T F F T Binary (inclusive) or: ϕ 1 ϕ 2 (ϕ 1 ϕ 2 ) T T T T F T F T T F F F Binary (exclusive) or: ϕ 1 ϕ 2 (ϕ 1 ϕ 2 ) T T F T F T F T T F F F Classical (material) conditional: ϕ 1

More information

The Formal Architecture of. Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple

The Formal Architecture of. Lexical-Functional Grammar. Ronald M. Kaplan and Mary Dalrymple The Formal Architecture of Lexical-Functional Grammar Ronald M. Kaplan and Mary Dalrymple Xerox Palo Alto Research Center 1. Kaplan and Dalrymple, ESSLLI 1995, Barcelona Architectural Issues Representation:

More information

Logic. Readings: Coppock and Champollion textbook draft, Ch

Logic. Readings: Coppock and Champollion textbook draft, Ch Logic Readings: Coppock and Champollion textbook draft, Ch. 3.1 3 1. Propositional logic Propositional logic (a.k.a propositional calculus) is concerned with complex propositions built from simple propositions

More information

Formal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University

Formal Epistemology: Lecture Notes. Horacio Arló-Costa Carnegie Mellon University Formal Epistemology: Lecture Notes Horacio Arló-Costa Carnegie Mellon University hcosta@andrew.cmu.edu Logical preliminaries Let L 0 be a language containing a complete set of Boolean connectives, including

More information

Propositional Logic: Syntax

Propositional Logic: Syntax Logic Logic is a tool for formalizing reasoning. There are lots of different logics: probabilistic logic: for reasoning about probability temporal logic: for reasoning about time (and programs) epistemic

More information

Discrete Mathematical Structures. Chapter 1 The Foundation: Logic

Discrete Mathematical Structures. Chapter 1 The Foundation: Logic Discrete Mathematical Structures Chapter 1 he oundation: Logic 1 Lecture Overview 1.1 Propositional Logic 1.2 Propositional Equivalences 1.3 Quantifiers l l l l l Statement Logical Connectives Conjunction

More information

MAI0203 Lecture 7: Inference and Predicate Calculus

MAI0203 Lecture 7: Inference and Predicate Calculus MAI0203 Lecture 7: Inference and Predicate Calculus Methods of Artificial Intelligence WS 2002/2003 Part II: Inference and Knowledge Representation II.7 Inference and Predicate Calculus MAI0203 Lecture

More information

Quantifiers in than-clauses

Quantifiers in than-clauses Semantics & Pragmatics Volume 3, Article 1: 1 72, 2010 doi: 10.3765/sp.3.1 Quantifiers in than-clauses Sigrid Beck University of Tübingen Received 2009-01-13 / First Decision 2009-03-17 / Revised 2009-06-17

More information

First Order Logic (FOL)

First Order Logic (FOL) First Order Logic (FOL) CE417: Introduction to Artificial Intelligence Sharif University of Technology Spring 2013 Soleymani Course material: Artificial Intelligence: A Modern Approach, 3 rd Edition, Chapter

More information

Classical Propositional Logic

Classical Propositional Logic The Language of A Henkin-style Proof for Natural Deduction January 16, 2013 The Language of A Henkin-style Proof for Natural Deduction Logic Logic is the science of inference. Given a body of information,

More information

The Puzzles of Deontic Logic

The Puzzles of Deontic Logic The Puzzles of Deontic Logic 04.09.12 William Starr Phil 6710 / Ling 6634 Spring 2012 For now, we won t place any constraints on R Notation: R(w) := {w R(w, w )} Models M = R, W, v A model says what the

More information

UNIT-I: Propositional Logic

UNIT-I: Propositional Logic 1. Introduction to Logic: UNIT-I: Propositional Logic Logic: logic comprises a (formal) language for making statements about objects and reasoning about properties of these objects. Statements in a logical

More information