Основоположники логики

Основоположники  
логики

 

Выполнила:  Хлызова Анастасия,

Мо-41-13

Аристотель 
(384-322 до н. э.)

• Аристотель является и основоположником логики.
• разработал теорию мышления и его формы, понятия, суждения и умозаключения
• Цель науки Аристотель видел в полном определении предмета, достигаемом только путем соединения дедукции и индукции:
• 1) знание о каждом отдельном свойстве должно быть приобретено из опыта;
• 2) убеждение в том, что это свойство — существенное, должно быть доказано умозаключением особой логической формы — категорическим силлогизмом.

 Он сформулировал логические законы:

• закон тождества — понятие должно употребляться в одном и том же значении в ходе рассуждений;

• закон противоречия — «не противоречь сам себе»;
• закон исключенного третьего — «А или не-А истинно, третьего не дано».

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

•  заложил основы математической логики
• указал пути для перевода логики “из словесного царства, полного неопределенностей, в царство математики, где отношения между объектами или высказываниями определяются совершенно точно

Основные принципы логики, по Лейбницу, следующие:

• каждое понятие может быть сведено к фиксированному набору простых, т. е. неразложимых далее, понятий;
• сложные понятия выводятся из простых лишь с помощью операций логического умножения и пересечения объемов понятий в логике классов;

• набор исходных простых понятий должен удовлетворять критерию непротиворечивости;
• всякое истинное утвердительное предложение является аналитическим в том смысле, что его предикат содержится в субъекте.

 

Иммануил кант 
(1724-1804)

• По Канту, формальная логика (в «Критике чистого разума» она названа «общей») отвлекается от содержания понятий и имеет дело только с их формой
• Сам Кант противопоставлял формальной содержательную, трансцендентальную логику, разработка которой и составляет основной предмет «Критики чистого разума»

• "Трансцендентальной логикой" Кант называет такую

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

которые не отвлекаются от какого-либо содержания и

Определяют происхождение.

Классификация суждений по Канту:

• эмпирические (апостериорные)
• "чистые" (априорные, не зависимые от опыта)

Существенным вкладом  И. Канта в логику является обоснованное им отличие логического основания  и логического следствия от реальной причины и следствия. По мнению А. Маковельского, логика И. Канта, в отличие от аристотелевской, является чисто субъективной и сугубо формалистичной, а ее философской основой служит идеализм.

Спасибо за внимание!