Being For
Evaluating the Semantic Program of Expressivism
Schroeder, Mark University of Southern California
Print publication date: 2008 (this edition)
Published to Oxford Scholarship Online: September 2008
Print ISBN-13: 978-0-19-953465-4
doi:10.1093/acprof:oso/9780199534654.003.0005
Mark Schroeder
This chapter shows that once we have accepted the solution to the negation problem from Chapter 4, this leads immediately to solutions to analogous problems about conjunction and disjunction, and in fact to a constructive semantics for a very simple normative language with the expressive power of propositional logic. The semantics for this simple language is outlined, and inconsistency, entailment, and validity are defined. It is proven, given very simple assumptions, that the semantics yields the correct results about which sentences are inconsistent with which. Logical inconsistency is distinguished from ordinary inconsistency and given a precise definition, and it is shown why Geach's original moral modus ponens argument is logically valid. Finally, a loose end about the inconsistency of ‘murdering is wrong’ and ‘not murdering is wrong’ is set aside.
Keywords: conjunction, disjunction, propositional logic, inconsistency, entailment, validity, logical inconsistency, logical entailment, logical validity, Geach,
doi:10.1093/acprof:oso/9780199534654.003.0005
Quick Search Form

 
scroll up fast
scroll up
 
scroll down
scroll down fast
Part I The Semantic Program of Expressivism
Part II Expressivists' Problems with Logic
Part III Descriptive Language
Part IV Extensions