24.241 Logic I, Fall 2005
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 prem...
| Main Author: | |
|---|---|
| Language: | en-US |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/1721.1/152422 |
| _version_ | 1811082490605993984 |
|---|---|
| author | McGee, Vann |
| author_facet | McGee, Vann |
| author_sort | McGee, Vann |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T12:04:15Z |
| id | mit-1721.1/152422 |
| institution | Massachusetts Institute of Technology |
| language | en-US |
| last_indexed | 2024-09-23T12:04:15Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1524222023-10-12T03:38:30Z 24.241 Logic I, Fall 2005 Logic I McGee, Vann techniques of formal logic truth functions quantifiers validity formal deduction logic applications philosophy 161200 Classics and Classical Languages, Literatures, and Linguistics, General 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. 2023-10-11T20:08:53Z 2023-10-11T20:08:53Z 2005-12 2023-10-11T20:09:01Z 24.241-Fall2005 24.241 IMSCP-MD5-bb58da8409e325e4b09d0111ff795841 https://hdl.handle.net/1721.1/152422 en-US http://hdl.handle.net/1721.1/34886 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. Attribution-NonCommercial-ShareAlike 3.0 Unported http://creativecommons.org/licenses/by-nc-sa/3.0/ text/plain text/html image/jpeg image/jpeg text/html application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf text/html application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf application/pdf text/html text/html application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream application/octet-stream text/css text/css text/css text/css text/css text/css text/css text/css text/css text/css text/css text/css text/css text/css text/css text/css text/html image/png image/png image/png image/png image/gif image/png image/png image/png image/jpeg image/gif image/png image/png image/png image/gif image/png image/png image/png image/png image/png image/png image/gif image/png image/png image/gif image/gif image/png image/png image/png image/png image/png image/png image/png image/png image/png image/gif image/jpeg image/gif image/png image/jpeg image/png image/png image/png image/png image/png image/png image/png image/png image/png image/gif image/png image/png image/jpeg image/gif image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/gif image/gif image/gif image/gif image/gif image/gif image/gif image/gif image/gif image/gif image/gif image/gif image/png image/gif application/octet-stream image/gif image/gif image/png image/gif image/gif image/gif image/png image/png application/octet-stream image/gif image/gif image/gif image/gif image/png image/gif image/gif application/octet-stream image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png image/png application/rdf+xml; charset=utf-8 text/html image/png image/png image/jpeg image/png image/png image/png image/png image/png text/html text/html Fall 2005 |
| spellingShingle | techniques of formal logic truth functions quantifiers validity formal deduction logic applications philosophy 161200 Classics and Classical Languages, Literatures, and Linguistics, General McGee, Vann 24.241 Logic I, Fall 2005 |
| title | 24.241 Logic I, Fall 2005 |
| title_full | 24.241 Logic I, Fall 2005 |
| title_fullStr | 24.241 Logic I, Fall 2005 |
| title_full_unstemmed | 24.241 Logic I, Fall 2005 |
| title_short | 24.241 Logic I, Fall 2005 |
| title_sort | 24 241 logic i fall 2005 |
| topic | techniques of formal logic truth functions quantifiers validity formal deduction logic applications philosophy 161200 Classics and Classical Languages, Literatures, and Linguistics, General |
| url | https://hdl.handle.net/1721.1/152422 |
| work_keys_str_mv | AT mcgeevann 24241logicifall2005 AT mcgeevann logici |