Handout on (First-Order) Predicate Logic

I’ve put together a handout summarizing the language of (First-Order) Predicate Logic, which we’ve been developing over the past week.  On Tuesday, we’ll finish up with the semantics of quantified formulas, which is also included in the handout.  There’s also quite a bit of discussion about calculating the truth values and truth conditions for formulas …

Continue reading ‘Handout on (First-Order) Predicate Logic’ »

Handout on Presupposition: Diagnostics, Triggers, and Projection

I’ve put together a handout summarizing some of the things that we’ve learned about presupposition so far, including the S-family test, various triggers, and presupposition projection.  I realized after today’s lecture that, given the complexity of the sentences that we were investigating today, probably some of you were unable to copy everything done.  So hopefully …

Continue reading ‘Handout on Presupposition: Diagnostics, Triggers, and Projection’ »

Handout on Propositional Logic and Truth Tables

I heard from some of you that today’s discussion of constructing truth tables went by a little too quickly for you to copy everything down into your notes.  Since this task figures prominently in your homework assignment for this Thursday, I’ve put together a brief handout on the topic.  It includes a full definition of …

Continue reading ‘Handout on Propositional Logic and Truth Tables’ »

Handout on Flouting Maxims

I’ve put together a short handout on flouting maxims.  It contains a couple of examples (from lecture) of implicatures that arise via a speaker’s flouting of some maxim, as well as the step-by-step derivations of these implicatures.  You might like to refer to these examples when formulating your responses in Assignment 3, Part I. Flouting …

Continue reading ‘Handout on Flouting Maxims’ »

Handout on Entailment (including tips for using the tests)

I’ve put together a handout that summarizes today’s discussion about entailment.  I’ve also included a bit more information about our tests for entailment, including a few helpful tips for applying them.  In particular, I’ve tried to clarify the uncertainty about when to use but or in fact when applying the tests. Handout on Entailment Entailment …

Continue reading ‘Handout on Entailment (including tips for using the tests)’ »