Matches in SemOpenAlex for { <https://semopenalex.org/work/W2252318557> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W2252318557 abstract "Ряд предшествующих работ автора [2, 3, 21–23] был посвящен изучению класса Jhn нетривиальных расширений минимальной логики (или логики Иогансона). Минимальная логика, которую мы будем обозначать Lj, была предложена впервые А.Н. Колмогоровым [1], однако получила название «логика Иогансона» после работы И. Иогансона [16]. Минимальная логика является паранепротиворечивым аналогом интуиционистской логики Гейтинга Li. Эти логики имеют общий позитивный фрагмент, но различные аксиомы для отрицания. В логике Li отрицание определяется законами (p ⊃ q) ⊃ ((p ⊃ ¬q) ⊃ ¬p) (reductio ad absurdum или сведение к абсурду) и ¬p ⊃ (p ⊃ q) (ex contradictione quodlibet или противоречие влечет все, что угодно), тогда как в традиционной аксиоматике логики Lj присутствует только первая из приведенных аксиом. Таким образом, минимальная логика допускает противоречивые, но нетривиальные теории и, тем самым, является паранепротиворечивой в соответствии с общепринятым определением паранепротиворечивых логик. Однако Lj представляет собой пограничный пример таких логик. Обычно (см., например, [27]) упомянутое определение паранепротиворечивости сопровождается комментарием, что оно не является все же вполне удовлетворительным, и именно минимальная логика выбирается часто в качестве контрпримера, иллюстрирующего недостатки определения. Это связано с тем, что в Lj для любых формул φ и ψ выполняется" @default.
- W2252318557 created "2016-06-24" @default.
- W2252318557 creator A5086810812 @default.
- W2252318557 date "2006-01-01" @default.
- W2252318557 modified "2023-09-28" @default.
- W2252318557 title "Об одном обобщении принципа reductio ad absurdum" @default.
- W2252318557 cites W1020794596 @default.
- W2252318557 cites W125654268 @default.
- W2252318557 cites W1967672077 @default.
- W2252318557 cites W1998548029 @default.
- W2252318557 cites W2021336747 @default.
- W2252318557 cites W2057570323 @default.
- W2252318557 cites W2074025367 @default.
- W2252318557 cites W2142616542 @default.
- W2252318557 cites W2619231721 @default.
- W2252318557 cites W26530055 @default.
- W2252318557 cites W3109205082 @default.
- W2252318557 cites W363189017 @default.
- W2252318557 cites W2585176927 @default.
- W2252318557 hasPublicationYear "2006" @default.
- W2252318557 type Work @default.
- W2252318557 sameAs 2252318557 @default.
- W2252318557 citedByCount "0" @default.
- W2252318557 crossrefType "book-chapter" @default.
- W2252318557 hasAuthorship W2252318557A5086810812 @default.
- W2252318557 hasConcept C121649496 @default.
- W2252318557 hasConcept C138885662 @default.
- W2252318557 hasConcept C41895202 @default.
- W2252318557 hasConcept C527412718 @default.
- W2252318557 hasConceptScore W2252318557C121649496 @default.
- W2252318557 hasConceptScore W2252318557C138885662 @default.
- W2252318557 hasConceptScore W2252318557C41895202 @default.
- W2252318557 hasConceptScore W2252318557C527412718 @default.
- W2252318557 hasLocation W22523185571 @default.
- W2252318557 hasOpenAccess W2252318557 @default.
- W2252318557 hasPrimaryLocation W22523185571 @default.
- W2252318557 isParatext "false" @default.
- W2252318557 isRetracted "false" @default.
- W2252318557 magId "2252318557" @default.
- W2252318557 workType "book-chapter" @default.