Philosophical problems of Informatics - NAIL102

• Title: Filosofické problémy Informatiky
• Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2016 to 2016
• Semester: both
• E-Credits: 1
• Hours per week, examination: 0/1, C [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: Czech
• Teaching methods: full-time
• Teaching methods: full-time
• Additional information: http://ktiml.mff.cuni.cz/fpi/
• Note: you can enroll for the course repeatedly; enabled for web enrollment; you can enroll for the course in winter and in summer semester
• Guarantor: doc. RNDr. Svatopluk Krýsl, Ph.D.; Mgr. Jiří Šejnoha
• Class: Informatika Mgr. - volitelný
• Classification: Informatics > Informatics, Software Applications, Computer Graphics and Geometry, Database Systems, Didactics of Informatics, Discrete Mathematics, External Subjects, General Subjects, Computer and Formal Linguistics, Optimalization, Programming, Software Engineering, Theoretical Computer Science

Annotation

English

Last update: T_KTI (10.05.2011)

The seminar consists of presentations of specialists in informatics, mathematics and in relevant philosophical problems with the goal to show students new perspectives and motivate discussions.

Czech

Last update: T_KTI (10.05.2011)

Náplní semináře jsou vystoupení odborníků v informatice, matematice i v relevantní filosofické problematice, v níž mohou posluchači získat nové náhledy, s následující diskusí.

Literature

English

Last update: T_KTI (15.05.2014)

1. A. Anzenbacher: Úvod do filosofie, Portál, 2004

2. J. Peregrin: Kapitoly z analytické filosofie, Filosofia, 2005

3. K. Popper: Logika vědeckého zkoumání, OIKOYMENH, 1997

4. P. Feyerabend: Rozprava proti metodě, Aurora, 2001

5. T. Kuhn: Struktura vědeckých revolucí, OIKOYMENH, 1997

Czech

Last update: T_KTI (15.05.2014)

1. J. Peregrin: Kapitoly z analytické filosofie, Filosofia, 2005

2. A. Anzenbacher: Úvod do filosofie, Portál, 2004

3. K. Popper: Logika vědeckého zkoumání, OIKOYMENH, 1997

4. P. Feyerabend: Rozprava proti metodě, Aurora, 2001

5. T. Kuhn: Struktura vědeckých revolucí, OIKOYMENH, 1997

Syllabus

English

Last update: T_KTI (15.05.2014)

Possible themes:

Problems of current Informatics and their philosophical aspects

Computation models

Linguistics

Philosophy of programming languages

Knowledge bases and databases

Web, semantic web and web explorers

Neuron networks and evolutionary algorithms

Artificial intelligence

History of mathematics and informatics

Ethics in informatics

Examples of previous themes:

What was beyond mirror?

Language of mathematics

Singularity

Why is social web resistant to elegant mathematics

Philosophy of mind (from view of analytic philosophy)

Kurt Goedel...!

How to describe the natural language formally?

Language just a code?

Infinity in Informatics and Philosophy

Hypothetical propositions

Czech

Last update: T_KTI (04.05.2017)

Navrhovaná témata:

1. Problémy současné informatiky a jejich filosofické aspekty

2. Je současná věda bez metafyzických předpokladů? (Od pozitivismu, pragmatismu, sociobilogie, silná umělá intelgence, filozofie K. Poppera až po Feyerabenda, pragmatismus a instrumentalismus.)

3. Historie matematiky a informatiky

4. Etika v informatice

5. Výpočetní modely

6. Lingvistika, logika, filozofie logiky

7. Logické struktury v jiných oblastech než informatice

8. Filosofie programovacích jazyků

9. Znalostní báze a databáze

10. Web, sémantický web a vyhledávače

11. Neuronové sítě a evoluční algoritmy

12. Umělá inteligence

Příklady témat minulých semestrech:

Co bylo za zrcadlem?

Jazyk matematiky

Filosofie mysli (z pohledu analytické filosofie)

O poznávání

Singularita

Proč je sociální web odolný vůči elegantní matematice

Jak formálně popsat přirozený jazyk

Programovací jazyky, jejich vývoj a "co si z něj můžeme odnést"

Jak se matematici dorozumívají? O frazeologii a terminologii odborného jazyka

Kvantové počítání

Tichého transparentní intenzionální logika

Kurt Goedel...!

Co a k čemu je logika

Hypotetické soudy

Předem odsouzený svět

Nekonečno v matematice a filosofii

Jak formálně popsat přirozený jazyk?

Změny paradigmat umělé inteligence

Počítačové hry ve výuce - ano či ne?

Jak také můžeme myslet

Data mining pro nákladnou optimalizaci

Prožívaný čas podle Petra Vopěnky

Webová stránka semináře: ktiml.mff.cuni.cz/fpi/

Témata jednotlivých seminářů jsou nezávislá, nabízejí řadu pohledů a v průběhu semestru budou aktualizována. Podmínkou pro zápočet bude vypracování eseje k některému z v aktuálním semestru probranému tématu nebo zápisu některé z přednášek dle vlastního výběru a účast.