логика

С логикой (в древнегреческой λογικὴ τέχνη logiké TECHNE , думая искусства «» процессуальной «) или последовательность , как правило, рациональное мышление и , в частности , учение которых - учение умозаключения или даже думал , что учение - называют. В логике структура аргументов исследуется на предмет их достоверности , независимо от содержания утверждений . В этом смысле говорят о «формальной» логике. Традиционно логика является частью философии . Первоначально наряду с риторикой развивалась традиционная логика . С 20-го века логика в основном понималась как символическая логика , которая также используется в качестве фундаментальной структурной науки , например Б. в области математики и теоретической информатики .

Две собаки veritas и falsitas преследуют проблему зайца , логика устремляется вслед, вооруженная силлогизмом меча . Внизу слева Парменид , логическая аргументация которого нашла свое отражение в философии, в пещере.

Современная символическая логика используется вместо естественного языка язык искусственного (предложение как яблоко красный . B. является для исчисления предикатов как формализованный, который для яблока и для красных стендов) и используются строго определенные правила вывода . Простым примером такой формальной системы является логика высказываний (так называемые атомарные предложения заменяются буквами). Символическую логику также называют математической логикой или формальной логикой в более узком смысле. ${\ Displaystyle f (а)}$ ${\ displaystyle a}$ ${\ displaystyle f}$

Разные значения слова «логика»

Термин «логика» в греческом языке logikè téchnē обозначает доктрину рассуждения или рассуждения как в древней Стоа, так и в древнем Перипатосе , но не использовался в этом значении до I века до нашей эры. Занят. Этот термин был придуман еще древним стоиком Зеноном фон Китионом .

В немецком языке слово «логика» часто использовалось в XIX веке (например, Иммануилом Кантом или Георгом Вильгельмом Фридрихом Гегелем ) в смысле эпистемологии , онтологии или общей диалектики . С другой стороны, логику в современном понимании часто называют иначе, например, аналитикой, диалектикой или логистикой. Даже сегодня з. Б. в социологических формулировках, таких как логика действия или литературоведение, например, в логике поэзии и т.п. где «логика» - это не теория рассуждений, а доктрина общих «законов» или процедур, которые применяются в определенной области. В частности, в традиции философии нормального языка «логический» анализ часто понимался как анализ концептуальных отношений.

Использование выражения «логика», как описано во введении, было обычным с начала 20 века.

В разговорной речи такие выражения, как «логика» или «логическое мышление», также понимаются в гораздо более широком или совершенно другом смысле и, например, в отличие от « латерального мышления ». Точно так же существует концепция «женской логики», «мужской логики», которая «влияет на логику», и концепция «повседневной логики» - также известной как « здравый смысл » ( здравый смысл ) - в просторечии . В этих сферах «логика» часто относится к формам действия, прагматике . Аргумент разговорно называют «логическим» , если он появляется звук, убедительные, убедительно, правдоподобный и ясно. Способность мыслить следует выражать в логической аргументации.

Даже в нынешних дебатах она в значительной степени бесспорная , что теория правильного рассуждения на основе логики; Однако остается спорным, какие теории все еще могут быть включены в логику, а какие нет. Спорные случаи включают в себя теорию множеств , в теорию рассуждения (что примерно на прагматическое соображение с ложными выводами , используемых) и речевой акт .

История логики

Подзоны

Классическая логика

Мы говорим о классической логике или классической логической системе, когда выполняются следующие семантические условия:

Каждое утверждение имеет ровно одно из двух значений истинности , которые обычно называют истинным и ложным . Этот принцип называется принципом двузначности или принципом двузначности .
Значение истинности составного утверждения однозначно определяется значениями истинности его частичных утверждений и способом, которым они составлены. Этот принцип называется принципом протяженности или композиционности.

Термин классическая логика следует понимать больше в смысле установленной фундаментальной логики, потому что неклассическая логика основана на ней, а не как исторический справочник. Это было скорее так , что Аристотель , классический представитель логики , так сказать , был очень связан с многозначной логикой , т.е. неклассическая логикой.

Наиболее важными подобласти формальной классической логики классической пропозициональной логики , первого уровня логики предикатов и логики более высокого уровня , так как они были в конце 19 - го и начала 20 - го века Фреге , Чарльз Сандерс Пирс , Бертран Рассел и Альфред Норт Уайтхед были разработаны. В логике высказываний изучаются утверждения, чтобы определить, собираются ли они, в свою очередь, из утверждений связками (z. B. "и", "или"), соединенными вместе. Если высказывание не состоит из частичных высказываний, связанных связками, то с точки зрения логики высказываний оно атомарно, т. Е. ЧАС. не подлежит дальнейшему демонтажу.

В логике предикатов также может быть представлена внутренняя структура предложений, которая не может быть далее разбита с помощью логики высказываний. Внутренняя структура операторов ( яблоко красное ) представлена предикатами (также называемыми функциями операторов) ( красный цвет ) с одной стороны и их аргументами с другой стороны ( яблоко ); Предикат выражает, например, свойство ( красный ), которое применяется к его аргументу, или отношение, существующее между его аргументами (x больше y). Концепция функции оператора происходит от математической концепции функции . Как и математическая функция, функция логического предложения имеет значение, которое является не числовым значением, а значением истинности.

Разница между логикой предиката первого уровня и логикой предиката более высокого уровня заключается в том, что количественно определяется с помощью квантификаторов («все», «по крайней мере один»): в логике предикатов первого уровня количественно оцениваются только отдельные лица (например, «Все свиньи» розовые »), в логике предикатов более высокого уровня сами предикаты также количественно оцениваются (например,« Существует предикат, применимый к Сократу »).

Формально логика предикатов требует различия между различными категориями выражений, такими как термины , функторы , предикаторы и кванторы. Это преодолевается в пошаговой логике , форме типизированного лямбда-исчисления . Это делает математическую индукцию , например, обычной выводимой формулой.

Силлогистика, которая доминировала до XIX века и восходит к Аристотелю, может быть понята как предшественник логики предикатов. Основным термином в силлогистике является термин «концепции»; он там не разбирается. В логике предикатов термины выражаются однозначными предикатами; С помощью многозначных предикатов также может быть проанализирована внутренняя структура терминов и, следовательно, обоснованность аргументов, которые нельзя понять силлогистически. Часто цитируемый интуитивно понятный пример - аргумент «Все лошади - животные; поэтому все лошадиные головы - это головы животных », что можно вывести только с помощью высшей логики, такой как логика предикатов.

Технически возможно расширить и изменить формальную силлогистику Аристотеля таким образом, чтобы логика предикатов приводила к исчислениям равной мощности. Такие начинания иногда предпринимались с философской точки зрения в 20-м веке и были философски мотивированы, например, из-за желания иметь возможность рассматривать чисто формальные термины как элементарные компоненты высказываний и не разбивать их в соответствии с логикой предикатов. . Подробнее о таких расчетах и философских предпосылках можно прочитать в статье о концептуальной логике .

Типы исчислений и логические процедуры

Современная формальная логика посвящена задаче разработки точных критериев достоверности выводов и логической достоверности утверждений (семантически допустимые утверждения называются тавтологиями , синтаксически правильные утверждения - теоремами ). Для этого были разработаны различные методы.

В частности, в области логики высказываний (но не только) используются семантические методы, то есть те методы, которые основаны на утверждениях, которым присваивается значение истинности. К ним, с одной стороны, относятся:

Таблицы истинности

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

Разрешение ,
Баумкалкюль или Бет-Табло (по Эверту Виллему Бету )

К логическим исчислениям , обходящимся без семантических оценок, относятся:

Неклассическая логика

О неклассической логике или неклассической логической системе говорят, когда отказываются хотя бы от одного из двух вышеупомянутых классических принципов (двузначности и / или экстенсиональности). Если отказаться от принципа двузначности , возникает многозначная логика . Если отказаться от принципа протяженности, тогда возникает логика измерений. Интенсивными являются, например, модальная логика и интуиционистская логика . Если отказаться от обоих принципов, возникает многозначная многомерная логика. ( См. Также: Категория: Неклассическая логика )

Философская логика

Философская логика - это нечеткий собирательный термин для различных формальных логик, которые по-разному изменяют или расширяют классическую логику высказываний и предикатов, обычно путем обогащения своего языка дополнительными операторами для определенных областей речи. Философские логики обычно не представляют прямого интереса для математики, но используются, например, в лингвистике или информатике . Они часто имеют дело с вопросами, уходящими корнями в далекую историю философии и которые обсуждались в некоторых случаях со времен Аристотеля, например, как иметь дело с модальностями ( возможностью и необходимостью ).

К философской логике, среди прочего, относятся следующие области:

Модальная логика вводит модальные операторы предложения, такие как «возможно, что ...» или «необходимо, чтобы ...», и проверяет условия допустимости модальных аргументов;
эпистемическая логика или доксастическая логика исследует и формализует утверждения о убеждениях, убеждениях и знаниях, а также сформированные на их основе аргументы;
Деонтическая логика или логика норм исследует и формализует заповеди, запреты и уступки («допустимо, чтобы ...»), а также аргументы, основанные на них;
Временная логика действий , квантовая логика и другая темпоральная логика исследуют и формализуют утверждения и аргументы, в которых делается ссылка на моменты времени или периоды времени;
Интенсиональная логика касается не только расширения (обозначения; значения в смысле обозначенных элементов), но также их интенсификации (значения; значения в смысле обозначенных свойств) понятий или предложений.
Вопросительная логика исследует вопросы, а также вопрос о том, можно ли установить логические отношения между вопросами;
Логика условного предложения исследует условия «если-то», выходящие за рамки материального смысла ;
Параконсистентные логики характеризуются тем, что в них невозможно вывести какое-либо утверждение из двух противоречащих друг другу утверждений. Это также включает
Логика релевантности, которая использует импликацию вместо материальной импликации, которая истинна только в том случае, если ее антецедент релевантен для ее последующего предложения (см. Также следующую главу)

Интуиционизм, логика релевантности и связная логика

Наиболее обсуждаемые отклонения от классической логики - это те логики, которые обходятся без определенных аксиом классической логики. Неклассическая логика в более узком смысле «слабее» классической логики, т.е. ЧАС. В этой логике меньше утверждений действительны, чем в классической логике, но все утверждения, которые действительны там, также являются классически действительными.

Сюда входит интуиционистская логика, разработанная Л. Дж. Брауэром , в которой используется аксиома «дуплекс-отрицание» (из двойного отрицания утверждения p следует p)

(DN)

{\ displaystyle \ neg \ neg p \ Rightarrow p}

не содержит, посредством чего предложение " tertium non datur " (для каждого утверждения p применяется: p или not-p),

(TND)

{\ displaystyle \ neg p \ lor p}

не может быть выведено, минимальное исчисление Ингебригт Йоханссонс , с которым предложение " ex falso quodlibet " (любое утверждение следует из противоречия),

(EFQ)

{\ displaystyle \ neg p \ Rightarrow (p \ Rightarrow q)}

не могут быть выведены, как и последующая логика релевантности , в которой действительны только те утверждения схемы , где для релевантной причинной связи ( см. импликация # импликации объектного языка ). В диалогической логике и в исчислении последовательностей как классическая, так и неклассическая логика могут быть преобразованы друг в друга с помощью соответствующих дополнительных правил. ${\ displaystyle p \ Rightarrow q}$ ${\ displaystyle p}$ ${\ displaystyle q}$

С другой стороны, стоит отметить , что логика содержат принципы, которые классически не действует. Поначалу кажется, что это предложение выражает интуитивно правдоподобный логический принцип: поскольку если p выполняется, то p, по-видимому, больше не может быть ложным. Тем не менее эта теорема не является действительной теоремой в классической логике . Поскольку классическая логика максимально последовательна , т. ЧАС. поскольку любое подлинное усиление классического исчисления привело бы к противоречию, эту теорему нельзя было добавить в качестве дополнительной аксиомы . Связана форма логика , которая должна соответствовать формальной предварительной интуиции, выражающее предложение, наградив его как теорему, должна поэтому отвергнуть другие классические логические теоремы. Таким образом, хотя с интуиционистской, минимальной и релевантной логикой каждая доказуемая формула является реальным подмножеством классически доказуемой формулы, с другой стороны, взаимосвязь между связанной и классической логикой такова, что формулы могут также быть доказаны в обеих, которые не применяются в другая логика. ${\ Displaystyle \ neg (п \ Rightarrow \ neg p)}$

Многозначная логика и нечеткая логика

Это пересекается с многозначной логикой, в которой принцип двузначности, а часто и аристотелевский принцип исключенного третьего не применяется, включая трехзначную и бесконечную логику Яна Лукасевича («Варшавская школа»). . Бесконечная нечеткая логика имеет множество применений в технологии управления , в то время как конечная логика Готхарда Гюнтера («логика Гюнтера») применялась к проблемам самореализующихся прогнозов в социологии .

Немонотонная логика

Логическая система называется монотонной, если каждый действительный аргумент остается действительным, даже если добавляются дополнительные предпосылки: то, что было однажды доказано, остается действительным в монотонной логике, то есть даже если новая информация становится доступной в более поздний момент времени . Многие логические системы обладают этим свойством монотонности , включая все классические логики, такие как логика высказываний и логика предикатов.

Однако в повседневных и научных рассуждениях часто делаются предварительные выводы, которые не верны в строго логическом смысле и которые, возможно, придется пересмотреть позже. Например, утверждения «Смокинг - это птица» и «Большинство птиц умеют летать». Можно сделать предварительный вывод о том, что Смокинг умеет летать. Но если теперь мы получаем дополнительную информацию «Тукс - пингвин», то мы должны скорректировать этот вывод, потому что пингвины не летучие птицы. Чтобы отобразить этот тип рассуждений, была разработана немонотонная логика: они обходятся без свойства монотонности, то есть действительный аргумент может стать недействительным при добавлении дополнительных предпосылок.

Конечно, это возможно только в том случае, если используется другая операция следствия, чем в классической логике. Распространенным подходом является использование так называемых значений по умолчанию . Вывод по умолчанию действителен, если противоречие с ним не является следствием классического логического вывода.

Тогда вывод из приведенного примера будет выглядеть так: «Смокинг - птица». Предпосылка остается . Теперь мы объединяем это с так называемым оправданием : «Птицы могут нормально летать». Исходя из этого, мы заключаем, что Такс может летать, пока ничто не говорит против этого. Следствие является «так Tux может летать.» Получить информацию , которую мы сейчас «Tux является пингвином.» А «Пингвины не умеют летать.», Результатом является противоречием. Используя вывод по умолчанию, мы пришли к выводу, что Тукс умеет летать. Однако с классическим логическим выводом мы смогли доказать, что Такс не умеет летать. В этом случае значение по умолчанию пересматривается и используется следствие классико-логического вывода. Этот метод - примерно описанный здесь - также называется логикой Райдера по умолчанию . (См. Также немонотонную индуктивную байесовскую логику .)

Важные авторы

Аристотель (384–322 до н. Э.):

В Analytica priora : развитие силлогистики, использовавшейся до XIX века , предшественницы логики предикатов .

Хрисипп из Солои (281 / 76–208 / 4 гг. До н. Э.):

Развитие стоической силлогистики, предварительной формы исчисления высказываний.

Цицерон (106–43 до н. Э.):

Перевел греческую логику на латынь.

Готфрид Вильгельм Лейбниц (1646–1716):

Первые подходы к символической логике.

Джордж Буль (1815–1864):

Развитие булевой алгебры .

Чарльз Сандерс Пирс (1839-1914):

Первые подходы к кванторной логике, введение реляционной логики, формулировка теории абдукции .

Георг Кантор (1845-1918):

Развитие теории множеств .

Готтлоб Фреге (1848–1925):

Развитие современной логики высказываний и предикатов . Критика психологизма .

Эдмунд Гуссерль (1859–1938):

Критика психологизма в логике.

Бертран Рассел (1872–1970):

Обнаружил антиномию Рассела .

Ян Лукасевич (1878–1956):

Развивал польскую систему обозначений , занимался многозначной логикой.

Альфред Тарский (1901–1983):

Его работы по теории моделей и формальной семантике выдаются .

Курт Гёдель (1906–1978):

Полнота логики предикатов. Неполнота арифметики Пеано .

Смотри тоже

Портал: Логика - Обзор содержания Википедии на тему логики

абстракция
Формальный язык (теория формальных языков)
Рубрика: логика

Классические произведения

Аристотель: Доктрина заключения или первая аналитика. 3. Издание. Майнер, Гамбург, 1922 г., ISBN 3-7873-1092-4 .
Слава богу, Фреге: концептуальное письмо , одна из арифметических симуляций языка формул чистого мышления. Halle / Saale 1879. Отпечатано в отрывках z. Б. в: Карел Берка , Лотар Крайзер, Зигфрид Готвальд , Вернер Штельцнер: Логические тексты. Аннотированная подборка по истории современной логики. 4-е издание. Академия Верлаг, Берлин 1986.
Готлоб Фреге: Логические исследования. Отредактировано и представлено Гюнтером Патцигом. 3. Издание. Vandenhoeck & Ruprecht, Геттинген 1986, ISBN 3-525-33518-0 .
Джузеппе Пеано: Notations de logique mathématique. Турин 1894 г.
Чарльз Сандерс Пирс: Об алгебре логики. Вклад в философию обозначений. В: Американский журнал математики. 7, 1885 г.
Ян Лукасевич: Logika dwuwartościowa. В: Przegląd Filosoficzny. 23, 1921, стр. 189 и далее.
Ян Лукасевич, Л. Борковский (Ред.): Избранные произведения. PWN, Варшава 1970.
Альфред Норт Уайтхед, Бертран Рассел: Principia Mathematica. Кембридж 1910-1913 гг.
Альфред Тарский: Введение в математическую логику. 5-е издание. Vandenhoeck & Ruprecht, Göttingen 1977, ISBN 3-525-40540-5 .

литература

Философия Библиография : Логика - Дополнительные ссылки по теме.

Карел Берка , Лотар Крайзер: Логические тексты. Аннотированная подборка по истории современной логики. 4-е издание. Академия Верлаг, Берлин 1986.
Томас М. Сибом: Философия логики. (Справочник по философии, под редакцией Элизабет Штрекер и Вольфганга Виланда ). Альбер, Фрайбург / Мюнхен 1984, ISBN 3-495-47474-9 .
Грэм Прист : Логика: очень краткое введение . 2000, Oxford University Press, ISBN 978-0-19-289320-8 .

История логики

увидеть информацию в истории логики

Логическая пропедевтика

Эрнст Тугендхат , Урсула Вольф : Логико-семантическая пропедевтика. (= 8206 руб.). Акцент. Reclam, Штутгарт 2001, ISBN 3-15-008206-4 .
Вильгельм Камлах , Пол Лоренцен: логическая пропедевтика. Дошкольное учреждение разумной речи. 3. Издание. Метцлер, Штутгарт и др. 1996, ISBN 3-476-01371-5 .
Аксель Бюлер: Введение в логику. Рассуждения и выводы. 3. Издание. Альбер, Фрайбург / Мюнхен 2000, ISBN 3-495-47905-8 .
Майкл Вольф : Введение в логику. CH Beck, Мюнхен 2006 г., ISBN 978-3-406-54745-4 .

Формальная логика в философии

Джон Барвайз , Джон Этчменди: язык логики первого порядка. Центр изучения языка и информации CSLI, Leland Stanford Junior University 1991, ISBN 0-937073-74-1 .
Ансгар Беккерманн : Введение в логику. 3. Издание. Де Грюйтер, Берлин и др. 2011 г., ISBN 978-3-11-025434-1 .
Ирвинг М. Копи: Введение в логику . Финк, Мюнхен, 1998 г., ISBN 3-7705-3322-4 .
Вольфганг Детель : курс базовой философии. Том 1: Логика . Reclam, Штутгарт, 2007, ISBN 978-3-15-018468-4 .
Дов Габбай, Франц Гентнер (ред.): Справочник по философской логике. 16 томов. 2-е издание. Kluwer, Reidel, Dordrecht 2001ff.
Пол Хойнинген-Хуэн : формальная логика. Философское введение . Reclam, Штутгарт, 1998 г., ISBN 3-15-009692-8 .
Рюдигер Инхетвин: Логика. Диалог-ориентированное введение. Эд. am Gutenbergplatz, Leipzig 2003, ISBN 3-937219-02-1 .
Франц фон Кучера , Альфред Брайткопф: Введение в современную логику. 8-е издание. Альбер, Фрайбург 2007, ISBN 978-3-495-47977-3 .
EJ Lemmon: Начало логики. 2-е издание. Чепмен и Холл, Лондон 1987, ISBN 0-412-38090-0 .
Бенсон Матс: элементарная логика. Логика предикатов первого уровня с идентичностью. 2-е издание. Vandenhoeck & Ruprecht, Геттинген 1978, ISBN 3-525-40541-3 .
WVO Quine : Основы логики . Suhrkamp 1974, ISBN 3-518-27665-4 .
Уэсли С. Сэлмон : Логика. Reclam, Штутгарт, 1983, ISBN 3-15-007996-9 .

Формальная логика в математике

Хайнц-Дитер Эббингаус, Йорг Флум, Вольфганг Томас: Введение в математическую логику. (= Университетская книга в мягкой обложке). 4-е издание. Spectrum, Academy, Heidelberg и другие 1998, ISBN 3-8274-0130-5 .
Вольфганг Раутенберг : Введение в математическую логику . 3. Издание. Vieweg + Teubner , Висбаден, 2008 г., ISBN 978-3-8348-0578-2 .
Дональд В. Барнс, Джон М. Мак: алгебраическое введение в математическую логику. Springer, Берлин, 1975 г., ISBN 3-540-90109-4 . (Очень математический подход к логике)

Формальная логика в информатике

Уве Шёнинг : Логика для компьютерных ученых. (= Университетская книга в мягкой обложке). 5-е издание. Spectrum, Academy, Heidelberg и другие 2000, ISBN 3-8274-1005-3 .
Бернхард Хайнеманн, Клаус Вайраух: Логика для компьютерных ученых. Введение. (= Руководства и монографии по информатике). 2-е издание. Teubner, Штутгарт 1992, ISBN 3-519-12248-0 .

Логика в медицине или в прикладной / практической науке

Владислав Беганский: Медицинская логика. Критика медицинских знаний. Авторизованный перевод 2-го издания А. Фабиана, Вюрцбург, 1909 г.
Отто Липпросс : логика и магия в медицине. Мюнхен 1969 г.

веб ссылки

Commons : Logic - коллекция изображений, видео и аудио файлов

Викисловарь: консеквент - объяснение значений, происхождение слов, синонимы, переводы

Викисловарь: Согласованность - объяснение значений, происхождения слов, синонимов, переводов

Викисловарь: Логика - объяснение значений, происхождение слов, синонимы, переводы

Викисловарь: логический - объяснение значений, происхождение слов, синонимы, переводы

Викицитатник: Логика - Цитаты

Wikisource: Логика - Источники и полные тексты

Викиучебники: Математика для не-уродов: логика высказываний - учебные и обучающие материалы

Грэм Форбс: Логика, философия. В: Э. Крейг (ред.): Энциклопедия философии Рутледж . Лондон 1998.
Введение в вычислительную логику (скрипты, английский)
Пол Хойнинген-Хуэн : Введение в логику на YouTube . Лекция в Leibnizuniversität Hannover, летний семестр 2012 г.
Торстен Вильхольт : логика и аргументация. (подробный сценарий, вводящий формальную логику и теорию аргументации для студентов-философов; PDF; 2,6 МБ)
Логические связи (люди и атуары, материалы) основной области изучения Логика, Язык, Информация Университета Дюссельдорфа
Л. Гельдсетцер: Библиография по логике (PDF; 842 kB) с избранной литературой по отдельным темам
Питер Х. Старке: логические основы компьютерных наук. Подробный сценарий, который также можно скачать в формате PDF, HU Berlin

Индивидуальные доказательства

↑ Последовательность. В: Duden.de . Библиографический институт , 2016, доступ к 9 марта 2019 .
↑ Грегор Райш : «Логика представляет свои центральные темы». В кн . : Философская маргарита . 1503/08 (?).
↑ Куно Лоренц: Логика, 2. Древняя логика. В кн . : Исторический философский словарь . Том 5, 362 по Э. Каппу: Происхождение логики у греков. 1965, 25 и со ссылкой на Цицерона : De finibus 1, 7, 22.
↑ Хартмут Эссер : Социология. Специальные основы. Том 1: Ситуационная логика и действие. Campus Verlag, 1999, стр.201.
↑ Käte Hamburger: Логика поэзии. 3. Издание. Клетт-Котта, 1977, ISBN 3-12-910910-2 .
↑ См. Генрих Вансинг : Connexive Logic. В: Эдвард Н. Залта (Ред.): Стэнфордская энциклопедия философии .
↑ См. Г. Альдо Антониелли: Немонотонная логика. В: Эдвард Н. Залта (Ред.): Стэнфордская энциклопедия философии .

Эта версия была добавлена в список статей, которые стоит прочитать 20 июля 2006 года .

[1] Последовательность. В: Duden.de . Библиографический институт , 2016, доступ к 9 марта 2019 .

[2] Грегор Райш : «Логика представляет свои центральные темы». В кн . : Философская маргарита . 1503/08 (?).

[3] Куно Лоренц: Логика, 2. Древняя логика. В кн . : Исторический философский словарь . Том 5, 362 по Э. Каппу: Происхождение логики у греков. 1965, 25 и со ссылкой на Цицерона : De finibus 1, 7, 22.

[4] Хартмут Эссер : Социология. Специальные основы. Том 1: Ситуационная логика и действие. Campus Verlag, 1999, стр.201.

[5] Käte Hamburger: Логика поэзии. 3. Издание. Клетт-Котта, 1977, ISBN 3-12-910910-2 .

[6] См. Генрих Вансинг : Connexive Logic. В: Эдвард Н. Залта (Ред.): Стэнфордская энциклопедия философии .

[7] См. Г. Альдо Антониелли: Немонотонная логика. В: Эдвард Н. Залта (Ред.): Стэнфордская энциклопедия философии .

Languages