Search

Start Over Subject filozofie Date Unknown

172. Gödelova věta a relace logického důsledku

Creator:
Zouhar, Jaroslav
Type:
model:article and TEXT
Subject:
filozofie, philosophy, neúplnost, Gödelova věta, axiomatická teorie, logika, incompleteness, Gödel’s theorem, axiomatic theory, logic, 5, and 101
Language:
Czech
Description:
Kurt Gödel svým důkazem první věty o neúplnosti poskytl metodu odhalování pravdy specifických aritmetických výrazů za podmínky, že všechny axiomy dané formální teorie aritmetiky jsou pravdivé. Dále, výraz, jehož pravda je tímto způsobem odhalena, nemůže být dokázán v dotyčné teorii. Může se tedy zdát, že relace logického důsledku je širší než relace odvoditelnosti pomocí předem definovaného souboru pravidel. Cílem této studie je prozkoumat, za jakých předpokladů může být gödelovský výraz správně považován za logický důsledek axiomů dané teorie. V této studii se tvrdí, že tomu tak může být pouze tehdy, když všechny teorémy dané teorie jsou chápany jako výrazy stejného druhu (a pravdivé ve stejném smyslu) jako aritmetické výrazy a jako výrazy o dokazatelnosti v dané teorii, a pouze tehdy, pokud jazyk teorie obsahuje logické výrazy, jež umožňují zahrnout určité predikáty meta-jazyka do jazyka dané teorie., In his proof of the first incompleteness theorem, Kurt Gödel provided a method of showing the truth of specific arithmetical statements on the condition that all the axioms of a certain formal theory of arithmetic are true. Furthermore, the statement whose truth is shown in this way cannot be proved in the theory in question. Thus it may seem that the relation of logical consequence is wider than the relation of derivability by a predefined set of rules. The aim of this paper is to explore under which assumptions the Gödelian statement can rightly be considered a logical consequence of the axioms of the theory in question. It is argued that this is the case only when the all the theorems of the theory in question are understood as statements of the same kind (and true in the same sense) as statements of arithmetic and statements about provability in the theory, and only if the language of the theory contains logical expressions allowing to include certain predicates of meta-language in the language of the theory., and Jaroslav Zouhar.
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public

173. Gorgiova Chvála Heleny a výuka filozofie sofistů na gymnáziích /

Creator:
Širl, Radim
Type:
text and studie
Subject:
Výchova a vzdělávání, Filozofie, Gorgias z Leontín,, gymnázia, výuka, filozofie, sofismus, české země od r. 1993 do současnosti, školství, pedagogika, učitelé, péče o mládež, filozofie, filozofové, and starověké Řecko, Kréta
Language:
Czech
Description:
Teaching the Philosophy of Sophists at Gymnázium: Gorgia's Encomium of Helen.
Rights:
unknown

175. Habermasův pojem komunikativní racionality

Creator:
Lysoňková, Michala
Type:
article, články, model:article, and TEXT
Subject:
Filozofie, filozofie, philosophy, Jürgen Habermas, komunikativní racionalita, analytická filosofie jazyka, teorie řečových aktů, formální pragmatika, pragmatistická sémantika, emancipace, communicative rationality, analytical philosophy of language, theory of speech acts, formal pragmatics, pragmatist semantics, emancipation, 5, and 101
Language:
Czech
Description:
Cílem předložené stati je kriticky zhodnotit Habermasův pojem komunikativní racionality, tedy koncept, který je výrazem dalekosáhlého pokusu o rehabilitaci racio­nality, jež by umožnila teoreticky ukotvit praktický projekt spravedlivé společnosti. Komunikativní racionalita, která provází Habermasovy úvahy o politice a společnosti přibližně od poloviny sedmdesátých let minulého století až do současnosti, je výsledkem jeho snahy připojit se k pragmatickému obratu v analytické filosofii (a zároveň tento obrat překročit). Formální pragmatika, v jejímž rámci je komunikativní racio­nalita formulována, těží především z teorie řečových aktů Johna L. Austina a Johna R. Searla a z – primárně Dummettovy – pragmatistické sémantiky. Právě za pomoci konceptů artikulovaných těmito autory se Habermas pokouší odkrýt „platnostní základ řeči“, předvést specifickou jazykovou normativitu, která se vyznačuje podstatným emancipačním rozměrem., The aim of this article is to critically evaluate Habermas’ concept of communicative rationality. This concept is an expression of the far-reaching attempt to rehabilitate rationality, which would then make possible a theoretical grounding for the practical project of a just society. Communicative rationality, which has been a part of Habermas’ considerations of politics and society from roughly the mid-seventies up to today, is the result of his attempt to adopt the pragmatic turn in analytical philosophy (and at the same time to go beyond this turn). Formal pragmatics, in the framework of which communicative rationality is formulated, draws above all from the theory of speech acts of John L. Austin and John R. Searle and from – primarily Dummett’s – pragmatist semantics. It is with the help of the concepts articulated by these authors that Habermas attempts to reveal “the validity basis of language”, presenting a specific linguistic normativity which is characterised by a basic emancipatory dimension., and Michala Lysoňková.
Rights:
http://creativecommons.org/licenses/by-nc-sa/4.0/ and policy:public

179. Heideggerův výklad experimentálního charakteru novověké vědy

Creator:
Novák, Aleš
Type:
model:article and TEXT
Subject:
filozofie, philosophy, Heidegger, Newton, metafyzika, věda, experiment, hypotéza, čas, metaphysics, cience, hypothesis, time, 5, and 101
Language:
Czech
Description:
Martin Heidegger (1889 –1976) svým poukázáním na mathématický charakter novověké vědy vyostřil rozbor její bytnosti prostřednictvím výkladu klíčové části její metody, jež podle něj spočívá v "souvislosti hypo-téza-experiment“. V Heideggerově výkladu experimentální charakter novověké vědy znamená předchůdný metafyzický akt logického stanovení obecného porozumění významu "jsoucna“. Heidegger tedy analyzuje čtyři stupně konceptu "zakoušení“, jenž rozlišuje moderní vědu ode všech starších pojetí "vědy“. Ovšem vše, čeho chce Heidegger dosáhnout, je jasné nahlédnutí do podstaty časového charakteru "existence“., While showing the mathéma-character of modern science, Martin Heidegger (1889–1976) sharpens his analysis of its essence by interpreting the key part of its method, which he claims to consist of the “hypothesis-experiment complex”. In Heidegger’s interpretation, the experimental feature of modern science means the former metaphysical act of logical prescription for the general understanding of the meaning of “being”. Thus, Heidegger analyses the fourfold concept of “experience”, which distinguishes the modern science from all the older conceptions of “science”. Nevertheless, all what Heidegger ultimately tries to achieve, is to gain a clear insight into the essence of the temporal character of “being”., and Aleš Novák.
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public

180. Heideggerův výklad pojmu mathéma a mathématického charakteru novověké vědy

Creator:
Novák, Aleš
Type:
model:article and TEXT
Subject:
filozofie, philosophy, Heidegger, metafysika, věda, příroda, pravda, etaphysics, scienc, nature, truth, 5, and 101
Language:
Czech
Description:
Ve 30. letech 20. století se Martin Heidegger pokusil vysvětlit „dějiny Bytí“ vedoucí ke stavu, jejž nazýval „zapomněním Bytí“. Zaměřil se přitom na vliv moderní vědy, jež je podle něj jistým druhem metafyziky. Základní povaha moderní vědy podle Heideggera spočívá v jejím mathématickém charakteru. Řecký výraz " to mathéma“ znamená "to, co se lze naučit“ a "co je předchůdně známo“. Heideggerovým cílem je ukázat, že mathématický charakter moderní vědy rozhoduje o obecném chápání významu "bytí“ a že moderní věda nahrazuje metafyziku, v níž tkví její původ., In the mid of 1930s Martin Heidegger attempted to explain the “history of Being” leading to what he called “the oblivion of Being". In this he focused on the impact of modern science, which he grants to be a sort of metaphysics. According to Heidegger, the main feature of the modern science consists in what he calls the mathéma -character. Th e Greek word “to mathéma” means “that what can be learned” and “what must be know beforehand.” It is Heidegger’s intention to show that the mathéma-character of modern science is deciding about the general understanding of the meaning of “being” and that modern science is replacing the metaphysics, which is the origin of the modern science., and Aleš Novák.
Rights:
http://creativecommons.org/publicdomain/mark/1.0/ and policy:public

Limit your search

Show values starting with
more »

Show values starting with
more »

Show values starting with
more »

Show values starting with
more »

Show values starting with
more »