24.241 Logic I, Fall 2002

McGee, Vann, 1949-

Author(s)

McGee, Vann, 1949-

Download24-241Fall-2002/OcwWeb/Linguistics-and-Philosophy/24-241Logic-IFall2002/CourseHome/index.htm (13.10Kb)

Alternative title

Logic I

Terms of use

Usage Restrictions: This site (c) Massachusetts Institute of Technology 2003. Content within individual courses is (c) by the individual authors unless otherwise noted. The Massachusetts Institute of Technology is providing this Work (as defined below) under the terms of this Creative Commons public license ("CCPL" or "license"). The Work is protected by copyright and/or other applicable law. Any use of the work other than as authorized under this license is prohibited. By exercising any of the rights to the Work provided here, You (as defined below) accept and agree to be bound by the terms of this license. The Licensor, the Massachusetts Institute of Technology, grants You the rights contained here in consideration of Your acceptance of such terms and conditions.

Metadata

Show full item record

Abstract

Introduction to the aims and techniques of formal logic. The logic of truth functions and quantifiers. The concepts of validity and truth and their relation to formal deduction. Applications of logic and the place of logic in philosophy.

Date issued

2002-12

URI

http://hdl.handle.net/1721.1/34886

Department

Massachusetts Institute of Technology. Department of Linguistics and Philosophy

Other identifiers

24.241-Fall2002

local: 24.241

local: IMSCP-MD5-e731309364ec598acfdcda90d026c069

Keywords

formal logic, truth functions, quantifiers, validity, truth, formal deduction, applications of logic, logic in philosophy

Collections

MIT OCW Archived Courses