Error occured ! We are notified and will try and resolve this as soon as possible.
WARNING! [2] file_put_contents(/home/gelembjuk/domains/myeducationpath.com/app/../html/cache/memory/course_4940_0_e086762d743c0218beb85ea6e1b456cae.txt): Failed to open stream: No such file or directory . Line 75 in file /home/gelembjuk/domains/myeducationpath.com/html/include/class.cache.php. Continue execution. 2798693; index.php; 3.12.161.151; GET; url=courses/4940/logic-i-fall-2009.htm&; ; Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com); ; Executon time: 0 MyEducationPath.com :: MIT OpenCourseWare (OCW) : Logic I (Fall 2009)

Logic I (Fall 2009)

14 votes
Free
Logic I (Fall 2009)

In this course we will cover central aspects of modern formal logic, beginning with an explanation of what constitutes good reasoning. Topics will include validity and soundness of arguments, formal derivations, truth-functions, translations to and from a formal language, and truth-tables. We will thoroughly cover sentential calculus and predicate logic, including soundness and completeness results.

Tags: InforInformation controlInformation TheoryK12Nutrition
Details: http://ocw.mit.edu/courses/l...phy/24-241-logic-i-fall-2009
Categories: Philosophy, Religion, & Theology
Starts : 2009-09-01

Comments

Reviews



-- no reviews yet -- make the first review
Add review [?] Discuss on the Forum

Alternatives
All alternatives to all MIT OpenCourseWare (OCW) courses

-- no alternatives found for the course --
If you know any alternatives, please let us know.

Add alternative course [?]

Prerequisites

-- no prerequsites found for the course --
If you can suggest any prerequisite, please let us know.

Add prerequisite [?]

Paths

No Paths inclusing the course. You can build and share a path with this course included.

Certification Exams

-- there are no exams to get certification after this course --
If your company does certification for those who completed this course then register your company as certification vendor and add your exams to the Exams Directory.

Add My Exams

Students

People who learned this course or plan to learn. These people added the course to their Education Passport or their Personal Education Path.

Marica Odagaki

If you learned this course or plan to learn then add it to your Personal Education Path or your Education Passport

Similar courses

Courses related to the course subject

Advanced Phonology
14 0 0

…
Details:http://ocw.mit.edu...nology-spring-2005

Advanced Semantics
18 0 0

…
Details:http://ocw.mit.edu...antics-spring-2009

Advanced Syntax
16 0 0

…
Details:http://ocw.mit.edu...syntax-spring-2007

Ancient Philosophy
9 0 0

…
Details:http://ocw.mit.edu...ilosophy-fall-2004

Argument Structure and Syntax
14 0 0

…
Details:http://ocw.mit.edu...syntax-spring-2003

Bioethics
7 0 0

…
Details:http://ocw.mit.edu...ethics-spring-2009

Classics of Western Philosophy
12 0 0

…
Details:http://ocw.mit.edu...osophy-spring-2016

Classification, Natural Kinds, and Conceptual Change: Race as a Case Study
12 0 0

…
Details:http://ocw.mit.edu...-study-spring-2004

Decisions, Games, and Rational Choice
9 0 0

…
Details:http://ocw.mit.edu...choice-spring-2008

Ethics
17 0 0

…
Details:http://ocw.mit.edu...1-ethics-fall-2009

Let us know when you did the course Logic I (Fall 2009).

Started on: Completed on:
Your grade (if any):
Comments:

Add the course Logic I (Fall 2009) to My Personal Education Path.

Start the course on:
Duration of study:
Notes:

Successfully added to your path.

View your path

Select what exam to connect to the course. The course will be displayed on the exam page in the list of courses supported for certification with the exam.


Notes about how the exam certifies students of the course (optional):