| dc.contributor.author | McGee, Vann | |
| dc.coverage.temporal | Fall 2005 | |
| dc.date.accessioned | 2023-10-11T20:08:53Z | |
| dc.date.available | 2023-10-11T20:08:53Z | |
| dc.date.issued | 2005-12 | |
| dc.identifier | 24.241-Fall2005 | |
| dc.identifier.other | 24.241 | |
| dc.identifier.other | IMSCP-MD5-bb58da8409e325e4b09d0111ff795841 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/152422 | |
| dc.description.abstract | This course provides an introduction to the aims and techniques of formal logic. Logic is the science of correct argument, and our study of logic will aim to understand what makes a correct argument good, that is, what is it about the structure of a correct argument that guarantees that, if the premises are all true, the conclusion will be true as well? Our subject (though, to be sure, we can only scratch the surface) will be truth and proof, and the connection between them. | en |
| dc.language.iso | en-US | |
| dc.relation.isbasedon | http://hdl.handle.net/1721.1/34886 | |
| dc.rights | This site (c) Massachusetts Institute of Technology 2023. 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") unless otherwise noted. 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. | en |
| dc.rights | Attribution-NonCommercial-ShareAlike 3.0 Unported | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/3.0/ | * |
| dc.subject | techniques of formal logic | en |
| dc.subject | truth functions | en |
| dc.subject | quantifiers | en |
| dc.subject | validity | en |
| dc.subject | formal deduction | en |
| dc.subject | logic applications | en |
| dc.subject | philosophy | en |
| dc.title | 24.241 Logic I, Fall 2005 | en |
| dc.title.alternative | Logic I | en |
| dc.type | Learning Object | |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Linguistics and Philosophy | |
| dc.audience.educationlevel | Undergraduate | |
| dc.subject.cip | 161200 | en |
| dc.subject.cip | Classics and Classical Languages, Literatures, and Linguistics, General | en |
| dc.date.updated | 2023-10-11T20:09:01Z | |
