Формально-логические законы, гипотеза
Информация - Разное
Другие материалы по предмету Разное
етроспективно проецируется на предыдущие этапы ее разработки. Иными словами, доказательство здесь понимается не просто как автономная операция по выведению тезиса из аргументов, а как своего рода операция с предысторией, как операция, осуществляя которую постоянно соотносят thesis с тем этапом познавательного процесса, когда он представлял собой hipothesis.
1. Самым действенным способом подтверждения гипотезы является обнаружение предполагаемого объекта, явления или свойства, которое является причиной рассматриваемого явления.
2. Основной способ подтверждения гипотез - выведение следствий и их верификация. В процессе верификации большая роль принадлежит различным экспериментам. Эксперимент учитывает чаще всего влияние не одного фактора, а многих, поэтому надо планировать эксперимент так, чтобы результат был получен за более короткое время, более эффективно и по возможности не дорого.
3. Косвенный способ превращения гипотезы в достоверное знание состоит в опровержении всех ложных гипотез, за исключением одного, после чего заключают об истинности одного оставшегося предположения. Если построенные гипотезы иiерпывают все возможные решения некоторой проблемы, то единственная неопровергнутая гипотеза iитается доказанной. В основе этого способа доказательства лежит хорошо известная схема разделительно-категорического умозаключения (отрицающе-утверждающий модус).
Схема отрицающего модуса условно-категорического умозаключения :
(( а б ) б) а
Этот модус всегда дает достоверное заключение.
Структура опровержения гипотезы такова:
Если имела место причина (гипотеза) Н, то должны быть следствия:
С1, и С2, и С3, и ...., и С.
Следствия С1, или С2, или С3, ...., или С отсутствуют.
___________________________________________________________
Причина Н не имела места.
В символической логике это умозаключение можно записать таким способом:
С1 С2 С3 ... С )
_____________________________
С1 С2 С3 ... С
______________________
Чем большее число следствий отсутствует, тем выше степень опровержение высказанной гипотезы. Гипотеза окончательно опровергнется, если обнаруживаются факты, обстоятельства, явления, противоречащие вытекающим из данной гипотезы следствиям.
Необходимо выполнить два условия: во-первых, перечислить все возможные гипотезы, причем дизъюнкция может быть как строгой, так и нестрогой, во-вторых, следует опровергнуть все ложные гипотезы.
Примеры логической формы мысли.
Логическая форма мысли это структура мысли, или процесса мышления, получаемая в результате отвлечения от смысла /от его большей части/ нелогических терминов, выражающая частью содержания мысли.
Логическое содержание выражается логическими терминами и отчасти нелогическими, а нелогическое нелогическими.
Логические формы можно классифицировать по типам. Основными типами логических форм являются понятие, суждение и умозаключение.
- Понятие это мысль, в которой обобщены и выделены в класс предметы на основе системы признаков, общей только для предметов этого класса.
Ограничение:
1. Прокуратура районная прокуратура городская прокуратура
2. Преступление должностное преступление
3. Арбитражный суд судебный орган
Обобщение:
1.Стойкость, смелость, малодушие, коварство, лицемерие. Эти понятия обобщаются в человеческие качества.
2.Сержант, лейтенант, генерал, артиллерист. Эти понятия обобщаются в воинское звание.
3. Арбитражный суд судебная система судебная власть ветви власти.
Отношения между понятиями.
ТАБЛИЦА СРАВНИТЕЛЬНЫХ ПОНЯТИЙ.
СОВМЕСТИМЫЕ НЕСОВМЕСТИМЫЕ
1 2 3 4 5 6
1. Тождество: (Равнозначность)
А - Арбитраж.
Б - Орган для разрешения имущественных и связанных с ними неимущественных споров.
2. Пересечение:
А - Арбитражный суд, расположенный не в Сыктывкаре
Б - Любой суд, расположенный в Сыктывкаре
3. Подчинение:
А - Высший Арбитражный суд РФ
Б - Федеральный Арбитражный суд округа РФ
4. Соподчинение:
А - Высший Арбитражный суд РФ
Б - Федеральный Арбитражный суд округа
В - Арбитражный суд субъекта федерации
5. Противоположность:
А - Высший Арбитражный суд РФ
Б - Федеральный Арбитражный суд округа
В - Арбитражный суд субъекта федерации (по положению в судебной системе)
6. Противоречие:
А - Арбитражный суд
Не-А (Б) - Районный суд.
- Суждение это мысли, в которых утверждается наличие или отсутствие свойств у предметов, отношений между предметами, связей между предметами.
Даны суждения:
а) Этот инспектор получил поощрение от губернатора.
б) Наивысшее достижение называется рекордом.
в) Некоторые участники авторалли не закончили пробег.
Решение:
а) Этот инспектор (S) получил поощрение от губернатора (P).
I: x (S(x) P(x))
Данное суждение является частноутвердительным (I), где субъект S является частным по количеству, а предикат P утвердительным по качеству. Символическая запись будет следующей Некоторые S суть P . В этом суждении субъект не распределен, так как в нем мыслиться только часть инспекторов или частично включается в объем предиката Только этот инспектор относить?/p>