Формально-логические законы

xt-align:justify"> 1. "Это S есть P" и  "Это S не есть P"

2. "Все S есть P" и  "Некоторые S не есть P"

3. "Ни одно S не есть P" и "Некоторые S есть P".

 

 

 

 

 

 

 

 

 

 

 

 

4.  Закон достаточного основания

 Наши мысли о каком-либо  факте, явлении, событии могут  быть истинными и ложными. Высказывая  истинную мысль, мы должны обосновывать  ее истинность, т. е. доказать  ее соответствие с действительностью.

 Требование доказательности  мышления, обоснованности суждений  выражает закон достаточного  основания, который формулируется  следующим образом: всякая истинная  мысль имеет достаточное основание.

 Достаточным, т. е.  действительным, невымышленным основанием  наших мыслей может являться  личный опыт, индивидуальная практика. Истинность некоторых суждений  подтверждается путем их непосредственного  сопоставления с фактами действительности.

 Но личный опыт ограничен.  Поэтому человеку в своей деятельности  приходится опираться на опыт  других людей.

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

 Истинность законов,  аксиом и т. д. подтверждена  практикой человечества и не  нуждается, поэтому в новом подтверждении. Для подтверждения какого-либо частного случая нет необходимости обращаться к его практической проверке, обосновывать его при помощи личного опыта. Если, например, нам известен закон Архимеда (всякое тело, погруженное в жидкость, теряет в своем весе столько, сколько весит вытесненная им жидкость), то нет никакой необходимости погружать в жидкость какой-либо предмет, чтобы выяснить, сколько он теряет в весе. Закон Архимеда будет достаточным основанием для подтверждения этого частного случая.

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

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

 Если из истинности  суждения а следует истинность  суждения b, то а будет логическим  основанием для b, а b - логическим  следствием этого основания. Связь  логического основания с логическим  следствием может быть выражена  при помощи импликации p→q, где p- основание, q- следствие. В некоторых случаях основание, в свою очередь нуждается в обосновании своей истинности. Если, например, суждение h обосновывается при помощи суждения g, которое, в свою очередь, обосновывается суждением d, то перед нами цепь суждений, связанных друг с другом следующим образом: (d→g) ^ (g→h).

 Закон достаточного  основания имеет важное теоретическое  и практическое значение. Фиксируя  внимание на суждениях, обосновывающих  истинность выдвинутых положений,  этот закон помогает отделить  истинное от ложного и прийти  к верному выводу. Требование  закона достаточного основания  сводиться к тому, что всякое  суждение, прежде чем быть принятым  за истину, должно быть обоснованно.

 Обоснованность - важнейшее  свойство логического мышления. Во всех случаях, когда мы  утверждаем что-либо, убеждаем в  чем-либо других, мы должны доказывать  наши суждения, приводить достаточные  основания, подтверждающие истинность  наших мыслей.

 

 

 

 

 

 

Список использованных источников и литературы

 

1. Кириллов В. И., Логика.- М.: Высшая школа, 1987. - 117-130 с
2. Гетманова А. Д., Учебник по логике.- Москва, 2000.- 24-30 с
3. Бочаров В.А., Основы логики.- М.: Форум-Инфра, 2005. - 336 с