70 results found in 6 ms.
Page 1 of 5 next
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
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
Author(s):
Tag(s):
- linguistics and philosophy
- techniques of formal logic
- truth functions
- quantifiers
- validity
- formal deduction
- logic applications
- philosophy
More OCW like this |
|
Published by: Massachusetts Institute of Technology | Language: English
Published by: Massachusetts Institute of Technology | Language: English
Share in:
This course begins with an introduction to the theory of computability, then proceeds to a detailed study of its most illustrious result: Kurt Gödel's theorem that, for any system of true arithmetical statements we might propose as an axiomatic basis for proving truths of arithmetic, there will be some arithmetical statements that we can re
Author(s):
Tag(s):
- linguistics and philosophy
- logic
- theory of computability
- kurt g?del
- theorem
- system
- true
- arithmetical
- statements
- axiomatic basis
- proving
- truths of arithmetic
- history applications
- technique
- church?s theorem
- algorithm
- formula
- valid
- predicate calculus
- tarski?s theorem
- g?del?s second incompleteness theorem.
File: 24-242-spring-2004.zip
This OER is part of OCW: Logic II
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- linguistics and philosophy
- logic
- theory of computability
- kurt g?del
- theorem
- system
- true
- arithmetical
- statements
- axiomatic basis
- proving
- truths of arithmetic
- history applications
- technique
- church?s theorem
- algorithm
- formula
- valid
- predicate calculus
- tarski?s theorem
- g?del?s second incompleteness theorem.
File: 24-241-fall-2005.zip
This OER is part of OCW: Logic I
Published under: /Download Course Materials
Share in:
Used by:
Inherited Tag(s):
- linguistics and philosophy
- techniques of formal logic
- truth functions
- quantifiers
- validity
- formal deduction
- logic applications
- philosophy
File: hw5.pdf
This OER is part of OCW: Logic I
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- techniques of formal logic
- truth functions
- quantifiers
- validity
- formal deduction
- logic applications
- philosophy
File: hw4sample.pdf
This OER is part of OCW: Logic II
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- logic
- theory of computability
- kurt g?del
- theorem
- system
- true
- arithmetical
- statements
- axiomatic basis
- proving
- truths of arithmetic
- history applications
- technique
- church?s theorem
- algorithm
- formula
- valid
- predicate calculus
- tarski?s theorem
- g?del?s second incompleteness theorem.
File: hw4.pdf
This OER is part of OCW: Logic I
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- techniques of formal logic
- truth functions
- quantifiers
- validity
- formal deduction
- logic applications
- philosophy
File: hw6sample.pdf
This OER is part of OCW: Logic II
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- logic
- theory of computability
- kurt g?del
- theorem
- system
- true
- arithmetical
- statements
- axiomatic basis
- proving
- truths of arithmetic
- history applications
- technique
- church?s theorem
- algorithm
- formula
- valid
- predicate calculus
- tarski?s theorem
- g?del?s second incompleteness theorem.
File: hw6.pdf
This OER is part of OCW: Logic I
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- techniques of formal logic
- truth functions
- quantifiers
- validity
- formal deduction
- logic applications
- philosophy
File: hw8sample.pdf
This OER is part of OCW: Logic II
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- logic
- theory of computability
- kurt g?del
- theorem
- system
- true
- arithmetical
- statements
- axiomatic basis
- proving
- truths of arithmetic
- history applications
- technique
- church?s theorem
- algorithm
- formula
- valid
- predicate calculus
- tarski?s theorem
- g?del?s second incompleteness theorem.
File: hw3.pdf
This OER is part of OCW: Logic I
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- techniques of formal logic
- truth functions
- quantifiers
- validity
- formal deduction
- logic applications
- philosophy
File: hw1sampleans.pdf
This OER is part of OCW: Logic II
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- logic
- theory of computability
- kurt g?del
- theorem
- system
- true
- arithmetical
- statements
- axiomatic basis
- proving
- truths of arithmetic
- history applications
- technique
- church?s theorem
- algorithm
- formula
- valid
- predicate calculus
- tarski?s theorem
- g?del?s second incompleteness theorem.
File: hw2.pdf
This OER is part of OCW: Logic I
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- techniques of formal logic
- truth functions
- quantifiers
- validity
- formal deduction
- logic applications
- philosophy
File: hw7sample.pdf
This OER is part of OCW: Logic II
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- logic
- theory of computability
- kurt g?del
- theorem
- system
- true
- arithmetical
- statements
- axiomatic basis
- proving
- truths of arithmetic
- history applications
- technique
- church?s theorem
- algorithm
- formula
- valid
- predicate calculus
- tarski?s theorem
- g?del?s second incompleteness theorem.
File: hw9.pdf
This OER is part of OCW: Logic I
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- techniques of formal logic
- truth functions
- quantifiers
- validity
- formal deduction
- logic applications
- philosophy
File: hw2sample.pdf
This OER is part of OCW: Logic II
Published under: /Assignments
Share in:
OCW Authors:
Inherited Tag(s):
- linguistics and philosophy
- logic
- theory of computability
- kurt g?del
- theorem
- system
- true
- arithmetical
- statements
- axiomatic basis
- proving
- truths of arithmetic
- history applications
- technique
- church?s theorem
- algorithm
- formula
- valid
- predicate calculus
- tarski?s theorem
- g?del?s second incompleteness theorem.
70 results found.
Page 1 of 5 next