Kort presentasjon
Vi starter med ? se p? viktige teorier om hva sannhet er, med fokus p? Tarskis sannhetsteori. I l?pet av dette arbeidet vil vi repetere og videref?re emner fra FIL1400. Vi ser p? Davidsons bidrag til forklaring av mening p? basis av sannhetsteorier. Vi g?r videre med intuisjonistiske innvendinger, med vekt p? Dummett; i denne sammenhengen tar vi for oss forholdet mellom intuisjonistisk og klassisk logikk i naturlig deduksjon.
Stikkord:
- Sannhetsteori eller bevisteori i forklaring av mening
- Klassisk versus intuisjonistisk logikk
- Realisme, idealisme, antirealisme
Vi skal la oss forf?lge av sp?rsm?let (fra Cesare Cozzo): "Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view?"
For ? f? en forsmak p? hva kurset vil omhandle kan man lese Jaroslav Peregrin, 1996, "The nature of truth (if any)", http://www.cuni.cz/~peregrin/HTMLTxt/truth.htm, og Michael Dummett, 2002, "Language as our means of communication", http://mondodomani.org/dialegesthai/md01.htm.
Pensum
Barwise, Jon & Etchemendy, John: Language, Proof and Logic, 1999. CSLI Publications, Stanford, CA. Kap. 15, 17 og 18.. (Side hos Gnist.no).
Taylor, Kenneth: Truth & Meaning, 1998. Blackwell, Oxford. Kapittel 3 og 4 (side 113-257). (Side hos Gnist.no).
Davidson, Donald: "Truth and Meaning", Synthese, 1967. Opptrykk i Inquiries into Truth and Interpretation, 1984. (Side hos Gnist.no).
Dummett, Michael: "What is a theory of meaning (II)", 1976. I Evans, G. og McDowell, J. (red.), Truth and Meaning, Oxford U. P.. (Side hos Gnist.no).
Sundholm: "Proof Theory and Meaning" i Handbook of Philosophical Logic, vol. 3, 1984. Opptrykk i Hbk. Phil Log., 2 utgave, vol. 9, 2002.. (Liste over Sundholms publikasjoner).
Cozzo, Cesare: Epistemic truth and excluded middle, Theoria, Thales, 1998. Stockholm 2-3. side 123-162. http://w3.uniroma1.it/cog-found/Cozzo.htm .
Peregrin, Jaroslav: Language and its Models: Is Model Theory a Theory of Semantics?", 1997. Nordic Journal of Philosophical Logic, vol. 2, No.1. http://www.hf.uio.no/filosofi/njpl/vol2no1/models/index.html.