22.07.2013 Views

Studieordning for Filosofi og Videnskabsteori - ACE Denmark

Studieordning for Filosofi og Videnskabsteori - ACE Denmark

Studieordning for Filosofi og Videnskabsteori - ACE Denmark

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

L<strong>og</strong>ik <strong>og</strong> argumentationsteori<br />

v. Klaus Frovin Jørgensen<br />

Fredage 10.00-12.00 i uge 7, 8, 11, 12, 13, 16, 17, 19 <strong>og</strong> 20 i P6.<br />

Gennemføres ved aflevering <strong>og</strong> beståelse af 4 små hjemmeopgaver i løbet af<br />

semesteret.<br />

I kursets <strong>for</strong>løb skal vi primært se på den klassiske l<strong>og</strong>ik <strong>og</strong> dens betydning inden <strong>for</strong><br />

argumentationsteorien, spr<strong>og</strong>filosofien <strong>og</strong> erkendelsesteorien. Klassisk l<strong>og</strong>ik omfatter<br />

udsagnsl<strong>og</strong>ik (<strong>og</strong>så kaldet sætningsl<strong>og</strong>ik) <strong>og</strong> første ordens prædikatl<strong>og</strong>ik. I<br />

undervisningen vil der blive lagt vægt på <strong>for</strong>holdet mellem spr<strong>og</strong> <strong>og</strong> mening, hvilket<br />

inden <strong>for</strong> (bla.) l<strong>og</strong>ikken kaldes <strong>for</strong> hhv. syntaks <strong>og</strong> semantik. Vi vil med andre ord<br />

studere <strong>for</strong>holdet mellem a) det at <strong>for</strong>me <strong>og</strong> hævde spr<strong>og</strong>lige udtryk; samt b)<br />

sandheden af sådanne spr<strong>og</strong>lige udtryk. I <strong>for</strong>længelse heraf vil begreberne om<br />

gyldighed <strong>og</strong> holdbarhed af argumenter blive introduceret <strong>og</strong> diskuteret.<br />

Kurset tager udgangspunkt i argumentationsteorien, nærmere betegnet det der kaldes<br />

Toulmins model <strong>for</strong> argumentation. De to første kursusgange vil blive brugt til at<br />

introducere <strong>og</strong> diskutere Toulmins model, samt sætte den i relation til n<strong>og</strong>le konkrete<br />

filosofiske argumenter.<br />

Det er efterhånden blevet folklore at Toulmins model er i direkte modstrid med<br />

l<strong>og</strong>ikken. Det er egentlig ikke kursusholderens mening. Der<strong>for</strong> vil Toulmins model<br />

blive sat i relation til l<strong>og</strong>ikken, ved at påpege at Toumins model egentlig er en<br />

generalisation af den <strong>for</strong>melle l<strong>og</strong>ik.<br />

Efter at have introduceret Toulmins model kommer turen der<strong>for</strong> til l<strong>og</strong>ikken. Og her<br />

tages der udgangspunkt i den semantiske del: nemlig den specifikke <strong>for</strong>ståelse af<br />

begrebet 'sandhed'. Dette fører over i brugen af sandhedstabeller samt konstruktionen<br />

af udsagnsl<strong>og</strong>iske- <strong>og</strong> prædikatsl<strong>og</strong>iske modeller. På det syntaktiske niveau vil<br />

tableauer udgøre det primære grundlag. Gennem undervisningen vil det blive tydeligt<br />

at tableauerne er stærkt motiveret af semantiske overvejelser, <strong>og</strong> der<strong>for</strong> kaldes disse<br />

ofte 'semantiske tableauer'. Tableauer er en uhyre simpel <strong>og</strong> effektiv måde at afgøre<br />

gyldigheden af udsagnsl<strong>og</strong>iske argumenter. På det prædikatl<strong>og</strong>iske plan er sagen mere<br />

kompliceret, da denne l<strong>og</strong>ik ikke er afgørbar; dvs. man kan stå over<strong>for</strong> et argument,<br />

<strong>for</strong>muleret i prædikatl<strong>og</strong>ikken, som man ikke kan afgøre om er gyldigt eller ej. På<br />

kurset vil vi komme ind på dette fundamentale træk ved l<strong>og</strong>ikken, som er et<br />

principielt <strong>og</strong> grundlæggende problem, der vedrører første ordens l<strong>og</strong>ikken. Det vil<br />

sige, problemet er ikke kun knyttet til tableau-metoden. Faktisk er tableau-metoden,<br />

sammenlignet med andre metoder, en meget effektiv metode <strong>og</strong>så inden <strong>for</strong><br />

prædikatl<strong>og</strong>ikken.<br />

Efter at være blevet sat grundigt ind i den <strong>for</strong>melle l<strong>og</strong>ik vil kurset afsluttes med at<br />

vise helt konkret, hvordan første ordens l<strong>og</strong>ikken er indeholdt i Toulmins model.<br />

Det videre <strong>for</strong>løb i kurset vil tage afsæt i l<strong>og</strong>ikken gennem en analyse af filosofiske<br />

problemstillinger, som vi kan finde dem inden <strong>for</strong> den såkaldt <strong>for</strong>melle filosofi<br />

(<strong>for</strong>mal philosophy). I denne anden halvdel af kurset vil det d<strong>og</strong> være af betydning,<br />

hvad de studerende på holdet synes lyder spændende. Et eksempel kunne være den<br />

intuitionistiske l<strong>og</strong>ik <strong>og</strong> dens betydning <strong>for</strong> eksempelvis Michael Dummetts

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!