Тақырыптар

Математикалық логика

Mathematical Logic · 100 мақала

  1. Чарльз Сандерс Пирс: Прагматизмнің негізін қалаушысы

    Чарльз Сандерс Пирс (1839-1914) – американ философ, прагматизмнің негізін қалаушы. Логика, математика, ғылым тарихы саласындағы еңбектері.

    #1341 · 29 мин оқу

  2. Георг Генрик фон Вригт: Финн философысының өмірі мен еңбектері

    Георг Хенрик фон Вригт (1916-2003) – финн философ, еңбектері этика, логика, тарих философиясын қамтиды. Биографиясы, шығармалары туралы ақпарат.

    #2904 · 1 мин оқу

  3. Құдайдың бар екенін дәлелдеу: Гедельдің логикалық аргументі

    Құдайдың бар екенін дәлелдейтін Гёдельдің онтологиялық аргументі, Аньсельмнің дәлелінен бастау алады. Математикалық тұрғыдан құдай ұғымын қарастырады.

    #2944 · 5 мин оқу

  4. Джузеппе Пеано: Математик және тіл біліміндегі зерттеушісі

    Джузеппе Пеано – италияндық математик, математикалық логика мен жиын теориясын қалаған. Пеано аксиомаларымен танымал, табиғи сандарды зерттеген.

    #3118 · 4 мин оқу

  5. Математикалық логика: негіздері мен дамуы

    Математикалық логика – математика ішіндегі формалды логиканы зерттейтін сала. Модельдер теориясы, дәлелдеу теориясы, жиын теориясы, есептеу теориясы кіреді.

    #4745 · 24 мин оқу

  6. Математика мен физика негіздері: Уайтхед пен Расселдің «Principia Mathematica» еңбегі

    «Principia Mathematica» – математиканың негіздері, логика, аксиомалар, дәлелдеу қағидалары. Рассел мен Уайтхедтың еңбегі, 20 ғасыр логикалық парадокстарын шешеді.

    #5775 · 5 мин оқу

  7. Виттгенштейннің «Логико-философиялық трактаты»

    Вильгельмның «Трактаттық-логикалық философиясы» (TLP) – тіл мен шындық арасындағы байланысты анықтайтын, ғылым шегін көрсететін философиялық еңбек. 1921 ж. жарық көрді.

    #7237 · 9 мин оқу

  8. Уиллард Ван Орман Куайн: Өмір және философиялық мұрасы

    У.Квайн (1908-2000) – американ философ, логик. Бірінші реттік логика, математика негіздері, ғылым философиясы туралы еңбектері. Жаңа негіздер теориясы.

    #8079 · 4 мин оқу

  9. Имре Лакатос: Математика, ғылым және саяси тағдыр

    Имре Лакатос – венгр философы, математика және ғылымның методологиясын дамытқан. Математиканың бұрылыстылығы, зерттеу бағдарламалары туралы еңбектері бар.

    #9032 · 14 мин оқу

  10. Хаскелл Карри: Американ математигі және логигі

    Хaskell Curry – американ математигі, комбинаторлық логика, Curry paradoxы және Curry-Howard сәйкестігімен танымал. Haskell, Brook, Curry тілдері оның құрметіне аталған.

    #9930 · 4 мин оқу

  11. Абрахам Робинсон: Инфинитезимальды анализді дамытушы математик

    Абрахам Робинсон – американдық математик, қазіргі математикаға шексіз кішкентай және шексіз сандарды енгізген қатаң талдаудың авторы. Биографиясы.

    #10834 · 2 мин оқу

  12. Герхард Гентцен: Математик және тағдырының трагедиясы

    Герхард Гентцен – неміс математигі, математика негіздеріне, дәлелдеу теориясына үлкен үлес қоскан. Табиғи шешінді және тізбекті есептеуді дамытты. Соғыстан кейін тұтқынға алынып, ашаршылықтан қайтыс болды.

    #10835 · 2 мин оқу

  13. Сол Аарон Крипке: Американ философ және логигісінің өмірі мен еңбектері

    Сол Крипке (1940-2022) – американ философ және логик, 20 ғасырдың ең маңызды ойшылдарының бірі. Логика, тіл философиясы, метафизика саласындағы еңбектері.

    #11277 · 11 мин оқу

  14. Фридрих Людвиг Готлоб Фреге: Өмір және еңбектері

    Готлоб Фреге: неміс философы, логигі, математигі (1848-1925). Логика, математика, арифметика негіздері,Begriffsschrift еңбектері туралы ақпарат.

    #11374 · 10 мин оқу

  15. Алондзо Черч: Математик және компьютерлік ғылымның негізін қалаушысы

    Ало́нзо Чёрч (1903-1995) – американ математигі, компьютерлік ғылымның негізін қалаушы. Ламбда-есептеу, Чёрч-Тьюринг тезисі, және т.б. зерттеулерімен танымал.

    #11657 · 3 мин оқу

  16. Рэймонд Смаллиан: Математик, логик және көп қырлы тұлға

    Рэймонд Смаллиан: американ математигі, логик, философ, және әртіс. Өмірі, білімі, жұмыстары туралы ақпарат. Логика, математика, философия сарапшыларына арналған.

    #13228 · 3 мин оқу

  17. Альфред Тарский: өмірі мен ғылыми еңбектері

    Альфред Тарский (1901-1983) – поляк-американ математигі, логик және модельдер теориясының негізін қалаушы. Математика мен философияға зор үлес қосты.

    #14029 · 9 мин оқу

  18. Логика тарихы: даму жолы мен эволюциясы

    Логика тарихы: ежелгі Греция, Қытай және Үндістандағы дамуы, Аристотель логикасы, орта ғасырдағы жетістіктері. Саналы ойлау ғылымы.

    #14033 · 26 мин оқу

  19. Вильгельм Фридрих Аккерман: Неміс математигі және логигі

    Вильгельм Аккерманн – неміс математигі, логик және есептеу теориясындағы маңызды Аккерман функциясын жасаған ғалым. Өмірбаяны, еңбектері туралы ақпарат.

    #14712 · 1 мин оқу

  20. Жак Эрбран: Француз математигінің өмірі мен еңбектері

    Жак Эрбран: француз математигі, логика мен сыныптық дала теориясындағы зерттеуші. Рекурсивті функцияларды енгізген, қатысты теоремалар авторы. (1908-1931)

    #49708 · 2 мин оқу

  21. Дана Скотт: Американдық логик және информатика ғалымы

    Дэна Скотт – америкалық логик, Тьюринг сыйлығының иегері (1976). Автоматтар теориясы, программалау тілдерінің семантикасы, логика саласындағы еңбектері.

    #50138 · 3 мин оқу

  22. Математика негіздері: Гильберт және Бернайс еңбектерінің зерттелуі

    Математика негіздері: Гильберт пен Бернайс кітабы – математиканың философиялық, логикалық және алгоритмдік негіздерін зерттейді. Базалық ұғымдар мен құрылымдар.

    #51770 · 20 мин оқу

  23. Л.Э.Й. Брувер: Голланд математигі және логигісінің өмірі мен еңбектері

    Бертус Брауэр: Голланд математигі, топология, жиын теориясы және интуиционизмнің негізін қалаушы. 20 ғ-дың ең ірі математиктерінің бірі.

    #52550 · 3 мин оқу

  24. Математиканы зерттеу және метаматематика

    Математиканы математикалық әдістермен зерттеу: метаматематика, негіздерін анықтау, жүйе ішіндегі және сыртындағы логикалық ойлау. Гильберт қадамдары.

    #55081 · 5 мин оқу

  25. Веналық шеңбер: Логикалық эмпиризм және ғылым философиясы

    Вена шеңбері: 1924-1936 ж. философтар мен ғалымдар тобы. Логикалық эмпиризм, ғылым философиясы, талдау философиясы. Әсері зор, маңызды идеялар.

    #62866 · 15 мин оқу

  26. Макс Блэк: Британ-американ философының өмірі мен еңбектері

    Макс Блэк (1909-1988) – британ-американдық философ, аналитикалық философиядағы маңызды тұлға. Тіл, математика, ғылым және өнер философиясына үлкен үлес қосты.

    #75167 · 2 мин оқу

  27. Криспин Райт: Философиялық өмір жолы мен еңбектері

    Британ философы Урайттың өмірі мен білімі: Cambridge, Oxford-тағы жолы, St. Andrews және NYU-дағы профессорлық қызметі. Философия, логика, метафизика.

    #75169 · 3 мин оқу

  28. Джон Рэндолф Лукас: Британ философтың өмірі мен еңбектері

    Джон Рэндолф Лукас (1929-2020) – британдық философ, математик және логик. Оксфордта білім алған, Princeton-да зерттеулер жүргізген. Философия тарихы.

    #76632 · 1 мин оқу

  29. Леонард Нельсон: философ, математик және әлеуметшіл

    Леонард Нельсон (1882-1927): неміс философы, математигі, социалисті. Неокантиандық мектеп өкілі, Греллинг-Нельсон парадоксын жасаған. ISK ұйымының негізқалаушысы.

    #81640 · 5 мин оқу

  30. Джордж Булос: Американ философ және математикалық логик

    Джордж Булос – америкалық философ, математикалық логик. MIT-де оқытқан, Гёдельдің толымсыздық теоремасын дәлелдеген ғалым. Биографиясы туралы ақпарат.

    #82040 · 9 мин оқу

  31. Математика философиясында логицизм бағдарламасы

    Математика философиясы: логицизм бағдарламасы – математиканың логикаға толық немесе ішінара келтірілуі. Фреге, Рассел, Уайтхед, Дедекинд есімдерімен байланысты.

    #83700 · 15 мин оқу

  32. Соломон Феферман: Философ, математик және логик ғалымы

    Соломон Феферман (1928-2016) – американ философ және математик, логика, есептеу теориясы және жиын теориясы бойынша жұмыстар авторы. Өмірбаяндары, математика философиясы.

    #84525 · 2 мин оқу

  33. Леон Альберт Хенкин: Американдық логик және математик өмірі мен еңбектері

    Леон Хенкин: Американ математигі, логика теориясын дамытқан, формалды жүйелердің толықтығын дәлелдеген ғалым. UC Berkeley-дегі еңбектері мен әлеуметтік көзқарастары.

    #84666 · 16 мин оқу

  34. Элизабет Пост: Математик және логик, өмір жолы мен ғылыми еңбектері

    Эмери Пост – американ математигі, 1917 ж. City College of New York-ты бітірген. Автокөлік апатынан қолын жоғалтқан соң, астрономиядан математикаға көшкен. Математика тарихы.

    #85632 · 3 мин оқу

  35. Рут Баркан Маркус: Американ философ және модальды логиктердің дамуы

    Рут Баркан Маркус – американ философ, квантты модальды логиканың формалды жүйесін жасаған және Баркан формуласын енгізген ғалым. Философия тарихы.

    #86689 · 5 мин оқу

  36. Эдуард Нельсон: Американ математигінің өмірі мен еңбектері

    Эдвард Нельсон (1932-2014) – американ математигі, Принстон университетінің профессоры. Математикалық физика, логика, формализм сарапшысы.

    #89645 · 2 мин оқу

  37. Дэвид Келлогг Льюис: Американ философының өмірі мен еңбектері

    Дэвид Келлогг Льюис (1941-2001) – американ философ, акыл, логика, ғылым, математика саласындағы маңызды тұлға. Философия бойынша сарапшыларға арналған мақала.

    #90645 · 10 мин оқу

  38. Станислав Лесневский: Польшалық математик, философ және логик

    Станислав Лесневский – польский математик, философ, логик. Основатель Львовско-Варшавской школы логики, ученик Твардовского и Серпинского. Биография.

    #95785 · 2 мин оқу

  39. Жаңазеландиялық философ және логик ғалымның өмірі мен еңбектері

    Жаңазеландиялық философ, Роутлидің логика мен семантикадағы еңбектері, дәстүрлі емес логиканы дамытуға үлкен үлес қосты. Пристпен байланысы да бар.

    #97724 · 2 мин оқу

  40. Көптік квантификация теориясы

    Математикалық теория: Бірнеше квантификация – логикадағы айнымалыларға жеке және жиындық мәндерді қою мүмкіндігі. Жиын теориясын қажетсіздендіреді.

    #99655 · 1 мин оқу

  41. Ричард Монтегю: Математик, философ және тіл біліміндегі жаңашыл

    Ричард Монтегю: американ математигі, тіл философиясы мен математикалық логикаға үлес қосып, Монтегю грамматикасын жасаған. ЗФҚ теориясын дамытқан.

    #123573 · 2 мин оқу

  42. Бертранд Расселдың логикалық атомизмі: философиялық талдау

    Бертранд Расселдың логикалық атомизмі: әлемді құрайтын бөлшексіз логикалық фактілер туралы философиялық көзқарас. Витгенштейн, Вена үйірмесінің де ықпалында болды.

    #125548 · 9 мин оқу

  43. Моисей Шейнфинкель: Логик және математик өмірі мен еңбектері

    Моисей Шейнфинкель: ресейлік логик, математик, комбинаторлық логиканың авторы. Өмірбаяны, отбасы мүшелері туралы ақпарат. Логика тарихы.

    #143440 · 2 мин оқу

  44. Лейбництің «Есептеуші калькуляторы»: Логикалық есептеулер мен машиналар тарихы

    Лейбництің «calculus ratiocinator» тұжырымдамасы – әмбебап логикалық есептеу жүйесі. Математикалық логикаға, программалық жасақтамаға негізделгендігі жайлы ақпарат.

    #154210 · 2 мин оқу

  45. Дәлелдер мен Нақтыламалар: Математикалық Ашулар Логикасы

    Имре Лакатостың «Дәлелдер мен нақтыламалар» кітабы математиканың даму логикасын зерттейді. Формализмге сын, дәлелдер мен жаңылыстар арқылы білімнің өсуі талданды.

    #154966 · 2 мин оқу

  46. Кристоф фон Зигварт: Неміс философы және логигісі

    Кристоф Зигварт (1830-1904) – неміс философы, логик. «Логик» еңбегі логикалық теорияға үлкен үлес қосты. Өмірбаяны, философиялық көзқарастары туралы ақпарат.

    #155412 · 2 мин оқу

  47. Фрегенің «Ұғым жазуы»: Логиканың негіздері

    Готлоб Фрегенің 1879 ж. шығарған «Begriffsschrift» кітабы – логиканың формальды жүйесі, аналитикалық философияның бастауы. Математика негіздерін зерттеуде маңызды.

    #157303 · 2 мин оқу

  48. Казимеж Айдукевич: Польшалық философ және логик

    Казимеж Айдукевич – польский философ, логик, Лвовско-Варшавской школы. Категориальная грамматика, семантика, философия науки – его вклад в лингвистику.

    #157347 · 1 мин оқу

  49. Кеннет Барвайз: Математик, философ және логик өмірі мен еңбектері

    Кеннет Барвайз – американ математигі, философ және логик. Логиканы түсінудегі жаңа өзгерістерді ұсынды, тіл мен ақпаратты зерттеу орталығын басқарды.

    #158938 · 2 мин оқу

  50. Леон Хвистек: философ, математик және өнер теоретигі

    Леон Хвистек: польский философ, математик, теоретик искусства. Основатель Польского мат. общества, профессор логики. Книга "Пределы науки".

    #172771 · 1 мин оқу

  51. Хао Ван: Логик, философ және математик өмірі мен еңбектері

    Хао Ван – Қытай-Америкалық логик, философ, математик. Гёдель туралы зерттеуші, білімімен АҚШ-та дамыған ғалымның өмірбаяны. (160)

    #175839 · 2 мин оқу

  52. Луи Кутура: Логик, математик және тіл біліміндегі зерттеулер мен еңбектері

    Луи Кутура: француздық логик, математик, философ және тіл білгісі. Ido тілін жасаушы, трансфинит сандарды қолдаушы ғалым. Биографиясы мен еңбектері.

    #179432 · 2 мин оқу

  53. Аренд Хейтинг: Голланд математигі мен логигі

    Аренд Хейтинг (1898-1980) – голланд математигі және логигі. Интуиционистік логиканы дамытуға үлкен үлес қосты, математикалық логикаға негіз салды. 🔍📚

    #190634 · 2 мин оқу

  54. Математика философиясындағы интуиционизм алдындағы мектеп

    Математика философиясы: Преинтуиционистер мектебі – Пуанкаре, Борель, Лебег есімдерімен байланысты. Математиканың табиғаты, тіл мен логикаға тәуелсіздігі туралы ойлар.

    #192452 · 2 мин оқу

  55. Ньюэл Динсмор Белнэп: Американ философ және логик ғалымы

    Ньюэл Динсмор Белнэп – америкалық философ, логика, уақыт логикасы және құрылымдық дәлелдеме теориясы саласындағы маңызды ғылыми еңбектердің авторы. 🇺🇸📚

    #198919 · 2 мин оқу

  56. Карл Хемпель: Өмірі мен ғылыми еңбектерінің шолуы

    Карл Хемпель – неміс философы, логик және ғылым философы. Математика, физика, философияны зерттеген. Вена үйірмесімен байланысты болған.

    #211549 · 3 мин оқу

  57. Львов-Варшава мектебі: философия, логика және психология мектебі

    Львов-Варшава мектебі: философия, логика, психология бағыттарындағы маңызды мектеп. Казимирж Твардовский негізін қалаған, әйгілі логиктерді тәрбиелеген.

    #216139 · 1 мин оқу

  58. Пол Джозеф Бенацераф: Американ философының өмірі мен еңбектері

    Пол Джозеф Бенацераф (1931 ж.т.), американдық философ, өмірі мен білім жолы. Париж, Каракас, Нью-Йорк, Принстон университетінде оқыды. Философия тарихы.

    #216679 · 3 мин оқу

  59. Дэвид Каплан: Тіл мен логиканың американ философы

    Дэвид Каплан – америкалық философ, тіл философиясы, логика, метафизика сарапшысы. Фреге, Рассел еңбектерін зерттеген. Нақтылық, мағына тақырыбындағы еңбектерімен танымал.

    #221510 · 6 мин оқу

  60. Нидерланд философы, логигі және ғалымы Йохан ван Бентхем

    Йохан ван Бентем – голланд философ, логик, Амстердам және Стэнфордтағы профессоры. Логика, тіл, философия саласындағы зерттеуші. Spinozapremie жүлдесінің иегері.

    #223246 · 1 мин оқу

  61. Хартри Филд: Американ философының ғылыми еңбектері

    Хартри Филд – американдық философ, ғылым, математика, эпистемология және сана философиясы саласындағы маңызды ғылымсары. Биографиясы мен еңбектері.

    #226630 · 1 мин оқу

  62. Курд Греллинг: өмір және еңбек жолы

    Курд Греллинг (1886-1942) – неміс логигі және философы, Берлин тобының мүшесі. Рассел парадоксын шешуге тырысып, Греллинг-Нельсон парадоксын ашты.

    #229203 · 3 мин оқу

  63. Каарло Хинтикка: Финн философы мен логигі

    Каарло Хинтикка: финн философ, логик, формалды эпистемика логикасын және логиканың ойын семантикасын қалаған. Геогр Генрик фон Вриттің шәкірті.

    #244260 · 3 мин оқу

  64. Фридрих Вайсман: Веналық шеңбер және логикалық позитивизмнің теоретигі

    Фридрих Вайсманн – австриялық философ, математик, физик. Вена шеңберінің мүшесі, логикалық позитивизмнің негізгі теоретигі. Өмірбаяны, еңбектері туралы ақпарат.

    #245576 · 2 мин оқу

  65. Чарльз Дакер Парсонс: Американ философының өмірі мен еңбектері

    Чарльз Парсонс (1933-2024) – америкалық философ, математика философиясы және Кантты зерттеумен танымал. Гарвард университетінің профессоры. Философия бойынша PhD.

    #254764 · 1 мин оқу

  66. Жозеф Амади Гогуэн: Американдық ғалымның өмірі мен еңбектері

    Жозеф Гогуэн – американдық ғалым, тұманды логиканы дамытушы, институттар теориясының авторы. Компьютер ғылымындағы зерттеулері мен үлесі туралы оқыңыз.

    #262001 · 1 мин оқу

  67. Пер Эрик Мартин Лёф: Логик, философ және математик-статистик ғалымның өмірі мен еңбектері

    Мартин Лёф – швед философ, логик, математик. Ықтималдық, статистика, логика, компьютер ғылымы негіздерін зерттейді. Интуиционистік теориясы әсерлі.

    #264933 · 10 мин оқу

  68. Ласло Калмар: Венгр математигі және логиканың негізін қалаушысы

    Ласло Калмар: венгр математигі (1905-1976). Венгрияда математикалық логика мен теориялық информатиканың негізін қалаушы, Сегед университетінің профессоры.

    #270829 · 2 мин оқу

  69. Логикалық объективизм және психологиялизм дауы

    Логикадағы антипсихологизм: логикалық шындық адам ойларына тәуелсіз, объективті екенін көрсетеді. Кант, Больцано, Фреге еңбектерінен бастау алады.

    #273863 · 2 мин оқу

  70. Алиса Амброуз Лазеровиц: Американ философ, логик және жазушысы

    Алиса Лазеровиц (1906-2001) – американ философ, логик, автор. Витгенштейнмен байланысы, философия және тіл зерттеулері туралы мақалалар.

    #281901 · 2 мин оқу

  71. Жан Луи Макс ван Хейеноорт: Математикалық логик және Троцкийдің хатшысы

    Жан Луи Макс ван Хейеноорт – математикалық логика тарихшысы, Леон Троцкийдің хатшысы (1932-1939). Өмірі, биографиясы, және отбасы тарихы туралы ақпарат.

    #283776 · 4 мин оқу

  72. Эверт Виллем Бет: Голланд философ және логик ғалымы

    Эверт Виллем Бет: Нидерланд философы, математика мен логика негіздерін зерттеген ғалым. Өмірі мен білімі туралы мағлұматтар.

    #287104 · 2 мин оқу

  73. Пауль Лоренцен: өмір және еңбек жолы

    Пол Лоренцен (1915-1994) – неміс философы, математик, Эрланген мектебінің негізін қалаушы. Ойын семантикасын ойлап тапты, соғыс кезінде кодты бұзумен айналысты.

    #301500 · 2 мин оқу

  74. Ирландиялық логик және математик: К.А. Мередит өмірі мен еңбектері

    Ирландиялық логик C.A. Meredith (1904-1976) өмірі мен еңбектері. Қысыңқы бөлгіш, Łukasiewicz еңбектері, Ирландия Конституциясы тарихы туралы ақпарат.

    #323730 · 1 мин оқу

  75. Психологизм: философиялық көзқарас және түрлері

    Психологизм – философия, зерттейтін психологиялық фактілердің метафизика, эпистемология, логика негіздерін. Джон Локк еңбектерінен бастау алады.

    #323991 · 1 мин оқу

  76. Richard Milton Martin

    #343588 · 4 мин оқу

  77. Франсиско Миро Кесада Кантуариас: Өмір және философиялық мұрасы

    Франсиско Миро Кесада Кантуариас (1918-2019) – перуанилік философ, журналист, саясаткер. Парадоксалды логиканы қалыптастырушы, философия саласындағы маңызды тұлға.

    #346770 · 2 мин оқу

  78. Генри Морис Шеффер: Американдық логик және Шеффер штрихінің авторы

    Генри Морис Шеффер (1882-1964) – американдық логик, философ. Өмірі, білімі, Harvard университетіндегі жолы және оқытушылық қызметі туралы ақпарат.

    #353544 · 2 мин оқу

  79. Грэм Прист: философ, логик және қарате шебері

    Грэм Прист – британский философ, логик, защитник диалетеизма. Парадоксы, неклассическая логика, парасогласованность. Биография, образование, научные работы.

    #398801 · 1 мин оқу

  80. Жан-Ив Безио: Логик және Универсалды Логика сардары

    Жан-Ив Безио – Бразилиядағы логика профессоры, философ. Паракөңістік логика, оппозиция шаршысы, әмбебап логика салаларындағы зерттеуші. 🔍📚

    #398994 · 3 мин оқу

  81. Кассиус Джексон Кейзер: Американ математигі және философы

    Кассиус Джексон Кизер: Американ математигі, философ. Білімі, оқу жолы, мансабы және ғылыми дәрежелері туралы ақпарат. Математика тарихы.

    #403676 · 1 мин оқу

  82. Символдық логика қауымдастығы

    Ассоциация символической логики (ASL) – халықаралық математикалық және философиялық логика мамандарының ұйымы. Жыл сайын конференциялар өткізеді.

    #405551 · 2 мин оқу

  83. Рональд Бьёрн Йенсен: Американдық математик және оның еңбектері

    Рональд Йенсен – американ математигі, логика және жиын теориясы бойынша жұмыстарымен танымал. 1936 ж. туған, Германияда тұрады. Биографиясы мен еңбектері.

    #406460 · 1 мин оқу

  84. Алан Росс Андерсон: Маңызы бар логиканың дамуына үлес қосқан американдық логик

    Алан Росс Андерсон (1925-1973) – американдық логик, релеванттылық логикасы мен деонтикалық логиканы дамытуға үлкен үлес қосып, философия профессоры болған.

    #406829 · 1 мин оқу

  85. Эдвард Джон Леммон: Британдық логик және философ

    Эдвард Джон Леммон – британдық логик, модальды логика бойынша жұмыстарымен танымал. Өмірі, білімі, және қайтыс болу себебі туралы ақпарат.

    #414304 · 1 мин оқу

  86. Артур Пап: Аналитикалық философияның өкілі

    Артур Пап (1921-1959) – швейцар аналитикалық философы. Аналитикалық философия, оның мәні және қоғамға әсері туралы еңбектер авторы. Философия, логика сарапшысы.

    #419280 · 2 мин оқу

  87. Пенилопа Мэдди: Математика және философиядағы реализм мен натурализм

    Пенелопа Мэдди – американ философ, математика мен ғылымының философиясы сарапшысы. Математикалық реализм, табиғаттану және жиын теориясы туралы еңбектерімен танымал.

    #419570 · 2 мин оқу

  88. Дат философы Винсент Ф. Хендрикс және оның ғылыми еңбектері

    Дат философы Винсент Хендрикс: формалды философия, логика, эпистемология, білім теориясы және ақпарат көпіршіктерін зерттеу саласындағы сарапшы.

    #421637 · 2 мин оқу

  89. Пьерджорджо Одифредди: Математик, логик және ойшыл

    Пьерджорджо Одифредди – италияндық математик, логик, ғылым тарихы саршысы. Атеизм, рационализм, философия туралы еңбектерімен танымал.

    #424584 · 3 мин оқу

  90. Питер Брюс Эндрюс: Американ математигі және логиктер теориясының зерттеушісі

    Питер Брюс Эндрюс – америкалық математик, Q0 логикасын жасаған. Карнеги Меллон университетінің профессоры, Herbrand жүлдесінің иегері (2003).

    #425518 · 1 мин оқу

  91. Ричард Джеффри: Американдық логик және философ

    Ричард Джеффри – американ философ, логик, салымдық теорияның маманы. Радикалды ықтималдық философиясын және Джеффри шарттауын жасаған. 🔍📚

    #434798 · 2 мин оқу

  92. Станислав Яськовский: Польшалық логик және философ

    Станислав Яськовский – польский логик, соавтор натуральной дедукции и парасогласованной логики. Ученик Лукасевича, член Львовско-Варшавской школы логики.

    #435368 · 1 мин оқу

  93. Ирвинг Копи: Американ философ және логик ғалымы

    Ирвинг Копи – американ философ, логик, автор учебников. Изучал логику у Рассела, внес вклад в логические матрицы. Биография, научные работы.

    #437944 · 2 мин оқу

  94. Павел Тихий: Логик, философ және математик өмірі мен еңбектері

    Павел Тихий: чех логигі, философ және математигі. Ішкі логиканы негіздеді, тілдік талдау теориясын жасады. "Фреге логикасының негіздері" еңбегі.

    #449924 · 2 мин оқу

  95. Nicolai A. Vasiliev

    #462444 · 2 мин оқу

  96. Ivan Orlov (philosopher)

    #462451 · 2 мин оқу

  97. Neil Tennant (philosopher)

    #468302 · 1 мин оқу

  98. Burton Dreben

    #477214 · 8 мин оқу

  99. Andrzej Trybulec

    #482053 · 2 мин оқу

  100. John Etchemendy

    #494190 · 2 мин оқу