Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

31 October-2 November 2008, Workshop "philosophy of logical consequence", Uppsala, Sweden

Date: 31 October-2 November 2008
Location: Uppsala, Sweden

There is a traditional picture of logic that may be spelled out as follows: Logic is concerned with the principles for correct reasoning and valid arguments; its principles are universal, necessary, apriori and formal; logically valid arguments are necessarily truth-preserving and have a fundamental epistemic significance; and finally, logic is in some sense a normative discipline.

This traditional picture gives rise to many questions. The notions of universality, logical necessity,apriority, and formality are difficult to analyze. In what sense, if any, is logic normative? Is there a principled way of distinguishing between logical and non-logical concepts? While continuing to face these foundational questions, logic has developed into an advanced mathematical discipline - mathematical logic - where the informal notions of logical proof, validity and logical consequence are given mathematical explications.

For more information, see http://web.me.com/stenlindstrom/Webbplats/workshop.html

Please note that this newsitem has been archived, and may contain outdated information or links.