|
Formalism: Consistency, Rigor and the Observation of Reasoning| old_uid | 15996 |
|---|
| title | Formalism: Consistency, Rigor and the Observation of Reasoning |
|---|
| start_date | 2018/06/06 |
|---|
| schedule | 17h-19h |
|---|
| online | no |
|---|
| summary | A central element of modern formalism is its promotion of consistency as a criterion of acceptance for a body of reasoning. What is commonly called the consistency problem for a body of reasoning is the problem of establishing, by appropriate means, its consistency. To solve (and even to formulate) such a problem, requires identification of the "body of reasoning whose consistency is in question”. This raises the question of how bodies of reasoning are to be identified. This is the question that will chiefly concern me in this talk. |
|---|
| responsibles | Rebuschi |
|---|
| |
|