Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Логика.docx
Скачиваний:
19
Добавлен:
19.08.2019
Размер:
274.8 Кб
Скачать

2. Предмет формальной логики и понятие логического закона

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

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

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

3. Возникновение логики как науки. Основные этапы развития логики.

Формальная логика в своем развитии прошла два основных этапа.

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

Учение о силлогизме составило основу одного из направлений современной математической логики - логике предикатов. Дополнением к этому учению была логика античных стоиков (Зенон, Хрисипп и других). Логика стоиков -основа другого направления математической логики - логики высказываний.

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

Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики. Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная Ф. Беконом. Он подверг критике дедуктивную логику, которая не может служить методом научных открытий. Методом должна быть индукция. Разработка индуктивного метода - огромная заслуга Бекона. Методы дедукции и индукции не исключают друг друга, а дополняют. Дж.С.Милль систематизировал методы научной индукции. Дедуктивная логика Аристотеля и индуктивная логика Бекона Милля составили основу общеобразовательной дисциплины и составляют основу логического образования в настоящее время.

Второй этап – это появление математической логики. Философ Г. В. Лейбниц считается основоположником. Он пытался построить универсальный язык, с помощью которого споры между людьми можно было разрешить посредством вычисления. Математическая логика изучает логические связи и отношения, лежащие в основе дедуктивного вывода. Для выявления структуры вывода строят различные математические исчисления.

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]