Skip to search
Skip to main content
Skip to first result
Search
Search Results
Creator:
Peregrin, Jaroslav,
Type:
text and studie
Subject:
Filozofie , inferencialismus , logika , filozofie jazyka , světové dějiny od r. 1945 do současnosti , and filozofie, filozofové
Language:
Czech
Description:
Inferentialism.
Rights:
unknown
Creator:
Zumr, Josef,
Type:
text and studie
Subject:
Filozofie , Masaryk, Tomáš Garrigue, , filozofie , filozofové , církev římskokatolická , logika , české země 1848-1918 , and filozofie, filozofové
Language:
Czech
Description:
Die katholische Kritik an Masaryks "Versuch einer konkreten Logik" und anderen Arbeiten aus dieser Zeit.
Rights:
unknown
Creator:
Arazim, Pavel
Type:
text and zprávy z vědeckého života
Subject:
Logika , konference , logika , and české a československé konference, kongresy
Language:
Czech
Description:
Konference, Hejnice, 20. - 24. 6. 2016
Rights:
unknown
Creator:
Vlasáková, Marta,
Type:
text and studie
Subject:
Filozofie , Aristotelés, , filozofové řečtí , logika , existencialismus , interpretace , and starověké Řecko, Kréta
Language:
Czech
Description:
The square of opposition and the question of existence.
Rights:
unknown
Creator:
Moural, Josef,
Type:
text and studie
Subject:
Filozofie , Masaryk, Tomáš Garrigue, , filozofové čeští , myšlení filozofické , logika , české země 1848-1918 , Československo 1918-1938 , and filozofie, filozofové
Language:
Czech
Rights:
unknown
Creator:
Karásek, Jindřich,
Type:
text and studie
Subject:
Filozofie , Hegel, Georg Wilhelm Friedrich, , filozofové němečtí , filozofie německá , dialektika , logika , Německo , světové dějiny 1789-1918 , and filozofie, filozofové
Language:
Czech
Description:
Method as a self-reference of concept.
Rights:
unknown
Creator:
Dekarli, Martin
Type:
text and zprávy z vědeckého života
Subject:
Historická věda. Pomocné vědy historické. Archivnictví , konference zahraniční , logika , středověk pozdní , and zahraniční konference, kongresy
Language:
Czech
Description:
St. Andrews, 23. - 24. 5. 2017
Rights:
unknown
Creator:
Materna, Pavel,
Type:
text , rozhovory , and články jubilejní
Subject:
Logika , Materna, Pavel, , Svoboda, Vladimír, , jubilea životní , logika , logici , Československo 1918-1992 , české země od r. 1993 do současnosti , and filozofie, filozofové
Language:
Czech
Rights:
unknown
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
Creator:
Šebela, Karel,
Type:
text and studie
Subject:
Filozofie , Aristotelés, , filozofie antická , determinismus , logika , antický svět , and filozofie, filozofové
Language:
Czech
Description:
The question of so-called logical determinism in antiquity and in modern logic.
Rights:
unknown