Законы логики
Контрольная работа - Философия
Другие контрольные работы по предмету Философия
скими законами. … Логические формы и законы не пустая оболочка, а отражение объективного мира. Выясним более детально, что понимается под логической формой и логическим законом.
Логической формой конкретной мысли является строение этой мысли, способ связи её составных частей. Логическая форма отражает объективный мир, но это отражение не всё полноты содержания мира, существующего вне нас, а его общих структурных связей, которые необходимо воплощаются и в структуре наших мыслей. Понятия, суждения, умозаключения имеют свои специфические формы.
Структуру мысли, её логическую форму, можно выразить при помощи символов. Выявим структуру (логическую форму) трёх следующих суждений: „Все караси - рыбы, Все бабочки - насекомые. Содержание у них разное, а форма одна и та же: Все S суть P; она включает S (субъект), т.е. понятие о предмете суждения, P (предикат), т.е. понятие о признаке предмета, связку (есть, суть), кванторное слово (все). Иногда связка может отсутствовать или заменяться на тире.
Два следующих условных суждения имеют одну и ту же форму:
1)Если железо нагревать, то оно расширяется;
2)Если учащийся изучает логику, то он повышает чёткость своего мышления. Форма этих суждений такая: Если S есть P, то S есть P1;
Современная логика - это интенсивно развивающаяся наука, которая включает в себя логику формальную и диалектическую. На их базе формируется логика научного познания, использующая методы обеих наук для анализа научного знания.
Как уже отмечалось, формальная логика - наука о законе и формах правильного мышления. Формальная логика в определенном смысле подобна грамматике. Подобно грамматике, придающей языку стройный и четко осмысленный характер, логика обеспечивает доказательность и стройность мышления.
Основными формально-логическими законами обычно считаются:
)Закон тождества;
2)Закон непротиворечия;
3)Закон исключенного третьего;
4)Закон достаточного.
Они будут подробно излагаться в отдельной главе. Эти законы (принципы) выражают определённость, непротиворечивость, доказательность мышления.
Логические принципы действуют независимо от воли людей, они не созданы по их воле и желанию, а являются отражением связей и отношений вещей материального мира. Общечеловеческий характер принципов формальной логики состоит в том, что во все исторические эпохи все люди мыслили по одним и тем же логическим принципам. Кроме формально-логических принципов, правильное мышление подчиняется также основным законам диалектики: закону единства и борьбы противоположностей, закону взаимного перехода количественных изменений, закону отрицания отрицания.
Законы логики функционируют в мышлении в качестве принципов правильного рассуждения в ходе доказательства истинных и теорий и опровержения ложных суждений.
Первое задание
Законы непротиворечия
Если предмет А обладает определённым свойством, то в суждениях об А людей должны утверждать это свойство, а не отрицать его. Если же человек, утверждая что-либо, отрицает то же самое или утверждает нечто несовместимое с первым, налицо логическое противоречие. Формально-логические противоречия - это противоречия путаного, неправильного рассуждения. Такие противоречия затрудняют познание мира.
Древнегреческий философ и учёный Аристотель считал самым достоверным из всех начал" следующее: „… Невозможно, чтобы одно и то же в одно и то же время было и не было присуще одному и то же в одном и том же отношении. Эта формулировка указывает на необходимость для человека не допускать в своём мышлении и речи формально-противоречивые высказывания, в противном случае его мышление будет неправильным.
Противоречия не будет, ели мы говорим о разных предметах или об одном и том же предмете, взятом в разное время или в разном отношении. Противоречия не будет, если мы скажем: Осенью дождь полезен для грибов и Осенью дождь не полезен для уборки урожая. Суждения Этот букет роз свежий и Этот букет роз не является свежим также не противоречат друг другу, ибо предметы мысли в этих суждениях берутся в разных отношениях или в разное время. Суждения Саша Голубев не является перворазрядником по бегу и Саша Голубев является перворазрядником по бегу не будут противоречащими, если они не относятся в одному и тому же времени.
Не могут быть одновременно истинными следующие четыре типа простых суждений:
)Данное S есть P" и Данное S не есть P.
2)Ни одно S не есть P" и Все S есть P.
)Все S есть P" и Некоторые S не есть P.
)Ни одно S не есть P" и Некоторые S есть P.
При этом вторая пара суждений такова, что оба суждения могут быть ложными, например: Ни один студент не является спортсменом" и Все студенты являются спортсменами.
Чаще всего встречается определение формально-логического противоречия как конъюнкции суждения и его отрицания (a и не - а). Но логическое противоречие может быть выражено и без отрицания: оно имеет место между несовместимым и утвердительными суждениями.
Закон непротиворечия не действует в логике размытых" множеств, ибо в ней к размытым" множествам и размытым" алгоризмам можно одновременно применять утверждение и отрицание (например: Этот мужчина пожилой" и Этот мужчина ещё не является пожилым, ибо понятие пожилой мужчина" является нечетким" понятием, не имеющим чётко очерченного объёма).
Проведённые примеры свидетельствуют о том, что формально-логическое противоречие возникает тогда, когда пытаютс?/p>