Последнее обновление: 2021-11-19 20:12:30
История логики изучает развитие науки о формах и законах правильного мышления (логика). ... Появление логики в качестве разработанного анализа принципов умозаключений имеет отношение исключительно к трём локальным цивилизациям, а именно: Китай, Индия и Древняя Греция.
Логика в Средневековье 870—950 гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.
п. На основе работ Гегеля Карл Маркс и Фридрих Энгельс сформулировали основные методологические принципы, которые потом В. И. Ленин назвал принципами диалектической логики.
Первоначально, в Античности, под диалектикой понималось учение об искусстве вести беседу посредством рассуждения, вопросов и ответов — диалог, противостоящий риторике и софистике. Термин «диалектика» впервые использован Сократом для обозначения плодотворного и взаимозаинтересованного достижения истины (см.
ФрегеПосле того, как Фреге в 1879 и Пирс в 1885 году ввели в язык алгебры логики предикаты, предметные переменные и кванторы, возникла реальная возможность построения системы логики в виде логического исчисления, что и было сделано Фреге, который по праву считается основателем символической логики в её современном понимании ...
В конце 1880-х годов Дедекинд и Пеано применили эти инструменты в попытках аксиоматизации арифметики, при этом Пеано создал удобную систему обозначений, закрепившуюся и в современной математической логике.
George BooleДжордж Буль (англ. George Boole; 2 ноября 1815, Линкольн — 8 декабря 1864, Баллинтемпл, графство Корк, Ирландия) — английский математик и логик. Профессор математики Королевского колледжа Корка (ныне Университетский колледж Корк) с 1849 года. Один из основателей математической логики.
Виды логики: формальная, диалектическая и математическая. Логику, основанную Аристотелем, называют формальной, она возникла и развивалась как наука о формах мышления. Ее называют аристотелевской, или традиционной логикой.
Ключевое же отличие математической логики от логики в широком смысле слова — это именно использование математических методов, применяемых к точным формальным моделям. ему есть логика, а по методу — математика.
У истоков современной логики стоит немецкий математик Готфрид Вильгельм Лейбниц ( 1646—1716 ), предложивший идею представить логические рассуждения как вычисления, подобные вычислениям в математике.
Алгебра логики в её современном изложении занимается исследованием операций с высказываниями, то есть с предложениями, которые характеризуются только одним качеством — истинностным значением (истина, ложь).
Базовыми элементами, которыми оперирует алгебра логики, являются высказывания. Высказывания обозначают строчными буквами — логическими переменными. Возможные значения логической переменной: 1 — истина, 0 — ложь.
Алгебра логики — раздел математики, изучающий высказывания, рассматриваемые с точки зрения их логических значений (истинности или ложности), и логические операции над ними. Алгебра логики возникла в середине XIX века в трудах английского математика Джорджа Буля.
В алгебре логики высказывания обозначают буквами и называют логическими переменными. Если высказывание истинно, то значение соответствующей ему логической переменной обозначают единицей (А = 1), а если ложно - нулём (В = 0). 0 и 1 называются логическими значениями. Высказывания бывают простые и сложные.
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения.