BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2008/newsitem/2570/31- October-2-November-2008-Workshop-philosophy-of-log ical-consequence-Uppsala-Sweden DTSTAMP:20081023T000000 SUMMARY:Workshop "philosophy of logical consequenc e", Uppsala, Sweden DTSTART;VALUE=DATE:20081031 DTEND;VALUE=DATE:20081102 LOCATION:Uppsala, Sweden DESCRIPTION:There is a traditional picture of logi c that may be spelled out as follows: Logic is con cerned with the principles for correct reasoning a nd valid arguments; its principles are universal, necessary, apriori and formal; logically valid arg uments are necessarily truth-preserving and have a fundamental epistemic significance; and finally, logic is in some sense a normative discipline. T his traditional picture gives rise to many questio ns. The notions of universality, logical necessity ,apriority, and formality are difficult to analyze . In what sense, if any, is logic normative? Is th ere a principled way of distinguishing between log ical and non-logical concepts? While continuing to face these foundational questions, logic has deve loped into an advanced mathematical discipline - m athematical logic - where the informal notions of logical proof, validity and logical consequence ar e given mathematical explications. For more inf ormation, see http://web.me.com/stenlindstrom/Webb plats/workshop.html X-ALT-DESC;FMTTYPE=text/html:\n
\n There is a traditional picture of logic that may b e spelled out as follows: Logic is concerned with the principles for correct reasoning and valid arg uments; its principles are universal, necessary, a priori and formal; logically valid arguments are n ecessarily truth-preserving and have a fundamental epistemic significance; and finally, logic is in some sense a normative discipline.\n
\nThis traditional picture gives rise to many questions. The notions of universality, logical n ecessity,apriority, and formality are difficult to analyze. In what sense, if any, is logic normativ e? Is there a principled way of distinguishing bet ween logical and non-logical concepts? While conti nuing to face these foundational questions, logic has developed into an advanced mathematical discip line - mathematical logic - where the informal not ions of logical proof, validity and logical conseq uence are given mathematical explications.\n
\n \n\n For more informatio n, see http://web. me.com/stenlindstrom/Webbplats/workshop.html\n
URL:/NewsandEvents/Archives/2008/newsitem/2570/31- October-2-November-2008-Workshop-philosophy-of-log ical-consequence-Uppsala-Sweden END:VEVENT END:VCALENDAR