Студопедия
Новини освіти і науки:
МАРК РЕГНЕРУС ДОСЛІДЖЕННЯ: Наскільки відрізняються діти, які виросли в одностатевих союзах


РЕЗОЛЮЦІЯ: Громадського обговорення навчальної програми статевого виховання


ЧОМУ ФОНД ОЛЕНИ ПІНЧУК І МОЗ УКРАЇНИ ПРОПАГУЮТЬ "СЕКСУАЛЬНІ УРОКИ"


ЕКЗИСТЕНЦІЙНО-ПСИХОЛОГІЧНІ ОСНОВИ ПОРУШЕННЯ СТАТЕВОЇ ІДЕНТИЧНОСТІ ПІДЛІТКІВ


Батьківський, громадянський рух в Україні закликає МОН зупинити тотальну сексуалізацію дітей і підлітків


Відкрите звернення Міністру освіти й науки України - Гриневич Лілії Михайлівні


Представництво українського жіноцтва в ООН: низький рівень культури спілкування в соціальних мережах


Гендерна антидискримінаційна експертиза може зробити нас моральними рабами


ЛІВИЙ МАРКСИЗМ У НОВИХ ПІДРУЧНИКАХ ДЛЯ ШКОЛЯРІВ


ВІДКРИТА ЗАЯВА на підтримку позиції Ганни Турчинової та права кожної людини на свободу думки, світогляду та вираження поглядів



Сучасна логіка

Вчений та його праці Предмет дослідження та внесок у розвиток логіки
Дж. Буль (1815–1864 рр.) “The Mathematical Analysis of Logic” Один із засновників математичної логіки. Завдяки алгебро-логічному методу виявив нові типи висновків, що не враховувались у традиційній силогістиці

 

О. де Морган (1806–1871 рр.) “First notions of Logic” Заснував логічний аналіз відношень, сформулював основні принципи логіки висловлювань і логіки класів
Г. Фреге (1848–1925 рр.) “Основні закони арифметики” Заклав основи логічної семантики, розробив розширене числення предикатів; увів поняття логічної функції та розрізнення властивостей речей і відношень; вперше застосував символи для позначення кванторів; розкрив відмінність між значенням і смислом мовних виразів
Ч.-С. Пірс (1839–1914 рр.) Родоначальник семіотики (загальної теорії знаків); сформулював закони матеріальної імплікації
Д. Гілберт (1862–1943 рр.) Здійснив строго аксіоматичну побудову геометрії Евкліда
А-Н. Уайтхед (1861–1947 рр.) Б. Рассел (1872–1970 рр.) “Принципи математики” Розвинули математичну логіку способом аксіоматизації й формалізації числень висловлювань
Дж. Пеано (1958–1932 рр.) “Formulaire de mathimatiuques” (“Формуляр математики”) Завдяки його ідеям було здійснено перехід від старої алгебри логіки до математичної в її сучасному вигляді
П. Порецький (1846–1907 рр.) “Виклад основних начал математичної логіки в більш наочній і доступній формі”, “Теорія логічних рівносильностей з трьома членами” Узагальнив і розвинув досягнення попередників у сфері алгебри логіки; узагальнив теорії силогістики традиційної логіки, проаналізував деякі несилогістичні міркування

 



Читайте також:

  1. Active-HDL як сучасна система автоматизованого проектування ВІС.
  2. Аргументація і пралогіка
  3. Влада: зміст і сучасна концептуалізація
  4. ВП – як сучасна форма організації підприємств
  5. ГЛОБАЛЬНИЙ ЕВОЛЮЦІОНІЗМ І СУЧАСНА НАУКОВА КАРТИНА СВІТУ
  6. Діалектична логіка
  7. Еволюція грошей. Сучасна грошова система
  8. Загальна логіка наукового звіту
  9. Інтегральна інжекційна логіка
  10. Категоричний імператив Іммануїла Канта та його сучасна критика
  11. Лекція 10. Сучасна практика реконструкції історичних міст
  12. Лекція 11. Сучасна Україна (1991 – 2005 рр.).




Переглядів: 619

<== попередня сторінка | наступна сторінка ==>
Логіка епохи Відродження | ТЕМА: Поняття

Не знайшли потрібну інформацію? Скористайтесь пошуком google:

  

© studopedia.com.ua При використанні або копіюванні матеріалів пряме посилання на сайт обов'язкове.


Генерація сторінки за: 0.005 сек.