|
Frege a Husserl o objektivitě
Jankovská, Lenka ; Peregrin, Jaroslav (vedoucí práce) ; Beran, Ondřej (oponent)
Bakalářská práce se zabývá raným dílem významných logiků a filo- sofů Gottloba Frega a Edmunda Husserla na přelomu 19. a 20. století. Především se věnuje jejich řešení objektivity aritmetiky a objektivity jako takové. Zpočátku se oba vydali stejným směrem a ostře odmítali psycho- logismus. Zavedli podobné rozlišení smyslu a významu. Význam věty je pro Frega pravdivostní hodnota, pro Husserla stav věcí. Smysl je způsob směřování k objektu, intencionalita. Ve větě pro Frega myšlenka a pro Husserla noema. Oba kladli důraz na objektivitu čísla, avšak každý se postupně vydal jiným směrem. Frege ztotožnil číslo s extenzí pojmu, což však později dovedlo jeho systém ke sporu. Husserl získával číslo pomocí abstrakce, čímž se vystavil Fregově přísné kritice. Klíčová slova Frege, Husserl, objektivita, logika
|
|
Frege IDE with JetBrains MPS
Satmári, István ; Parízek, Pavel (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Frege je open-source projekt, ktorý prináša populárny funkcionálny programovací jazyk Haskell pre platformu Java. JetBrains MPS je zase open-source nástroj pre vytváranie nových programovacích jazykov a vývojových integrovaných prostredí na báze projekčného editoru. V tejto práci analyzujeme gramatiku pre jazyk Frege a popisujeme postup vývoja integrovaného prostredia postaveného nad nástrojom JetBrains MPS pre uľahčenie vývojárom s písaním kódu vo Frege. Naše vývojové prostredie zahŕňa intuitívny editor pre editáciu syntaxe v jazyku Frege, poskytuje jednoduchú typovú kontrolu a obsahuje generátory pre textový výstup zadaného programu. Cieľom nášho nástroju je jeho užívateľská prívetivosť. Táto práca v závere taktiež porovnáva projekčné editory oproti bežným vývojovým prostrediam založených na editácii textu, ako je napríklad Eclipse, a skúma, či projekčné editory poskytujú akúkoľvek výhodu pri písaní kódu vo funkcionálnych programovacích jazykoch.
|
|
O existenci bez existence
PRIEHRADNÁ, Markéta
Zabýváme se existencí a jejím statusem v logicko-ontologickém přístupu analytických filosofů minulého století. Základní osnovou kritiky tohoto přístupu je nám dílo amerického filosofa Williama F. Vallicelly, který svou argumentaci předkládá zejména ve třech pracích: A Critique of the Quantificational Account of Existence (1983), A Paradigm Theory of Existence: Onto-Theology Vindicated (2002) a Existence: Two Dogmas of Analysis (2014). Kriticky analyzujeme instanciační pojetí existence v moderní logice, které má původ v teoriích Gottloba Frega, Bertranda Russella a Willarda V. O. Quinea. Krátce se zabýváme Vallicellovou kritikou ontologie přijímající neexistující objekty jako reálné entity, o nichž lze vypovídat, a také jeho kritikou pojetí existence jako vlastnosti prvního řádu.
|
|
Comparison of logical and psychological perspectives on the concept of number.
Kuncová, Alexandra ; Punčochář, Vít (vedoucí práce) ; Kůrka, Petr (oponent)
Táto práca je rozdelená na tri hlavné časti. V prvej časti predstavujeme logický prístup k pojmu čísla na základe Fregeho diela Základy Aritmetiky. Popri snahe definovať a klasifikovať číslo ako také, rozoberáme aj Husserlove ťažkosti s psy- chologizmom, Fregeho logicizmus, či konštrukciu postupnosti prirodzených čísel. V druhej časti sa pozeráme na psychologický prístup k pojmu čísla, a to cez teórie a experimenty kognitívnej vedy. Zameriavame sa na detské chápanie čísel a množstiev, ich schopnosť počítať a neskôr získané všeobecné znalosti. V posled- nej časti sumarizujeme rozdiely, ako aj podobnosti týchto dvoch prístupov. Kľúčové slová: číslo, Frege, Husserl, identita, kognitívna veda, pojem, logiciz- mus, Piaget, psychologizmus, vzájomne jednoznačná korešpondencia. "Kým zákony matematiky popisujú realitu, tak nie sú presné; a keď sú presné, tak nepopisujú realitu." (Albert Einstein, Geometry and Experience, 1921)
|
|
Frege a Husserl o objektivitě
Jankovská, Lenka ; Peregrin, Jaroslav (vedoucí práce) ; Beran, Ondřej (oponent)
Bakalářská práce se zabývá raným dílem významných logiků a filo- sofů Gottloba Frega a Edmunda Husserla na přelomu 19. a 20. století. Především se věnuje jejich řešení objektivity aritmetiky a objektivity jako takové. Zpočátku se oba vydali stejným směrem a ostře odmítali psycho- logismus. Zavedli podobné rozlišení smyslu a významu. Význam věty je pro Frega pravdivostní hodnota, pro Husserla stav věcí. Smysl je způsob směřování k objektu, intencionalita. Ve větě pro Frega myšlenka a pro Husserla noema. Oba kladli důraz na objektivitu čísla, avšak každý se postupně vydal jiným směrem. Frege ztotožnil číslo s extenzí pojmu, což však později dovedlo jeho systém ke sporu. Husserl získával číslo pomocí abstrakce, čímž se vystavil Fregově přísné kritice. Klíčová slova Frege, Husserl, objektivita, logika
|