5.Познание, бытие.

У Аристотеля познание имеет своим предметом бытие. Основание опыта – в ощущениях, в памяти и привычке. Любое значение, начинающееся с ощущений: оно есть то, что способно принимать форму чувственно воспринимаемых предметов без их материи. Разум же усматривает общее в единичном. Нельзя приобрести научное знание лишь с помощью ощущений и восприятий в силу преходящего и изменчивого характера всех вещей. Формами истинно научного знания являются понятия, постигающие сущность вещи. Детально и глубоко разработав теорию познания, Аристотель создал труд по логике, который сохраняет свое непреходящее значение и поныне. Здесь он разработал теорию мышления и его формы, понятия, суждения, умозаключения и так далее.

В учении о познании отличал знание достоверное (Аподейктика) от вероятного, относящегося к области «мнения» (диалектика). Однако через язык оба эти вида знания связаны Аристотеля между собой.

Аподейктика. Аподейктика – «убедительный» – то, что доказуемо непререкаемым образом, понятие для обозначение достоверного знания. Этим термином философ обозначает строго необходимое, дедуктивно выводимое доказательство из безусловно истинных посылок. Так силлогизм он рассматривает как орудие аподиктического знания. Сам термин «аподиктический» обозначает суждения необходимости в отличие от суждений возможности (проблематических) и суждений действительности (ассерторических – утверждает, но не доказывает – противное от аподиктического).

Мнение. Аристотель уверенно отличает диалектику от «аналитики» как науку о вероятных мнениях от науки о доказательстве. Мнение есть эмпирический метод познания, предметное содержание которого, поскольку оно относится к случайному и единичному, может изменяться вплоть до ложного. Аристотель отличает мнение от научного знания, предметом которого является необходимое и всеобщее.

6.Логика формальная.

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

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

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

Разработка Аристотелем теоретической, формальной логики отделяет его от всех предшественников. Если прежде греческие философы, в том числе Платон и Сократ, предпринимали только предварительные попытки объяснить и раскрыть природу познания, или «науки», прежде чем браться за изложение самой науки, то Аристотель снабдил мир полномасштабной и продуманной до мельчайших деталей системой форм и правил научного мышления, предварив им свои исследования в других отраслях знания.

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

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

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

Важная особенность формальной логики состоит в том, что она рассматривает формы мышления, отвлекаясь от их возникновения, изменения развития. Эту сторону мышления изучает диалектическая логика. Формальная логика изучает формы мышления, выявляя структуру, общую для различных по содержанию мыслей. Рассматривая, например, понятие, она изучает конкретное содержание различных понятий (это задача специальных наук), а понятие как форму мышления. Независимо от того, какие именно предметы мыслятся в понятиях. Изучая суждение, логика отвлекается от их конкретного содержания, выявляя структуру, общую для различных по содержанию суждений. Формальная логика изучает законы, обусловливающие логическую правильность мышления, без соблюдения которой нельзя прийти к результатам, соответствующим действительности, познать истину. Мышление, не подчиняющееся требованиям формальной логики, не способно правильно отражать действительность.