Більш швидкий доступ, ніж браузер!
19 відносини: Principia Mathematica, Курт Гедель, Пресупозиція, Альфред Норт Вайтхед, Альфред Тарський, Науковий закон, Рудольф Карнап, Теорія обчислюваності, Московський державний університет імені М. В. Ломоносова, Модальна логіка, Бертран Расселл, Віллард Ван Орман Квайн, Готлоб Фреге, Давид Гільберт, Дедуктивна логіка, Ідентичність (філософія), Інтуїціонізм, Індукція (логіка), Лейтзен Егберт Ян Брауер.
Principia Mathematica
Титульна сторінка першого видання ''Principia Mathematica'' Principia Mathematica («Математичні принципи» або «Математичні основи») — тритомна праця з основ математики, написана Бертраном Расселом та Альфредом Нортом Вайтхедом й опублікована у 1910–1913 роках.
Новинка!!: Філософія логіки і Principia Mathematica · Побачити більше »
Курт Гедель
Курт Ге́дель (Kurt Gödel) (*28 квітня 1906, Брюнн, Австро-Угорщина (тепер Брно, Чехія) — †14 січня 1978, Принстон, США) — австрійський логік і математик, приват-доцент Віденського університету (1933–1938).
Новинка!!: Філософія логіки і Курт Гедель · Побачити більше »
Пресупозиція
Пресупози́ція (від prae «попереду» і suppositio → suppono «підставляю», тобто «припущення» ≈ «попереднє припущення») — засадниче поняття сучасної логіки і мовознавства, яке означає базове ствердження, незаперечне знання (аксіому), на основі якої будуються усі подальші твердження, висловлювання, судження, умовиводи тощо.
Новинка!!: Філософія логіки і Пресупозиція · Побачити більше »
Альфред Норт Вайтхед
Альфред Норт Вайтгед (Alfred North Whitehead; 15 лютого 1861, Рамсгіт, Кент, Велика Британія — 30 грудня 1947, Кембридж, Массачусетс, США) — британський математик, логік, філософ та педагог, разом з Бертраном Расселом написав фундаментальну працю «Principia Mathematica» (1910 — 1913), яка стала базовою для розвитку таких напрямків філософії, як логіцізм та теорія типів.
Новинка!!: Філософія логіки і Альфред Норт Вайтхед · Побачити більше »
Альфред Тарський
Альфред Та́рський (14 січня 1901, Варшава — 26 жовтня 1983, Берклі) — видатний польсько-американський логік, математик, засновник формальної теорії істинності.
Новинка!!: Філософія логіки і Альфред Тарський · Побачити більше »
Науковий закон
Науковий закон — вербальне та/або математично виражене твердження, що має докази (на відміну від аксіоми), яке описує співвідношення, зв'язки між різними науковими поняттями, встановлені шляхом індукції або дедукції, і визнане на даному етапі науковим співтовариством узгоджується з іншими науковими законами.
Новинка!!: Філософія логіки і Науковий закон · Побачити більше »
Рудольф Карнап
Рудольф Карнап (Rudolf Carnap, 18 травня 1891 — 14 вересня 1970) — німецький, а після 1935 року американський філософ-позитивіст, член Віденського гуртка.
Новинка!!: Філософія логіки і Рудольф Карнап · Побачити більше »
Теорія обчислюваності
Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.
Новинка!!: Філософія логіки і Теорія обчислюваності · Побачити більше »
Московський державний університет імені М. В. Ломоносова
Моско́вський держа́вний університе́т і́мені М. В. Ломоно́сова, МДУ (Московский государственный университет имени М. В. Ломоносова, МГУ) — найбільший та найстаріший університет Росії.
Новинка!!: Філософія логіки і Московський державний університет імені М. В. Ломоносова · Побачити більше »
Модальна логіка
Мода́льна ло́гіка — це розділ сучасної логіки, де вивчаються модальні висловлювання та їхні відношення в структурі міркувань.
Новинка!!: Філософія логіки і Модальна логіка · Побачити більше »
Бертран Расселл
Бертра́н А́ртур Ві́льям Расселл (Bertrand Arthur William Russell; 18 травня 1872, Треллек, Уельс — 2 лютого 1970, Пенриндайдрайт, Уельс) — британський філософ, логік, математик, громадський діяч.
Новинка!!: Філософія логіки і Бертран Расселл · Побачити більше »
Віллард Ван Орман Квайн
Віллард Ван Орман Квайн (Willard Van Orman Quine, 25 червня 1908 — 25 грудня 2000) — американський філософ та логік, представник аналітичної філософії.
Новинка!!: Філософія логіки і Віллард Ван Орман Квайн · Побачити більше »
Готлоб Фреге
Фрі́дріх Лю́двіг Го́тлоб Фре́ге (Friedrich Ludwig Gottlob Frege; *8 листопада 1848, Вісмар — †26 липня 1925, Бад-Кляйнен) — німецький логік, математик та філософ.
Новинка!!: Філософія логіки і Готлоб Фреге · Побачити більше »
Давид Гільберт
Давид Гільберт (David Hilbert; 23 січня 1862, Велау тепер смт Знаменськ Гвардєйського района Калінінградської області — 14 лютого 1943) — німецький математик.
Новинка!!: Філософія логіки і Давид Гільберт · Побачити більше »
Дедуктивна логіка
Дедуктивна логіка — розділ логіки, в якому вивчаються способи міркування, що гарантують істинність висновку при істинності посилок.
Новинка!!: Філософія логіки і Дедуктивна логіка · Побачити більше »
Ідентичність (філософія)
Ідентичність — одне із базових понять філософії, воно видається настільки очевидним, що його можна пояснити хіба синонімом: «сказати х та y ідентичні, все одно що сказати вони одна і та ж річ.
Новинка!!: Філософія логіки і Ідентичність (філософія) · Побачити більше »
Інтуїціонізм
Інтуїціонізм — сукупність філософських та математичних поглядів, що розглядають математичні судження з позицій інтуїтивної переконливості.
Новинка!!: Філософія логіки і Інтуїціонізм · Побачити більше »
Індукція (логіка)
Інду́кція — це процес судження, котрий досягає висновку, що при наявному стані знань є напевно істинний, але не гарантує його.
Новинка!!: Філософія логіки і Індукція (логіка) · Побачити більше »
Лейтзен Егберт Ян Брауер
Лейтзен Егберт Ян Брауер (Luitzen Egbertus Jan Brouwer; 27 лютого 1881 — 2 грудня 1966) — голландський філософ та математик, випускник університету Амстердама, який працював у таких галузях математики, як топологія, теорія множин, математична логіка, теорія міри та комплексний аналіз.
Новинка!!: Філософія логіки і Лейтзен Егберт Ян Брауер · Побачити більше »
