Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

Filtry

2 760 (0,082s)

Výsledek výzkumu

Identity and sortals (and Caesar)

Philosophy, History and Philosophy of science and technology

  • 2017
  • Jimp
  • Odkaz
Výsledek výzkumu

The Logical Form of Identity Criteria

Philosophy, History and Philosophy of science and technology

  • 2018
  • D
Výsledek výzkumu

Lze zachránit logicismus?

V článku ukazuji, proč není možné zachránit logicismus. Explicitně se při tom vztahuji k neologicismu C. Wrighta, Boolosově neofregovským bádáním a k Lorenzenově operativní koncepci matematiky a logiky....

AA - Filosofie a náboženství

  • 2005
  • Jx
Výsledek výzkumu

Mathematics and Experience

AA - Filosofie a náboženství

  • 2014
  • C
Výsledek výzkumu

Logicismus a rekurzivní teorém

Hlavním cílem článku je představit Fregův logicismus v duchu Lakatosovy logiky matematického objevu jako smělou domněnku, která byla nakonec vyvrácena. Dále ukážeme, že toto vyvrácení spočívá na jiných a mnohem vážnějších důvodech, než se ob...

AA - Filosofie a náboženství

  • 2007
  • D
Výsledek výzkumu

Filosofie matematiky Karla Vorovky

Studie představuje Vorovkovu filosofii matematiky, jeho výklad logicismu či vztahu skutečnosti a pravdy.

AA - Filosofie a náboženství

  • 2008
  • Jx
Výsledek výzkumu

Dedekind’s logicism

Philosophy, History and Philosophy of science and technology

  • 2017
  • Jimp
  • Odkaz
Výsledek výzkumu

Frege’s Begriffsschrift and Logicism

Philosophy, History and Philosophy of science and technology

  • 2018
  • D
Výsledek výzkumu

Logicism as making Arithmetic Explicit

AA - Filosofie a náboženství

  • 2015
  • Jx
  • Odkaz
Výsledek výzkumu

K Fregově údajnému konstruktivismu

Studie se věnuje důvodům, proč lze Fregův logicismus považovat za stále živý, a to napozadí dalšího vývoje filosofie matematiky, s odkazy k Lorenzenovu operativnímu pojetí matematiky a filosofii konstruktivismu....

AA - Filosofie a náboženství

  • 2006
  • Jx
  • 1 - 10 z 2 760