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

Закон достаточного основания— закон логики, который формулируется следующим образом: всякое положение для того, чтобы считаться вполне достоверным, должно быть доказанным, т. е. должны быть известны достаточные основания, в силу которых оно считается истинным.  Допустим, что учащийся, слушая рассказ учителя, встречается с рядом неизвестных ему положений. Например, он узнаёт, что древние египтяне имели совершенные музыкальные инструменты, что некоторые ультразвуки убивают простейшие живые организмы, что если в Средней Азии произойдёт землетрясение, то образовавшиеся при этом волны достигнут Москвы через несколько минут. Учащийся вправе сомневаться в истинности этих положений до тех пор, пока они не будут доказаны, объяснены, обоснованы. Как только они будут доказаны, как только будут приведены достаточные основания, подтверждающие их истинность, сомневаться в них уже нельзя. Другими словами: всякое доказанное положение непременно истинно.Закон достаточного основания направлен против нело­гичного мышления, принимающего на веру ничем не обоснованные суждения, против всякого рода предрассудков и суеверий; он выражает то фундаментальное свойство логической мысли, которое называют обоснованностью или доказанностью. Запрещая принимать что-либо только на веру, этот закон выступает надежной преградой для любого интеллектуального мошенничества. Он является одним из главных принципов науки (в отличие от псевдонауки). Закон достаточного основания, хотя и подразумевался ранее во многих системах логики (например у Левкиппа или Аристотеля) был впервые сформулирован Лейбницем в работе "Монадология" следующим образом:«…ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, — без достаточного основания, почему именно дело обстоит так, а не иначе, хотя эти основания в большинстве случаев вовсе не могут быть нам известны»— Лейбниц, "Монадология" достаточного основания не имеет символической (формальной) записи. Это не случайно. Доказательства могут быть как эмпирическими, так и теоретическими. Физический опыт, статистические данные, законы наук могут быть обоснованием того или иного утверждения. Универсальной формулы доказательства не существует. Каждая наука доказывает по-своему.

Модальность суждений.

Модальность — это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логики песком или фактическом статусе, о регулятивных, оценочных и других его характеристиках. В общем виде модальность какого-либо суждения (р) может быт представлена с помощью оператора М, по схеме Мр, например «Н< обходимо р». Модальные характеристики суждений обычно выражают парными категориями: необходимость — случайность, обязанность — запрещение, доказано — опровергнуто и т. п. Одна из таки характеристик считается сильной — М (например, необходимость) другая же, определяемая через отрицание первой, считается — ~ М (например, случайность). Сильная характеристик может быть положительной — Мр или отрицательной — М Пр. равной мере это относится к слабой характеристике (Ч М "1 р или Д -1 Мр).Следует иметь в виду, что применяемые к суждениям модальны операторы, характеризуют не само р как суждение, а выраженную в нем информацию: логическую связь, фактическую детерминировавность, оценку каких-то явлений, характер предписания и другие содержательные аспекты высказывания.

Основные виды модальности.

Существуют также суждения действительности, или ассерторические. Другая категория суждения возможности или проблематические, в которых речь идет о перспективах предстоящих изменений и делаются предположения: «Возможно, жизнь на Земле пришла из космоса». Неатлетические модальности стали предметом изучения логики позднее. Обычно в каждой из них есть по три категории суждений — две противоположные и одна нейтральная. Например, «раньше», «одновременно».«позже». Виды неатлетических модальных суждений: аксиологические (ценностные) модальности объединяют суждения, содержащие оценку явлений: «хорошо», «безразлично», «плохо». К этой категории относятся высказывания типа «Плохо, что цены растут». Как операторы в языковых выражениях могут выступать и слова «полезно», «вредно», «радует», «огорчает» и др. Эту модальность выражают в сравнительной форме с помощью модальных операторов «лучше», «равноценно», «хуже»; кдеонтическим модальностям относятся высказывания, описывающие разные предписания (запреты) и морально-правовые нормы. Сюда же относятся медицинские, технические и другие рекомендации, ограничения, запреты. Модальными операторами здесь являются «обязательно», «безразлично», «запрещено», «разрешено»;временные модальности делятся на абсолютную и относительную. Первая из них определяется операторами «всегда», «временами», «никогда», а вторая — «раньше (чем что-либо)», «одновременно», «позже (чем что-либо)»; эпистемические (теоретико-познавательные) модальности, отмечающие степень изученности явлений в высказываниях. Различаются две разновидности эпистемической модальности в зависимости от того, идет ли речь об уровне знания или об уровне убежденности.