Інтуїціоністська логіка це що таке інтуїціоністська логіка визначення

Знайдено 4 визначення термінаІНТУІЦІОНІСТСЬКА ЛОГІКА

ІНТУЇЦІОНІСТСЬКА ЛОГІКА

форма логіки предикатів (або логіки висловлювань), що включає лише такі логічні закони, які прийнятні з т. зр. концепції інтуїціонізму. Системи І. л., побудовані гол. вченим А. Гейтинг (1930) і раніше (виходячи з інтуїціоністських передумов) сов. математиком В. І. Глівенком (1928), відрізняються від відповідностей. систем класич. логіки гол. обр. відсутністю виключеного третього принципу. також Конструктивний напрямок.

ІНТУЇЦІОНІСТСЬКА ЛОГІКА

- Одна з найважливіших гілок логіки некласичної, що має своєю філософською передумовою програму інтуїціонізму. Висуваючи першому плані математичну інтуїцію, інтуїціоністи не надавали великого значення систематизації логічних правил. Тільки в 1930 р. голландський математик і логік А. Гейтінг - учень творця інтуїціонізму Л. Брауера - дав аксіоматичне формулювання І. Л., наголосивши, що "інтуїціонізм розвивається незалежно від формалізації, яка може йти тільки слідами математичної конструкції". У І. л. не діє закон виключеного третього, а також низка інших законів класичної логіки, що дозволяють доводити існування об'єктів, які неможливо реалізувати або обчислити. Серед таких законів - закон (зняття) подвійного заперечення та закон приведення до абсурду.

Відкидання закону виключеного третього означає прийняття заперечення цього закону; навпаки, І. л. стверджує, що заперечення заперечення цього закону (його подвійне заперечення) є вірним. Відкидання не повинно розумітися також як запровадження якогось третього істинного значення, проміжного між істиною та брехнею.

Укласичну логіку центральну роль грає поняття істини. На його основі визначаються логічні зв'язки, що дозволяють будувати складні висловлювання. У І. л. зміст зв'язок задається шляхом зазначення тих необхідних та достатніх умов, за яких може затверджуватись складне висловлювання.

Якщо р і q - деякі висловлювання, їх кон'юнкцію (р і q) можна стверджувати, тільки якщо можна стверджувати як р, і q. Диз'юнкцію (р або q) можна стверджувати тоді і лише тоді, коли можна стверджувати хоча б одне із висловлювань р і q. Математичне висловлювання р можна затверджувати лише після проведення деякої математичної побудови з певними властивостями; відповідно заперечення р можна стверджувати, якщо тільки якщо є побудова, що призводить до суперечності припущення про те, що побудова р виконано. Поняття суперечності тут приймається як невизначуване, практично суперечність завжди можна привести до форми 1 = 2. Імплікацію (якщо р, то q) можна стверджувати, тільки якщо є така побудова, яка, будучи поєднана з побудовою р, автоматично дає побудову q.

Інтуїціоністське розуміння логічних зв'язок таке, що з доказу істинності висловлювання завжди можна отримати спосіб побудови об'єктів, існування яких затверджується.

І. л. є єдиною з некласичних логік, у рамках якої проводилася досить послідовна та глибока розробка багатьох розділів математики. Ця логіка дозволяє тонко і точно досліджувати важке і важливе питання характер існування об'єктів, досліджуваних в математиці.

Ідеї, що стосуються обмеженої додатності законів виключеного третього, зняття подвійного заперечення, редукції до абсурду та пов'язаних з ними способів математичногопідтвердження, розроблялися русявий. математиками А. Н. Колмогоровим (1903-1985), В. І. Глівенко (1897-1910), А. А. Марковим (1903-1979), Н. А. Шаніним (нар. 1919) та ін. В результаті критичного переосмислення основних принципів І.Л. виникла конструктивна логіка, що також вважає неправильним перенесення низки логічних принципів, застосовних у міркуваннях про кінцеві множини, на область нескінченних множин.

інтуїціоністська логіка

Знайдено схеми по теміІНТУІЦІОНІСТСЬКА ЛОГІКА — 0

Знайдено наукові статті на темуІНТУІЦІОНІСТСЬКА ЛОГІКА — 0

Знайдено книг на темуІНТУІЦІОНІСТСЬКА ЛОГІКА — 0

Знайдено презентацій на темуІНТУІЦІОНІСТСЬКА ЛОГІКА — 0

Знайдено рефератів на темуІНТУІЦІОНІСТСЬКА ЛОГІКА — 0

Дізнайся вартість написання

Шукаєте реферат, курсову роботу, дипломну роботу, контрольну роботу, звіт з практики чи креслення? Дізнайся вартість!