Студопедия

Новини освіти і науки:

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

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

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

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

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

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

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

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

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

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

Контакти

Тлумачний словник
Авто
Автоматизація
Архітектура
Астрономія
Аудит
Біологія
Будівництво
Бухгалтерія
Винахідництво
Виробництво
Військова справа
Генетика
Географія
Геологія
Господарство
Держава
Дім
Екологія
Економетрика
Економіка
Електроніка
Журналістика та ЗМІ
Зв'язок
Іноземні мови
Інформатика
Історія
Комп'ютери
Креслення
Кулінарія
Культура
Лексикологія
Література
Логіка
Маркетинг
Математика
Машинобудування
Медицина
Менеджмент
Метали і Зварювання
Механіка
Мистецтво
Музика
Населення
Освіта
Охорона безпеки життя
Охорона Праці
Педагогіка
Політика
Право
Програмування
Промисловість
Психологія
Радіо
Регилия
Соціологія
Спорт
Стандартизація
Технології
Торгівля
Туризм
Фізика
Фізіологія
Філософія
Фінанси
Хімія
Юриспунденкция

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

Вчений та його праці	Предмет дослідження та внесок у розвиток логіки
Дж. Буль (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 рр.) “Виклад основних начал математичної логіки в більш наочній і доступній формі”, “Теорія логічних рівносильностей з трьома членами”	Узагальнив і розвинув досягнення попередників у сфері алгебри логіки; узагальнив теорії силогістики традиційної логіки, проаналізував деякі несилогістичні міркування

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

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

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

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

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

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