1 - 7 of 7
Number of results to display per page
Search Results
2. Odkud se berou axiomy logiky?
- Creator:
- Peregrin, Jaroslav
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- axioms, logic, natural deduction, negation, axiomy, logika, přirozený odpočet, and negace
- Language:
- Slovak
- Description:
- Systems of axioms for elementary logic we can find in textbooks are usually not very transparent; and the reader might well wonder how did precisely such a set of axioms come into being. In this paper we present a way of constituting one such non-transparent set of axioms, namely the one presented by E. Mendelson in his Introduction to Mathematical Logic, in a transparent way, with the aim of helping the reader to get an insight into the workings of the axioms., Systémy axiomů pro elementární logiku, které můžeme najít v učebnicích, nejsou obvykle příliš transparentní; a čtenář by se mohl divit, jak přesně vznikl takový soubor axiomů. V tomto příspěvku představujeme způsob, jak vytvořit jednu takovou netransparentní sadu axiomů, a to transparentní způsob, který předložil E. Mendelson ve svém Úvodu do matematické logiky , s cílem pomoci čtenáři nahlédnout do fungování axiomů., and Jaroslav Peregrin
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public
3. Pavel Tichý a teorie dedukce
- Creator:
- Šebela, Karel
- Format:
- bez média and svazek
- Type:
- model:article and TEXT
- Subject:
- deduction, logic, logical consequence, logical semantics, philosophy of logic, Pavel Tichý, odpočet, logika, logické důsledky, logická sémantika, and filosofie logiky
- Language:
- Slovak
- Description:
- This paper focuses on the theory of deduction, developed by the Czech logician Pavel Tichý. Research on deduction in Tichý’s logic is still not very advanced. Tichý’s own deduction system is a generalization of Gentzen’s natural deduction and although it is an interesting topic in itself, I’d rather focus on the theory or philosophy of deduction that motivates Tichý’s choice of deduction system. Some of Tichý’s expressions suggest that in the question of the status of the theory of deduction in logic he held the prevailing modern approach, but this contradicts the fact that most of his writings concern selected problems of logical semantics. Having introduced Tichý’s original conception of deduction, I pay attention to the so called object-conception of logic, which explains the special position of the theory of deduction in his conception., Příspěvek se zaměřuje na teorii dedukce vyvinutou českým logikem Pavlem Tichým. Výzkum o dedukci v Tichém logice stále není příliš pokročilý. Tichý vlastní dedukční systém je zobecněním Gentzenova přirozeného dedukce, a přestože je to samo o sobě zajímavé téma, raději bych se zaměřil na teorii nebo filosofii dedukce, která motivuje Tichého volbu systému odpočtu. Někteří z Tichých výrazů naznačují, že v otázce stavu teorie dedukce v logice zastával převažující moderní přístup, což však odporuje skutečnosti, že většina jeho spisů se týká vybraných problémů logické sémantiky. Po představení Tichého původní koncepce dedukce věnuji pozornost tzv. Objektové koncepci logiky, která v jeho pojetí vysvětluje zvláštní postavení teorie dedukce., and Karel Šebela
- Rights:
- http://creativecommons.org/publicdomain/mark/1.0/ and policy:public
4. Peirceovo chápanie abdukcie z metodologicko-epistemologického hľadiska /
- Creator:
- Országh, Ladislav
- Type:
- text and studie
- Subject:
- Filozofie, Peirce, Charles Sanders,, filozofové američtí, myšlení filozofické, logika, epistemologie, metodologie vědy, objevy vědecké, filozofie vědy, USA, světové dějiny 1789-1918, and filozofie, filozofové
- Language:
- Slovak
- Description:
- Peirce's Understanding of Abduction from the Methodologico-Epistemological Standpoint.
- Rights:
- unknown
5. Sú fyzické indivíduá kontingentné entity? :
- Creator:
- Cmorej, Pavel,
- Type:
- text and studie
- Subject:
- Logika, Tichý, Pavel,, logici, logika, sémantika, Československo 1918-1992, and filozofie, filozofové
- Language:
- Slovak
- Description:
- Are Ohysical Individuals Contingent Entities?
- Rights:
- unknown
6. Tichého dielo - zdroj ďalších výskumov /
- Creator:
- Gahér, František,
- Type:
- text and studie
- Subject:
- Logika, Tichý, Pavel,, logici, logika, sémantika, Československo 1918-1992, and filozofie, filozofové
- Language:
- Slovak
- Description:
- Tichý's Work - A Source of Futher Investigations.
- Rights:
- unknown
7. Významné životné jubileum Karla Berku /
- Creator:
- Viceník, Jozef,
- Type:
- text and články jubilejní
- Subject:
- Filozofie, Berka, Karel,, jubilea životní, vědci čeští, logika, matematici čeští, filozofové čeští, české země od r. 1993 do současnosti, Československo 1918-1992, filozofie, filozofové, and matematika, kybernetika
- Language:
- Slovak
- Rights:
- unknown