Минимальная логика - Definition. Was ist Минимальная логика
Diclib.com
Wörterbuch ChatGPT
Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆
Sprache:

Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT

Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:

  • wie das Wort verwendet wird
  • Häufigkeit der Nutzung
  • es wird häufiger in mündlicher oder schriftlicher Rede verwendet
  • Wortübersetzungsoptionen
  • Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
  • Etymologie

Was (wer) ist Минимальная логика - definition


Минимальная логика         

логическая система, являющаяся ослаблением интуиционистской логики (См. Интуиционистская логика) и конструктивной логики (См. Конструктивная логика) за счёт исключения из числа постулатов формулы ⌉А ⊃ (А ⊃ В) (интерпретируемой как "из противоречия следует всё что угодно"). Несмотря на недоказуемость этого логического принципа и тем более формулы ⌉ ⌉ А ⊃ А ("закона снятия двойного отрицания"), в минимальном исчислении высказываний (А. Н. Колмогоров, 1925, норвежский логик И. Иоганссон, 1936) можно доказать от противного отрицательные предложения, опираясь на "закон приведения к абсурду": (А ⊃ В) ⊃ ((A ⊃ ⌉ В) ⊃ ⌉ А). Эту систему можно обычным образом расширить до минимального исчисления предикатов, играющего важную роль в работах по основаниям математики: его логические средства (хотя это явно и не оговаривается) используются, например, в доказательствах непротиворечивости (См. Непротиворечивость) классической арифметики, предложенных немецкими логиками Г. Генценом (1936, 1938) и К. Шютте (1951) и П. С. Новиковым (1943) (см. Метаматематика). Это исчисление используется также как логическая база метатеории (См. Метатеория) в работах по ультраинтуиционистскому обоснованию математики (см. Аксиоматическая теория множеств, Аксиоматический метод). Ослабление (сужение) М. л. посредством исключения из числа аксиом "закона приведения к абсурду" приводит к положительной логике (См. Положительная логика).

Лит.: Колмогоров А. Н., О принципе tertium non datur, "Математический сборник", 1925, т. 32, в. 4, с. 646-67; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, с. 94, 490-91; Johansson J., Der Minimalkalkül, ein reduzierter Formalismus, "Compositio mathematica", 1937, v, 4, fasc. 1; Wajsberg M., Untersuchungen über den Aussagenkalkül von A. Heyting, "Wiadomosci Mathematyczne", 1939, t. 46.

Ю. А. Гастев.

Минимальная логика         
Минимальная логика — это специальная логическая система, в которой при операциях с высказываниями не применяется ни закон исключённого третьего, ни то следствие, вытекающее из закона противоречия, по которому из противоречия следует всё что угодно.
Троичная логика         
ОДИН ИЗ ВИДОВ МНОГОЗНАЧНОЙ ЛОГИКИ
Трехзначная логика; Трёхзначная логика; Логика Клини
Трои́чная ло́гика (трёхзначная логика или тернарная логика) — один из видов многозначной логики, предложенный Яном Лукасевичем в 1920 году. Трёхзначная логика — исторически первая многозначная логика, является простейшим расширением двузначной логики.

Wikipedia

Минимальная логика

Минимальная логика — это специальная логическая система, в которой при операциях с высказываниями не применяется ни закон исключённого третьего, ни то следствие, вытекающее из закона противоречия, по которому из противоречия следует всё что угодно.

С точки зрения всеобщей применимости минимальная логика является результатом пересмотра, принципов классической логики.

Was ist Миним<font color="red">а</font>льная л<font color="red">о</font>гика - Definition