Analytická filosofie

Přednášející:

Jiří Fiala (gar.)

Cvičící:

Předmět zajišťuje:

katedra softwarového inženýrství

Anotace:

Jaké byly původní otázky, které vedly k proměně logiky, základů matematiky, pojetí jazyka i vědeckých teorií a nakonec ke vzniku počítačů a počítačové vědy (informatiky)? Jak tyto otázky vedly k novému a nyní převládajícímu pojetí filosofie, která dostala později název analytická?

Předmět přednáší a garantuje RNDr. Jiří Fiala

Požadavky:

Zkouška: stručná ústní (otázky totožné s názvy přednášek ? jakožto témata k rozhovoru). Chtěl bych zjistit, zda jste pochopili (prožili, osvojili si) základní ideje, nikoli zda jste se něco ?naučili?.

Osnova přednášek:

1. Obrat k jazyku. Jak může být rovnost informativní. Substituce. Smysl a význam.

2. Singulární výrazy a vlastní jména. Mill ? Frege ? Kripke. Definitní deskripce.

3. Pojem a funkce. Relace. Subjekt-predikátové věty.

4. Zrod matematické logiky. Pravdivostní funkce, axiomy, odvozovací pravidla.

5. Predikátová logika prvního řádu. Úplnost, modely.

6. Syntax, rekursivní pravidla, deduktivní teorie.

7. Použití a citace. Autoreference. Gödelova věta o neúplnosti.

8. Tarského definice pravdy a její obrácení u Davidsona. Radikální překlad.

9. Churchova teze, Turing, problém zastavení.

10. Modální logika, axiomatizace, možné světy (Kripke).

11. Modální logika s predikáty, de re a de dicto. Lukasiewicz.

12. Obrat k přirozenému jazyku. Austin (řečové akty), Grice (konverzační implikatura).

Osnova cvičení:

Cíle studia:

Když to dobře dopadne, porozumíme lépe kontextu, v němž se nyní pohybujeme. Nejde o to, pokoušet se tento kontext měnit, musíme v něm zůstat - ale měli bychom lépe vědět, co to vlastně děláme.

Studijní materiály:

Poznámka:

Rozvrh na zimní semestr 2011/2012:

Rozvrh není připraven

Rozvrh na letní semestr 2011/2012:

	06:00–08:0008:00–10:0010:00–12:0012:00–14:0014:00–16:0016:00–18:0018:00–20:0020:00–22:0022:00–24:00
Po	místnost T9:349 Fiala J. 16:15–17:45 (přednášková par. 1) Dejvice NBFIT místnost
Út
St
Čt
Pá

Předmět je součástí následujících studijních plánů:

• Teoretická informatika - verze pro ty, kteří se zapsali v roce 2009 a 2010 (povinně volitelný humanitní předmět)
• Počítačové inženýrství - verze pro ty, kteří se zapsali v roce 2009 a 2010 (povinně volitelný humanitní předmět)
• Softwarové inženýrství - verze pro ty, kteří se zapsali v roce 2009 a 2010 (povinně volitelný humanitní předmět)
• Web a multimedia - verze pro ty, kteří se zapsali v roce 2009 a 2010 (povinně volitelný humanitní předmět)
• Informační systémy a management - verze pro ty, kteří se zapsali v roce 2009 a 2010 (povinně volitelný humanitní předmět)
• Informační technologie - verze pro ty, kteří se zapsali v roce 2009 a 2010 (povinně volitelný humanitní předmět)
• Informatika, plán pro fázi studia bez oboru - verze pro ty, kteří se zapsali v roce 2009 a 2010 (povinně volitelný humanitní předmět)
• Zaměření Softwarové inženýrství - verze pro ty, kteří se zapsali v roce 2010 (povinně volitelný humanitní předmět)
• Zaměření Webové inženýrství - verze pro ty, kteří se zapsali v roce 2010 (povinně volitelný humanitní předmět)
• Počítačová bezpečnost - verze pro ty, kteří se zapsali v roce 2010 (povinně volitelný humanitní předmět)
• Projektování číslicových systémů - verze pro ty, kteří se zapsali v roce 2010 (povinně volitelný humanitní předmět)
• Počítačové systémy a sítě - verze pro ty, kteří se zapsali v roce 2010 (povinně volitelný humanitní předmět)
• Zaměření Systémové programování - verze pro ty, kteří se zapsali v roce 2010 (povinně volitelný humanitní předmět)
• Zaměření Teoretická informatika - verze pro ty, kteří se zapsali v roce 2010 (povinně volitelný humanitní předmět)
• Znalostní inženýrství - verze pro ty, kteří se zapsali v roce 2010 (povinně volitelný humanitní předmět)
• Zaměření Informační systémy a management - verze pro ty, kteří se zapsali v roce 2010 (povinně volitelný humanitní předmět)
• Společný plán před přiřazením do oboru, verze pro ty, kteří se zapsali v roce 2010 (povinně volitelný humanitní předmět)
• Společný plán před přiřazením do oboru, verze pro ty, kteří se zapsali v roce 2011 (povinně volitelný humanitní předmět)
• Master Informatics, Presented in English - Version for Students who Enrolled in 2011 (povinně volitelný humanitní předmět)
• Zaměření Informační systémy a management - verze pro ty, kteří se zapsali v roce 2011 (povinně volitelný humanitní předmět)
• Zaměření Softwarové inženýrství - verze pro ty, kteří se zapsali v roce 2011 (povinně volitelný humanitní předmět)
• Zaměření Webové inženýrství - verze pro ty, kteří se zapsali v roce 2011 (povinně volitelný humanitní předmět)
• Znalostní inženýrství - verze pro ty, kteří se zapsali v roce 2011 (povinně volitelný humanitní předmět)
• Počítačová bezpečnost - verze pro ty, kteří se zapsali v roce 2011 (povinně volitelný humanitní předmět)
• Projektování číslicových systémů - verze pro ty, kteří se zapsali v roce 2011 (povinně volitelný humanitní předmět)
• Počítačové systémy a sítě - verze pro ty, kteří se zapsali v roce 2011 (povinně volitelný humanitní předmět)
• Zaměření Systémové programování - verze pro ty, kteří se zapsali v roce 2011 (povinně volitelný humanitní předmět)
• Zaměření Teoretická informatika - verze pro ty, kteří se zapsali v roce 2011 (povinně volitelný humanitní předmět)
• Informatika, plán pro fázi studia bez oboru - verze pro ty, kteří se zapsali v roce 2011 a 2012 (povinně volitelný humanitní předmět)
• Informační systémy a management - verze pro ty, kteří se zapsali v roce 2011 a 2012 (povinně volitelný humanitní předmět)
• Informační technologie - verze pro ty, kteří se zapsali v roce 2011 a 2012 (povinně volitelný humanitní předmět)
• Počítačové inženýrství - verze pro ty, kteří se zapsali v roce 2011 a 2012 (povinně volitelný humanitní předmět)
• Softwarové inženýrství - verze pro ty, kteří se zapsali v roce 2011 a 2012 (povinně volitelný humanitní předmět)
• Teoretická informatika - verze pro ty, kteří se zapsali v roce 2011 a 2012 (povinně volitelný humanitní předmět)
• Web a multimedia - verze pro ty, kteří se zapsali v roce 2011 a 2012 (povinně volitelný humanitní předmět)
• Společný plán před přiřazením do oboru, verze pro ty, kteří se zapsali v roce 2012 (povinně volitelný humanitní předmět)
• Počítačová bezpečnost - verze pro ty, kteří se zapsali v roce 2012 (povinně volitelný humanitní předmět)
• Projektování číslicových systémů - verze pro ty, kteří se zapsali v roce 2012 (povinně volitelný humanitní předmět)
• Zaměření Systémové programování - verze pro ty, kteří se zapsali v roce 2012 (povinně volitelný humanitní předmět)
• Zaměření Teoretická informatika - verze pro ty, kteří se zapsali v roce 2012 (povinně volitelný humanitní předmět)
• Zaměření Informační systémy a management - verze pro ty, kteří se zapsali v roce 2012 (povinně volitelný humanitní předmět)
• Zaměření Softwarové inženýrství - verze pro ty, kteří se zapsali v roce 2012 (povinně volitelný humanitní předmět)
• Zaměření Webové inženýrství - verze pro ty, kteří se zapsali v roce 2012 (povinně volitelný humanitní předmět)
• Znalostní inženýrství - verze pro ty, kteří se zapsali v roce 2012 (povinně volitelný humanitní předmět)
• Počítačové systémy a sítě - verze pro ty, kteří se zapsali v roce 2012 (povinně volitelný humanitní předmět)
• Master Informatics, Presented in English - Version for Students who Enrolled in 2012 (povinně volitelný humanitní předmět)
• Computer Security, Presented in English - Version for Students who Enrolled in 2012 (povinně volitelný humanitní předmět)
• System Programming, Presented in English - Version for Students who Enrolled in 2012 (povinně volitelný humanitní předmět)
• Information Systems and Management, Presented in English - Version for Students who Enrolled in 2012 (povinně volitelný humanitní předmět)
• Software Engineering, Presented in English - Version for Students who Enrolled in 2012 (povinně volitelný humanitní předmět)
• Web Engineering, Presented in English - Version for Students who Enrolled in 2012 (povinně volitelný humanitní předmět)
• Knowledge Engineering, Presented in English - Version for Students who Enrolled in 2012 (povinně volitelný humanitní předmět)
• Design of Digital Systems, Presented in English - Version for Students who Enrolled in 2012 (povinně volitelný humanitní předmět)
• Computer Systems and Networks, Presented in English - Version for Students who Enrolled in 2012 (povinně volitelný humanitní předmět)