Общая гипотеза - это вид гипотезы, объясняющей причину явления или группы явлений в целом.
Частная гипотеза — это разновидность гипотезы, объясняющая какую-либо отдельную сторону или отдельное свойство исследуемого явления или события.
Научной называется гипотеза, объясняющая закономерности развития явлений природы, общества и мышления.
Рабочая гипотеза - это временное предположение или допущение, которым пользуются при построении гипотезы.
Версия (от лат. versio - оборот, видоизменение; франц. version - перевод, истолкование) - одно из нескольких возможных, отличительное от других, объяснение или толкование какого-либо факта, явления, события.
Основными путями логического доказательства гипотезы являются:
индуктивное -все более полное подтверждение гипотезы или выведение из нее следствий с помощью аргументов, включающих указания на факты и законы;
дедуктивное - выведение гипотезы из других, более общих и уже доказанных положений; включение гипотезы в систему научного знания, в которой она непротиворечиво согласуется со всеми другими положениями;
Логическое доказательство (опровержение) в зависимости от способа обоснования может протекать в форме прямого и косвенного доказательства (опровержения).
Прямое доказательство(опровержение) гипотезы протекает путем подтверждения или опровержения выведенных логических следствий вновь обнаруженными фактами.
Косвенное доказательство (опровержение) используется тогда, когда существуют несколько гипотез, объясняющих одно и то же явление.
Косвенное доказательство протекает путем опровержения и исключения всех ложных предположений, на основании чего утверждается достоверность единственного оставшегося предположения. Вывод при этом протекает в форме отрицающе-утверждающего модуса разделительно-категорического умозаключения.
Спор — процесс отстаивания из сторон своего мнения, столкновение мнений и попытки убедить оппонента. Если в обсуждении не имеется конфликта мнений и стороны не заявили друг другу о том, что это спор, то спором это называться не может и является диалогом.
Основные виды споров и их классификация
Определение понятия
Разновидности столкновения мнений
Обмен мнениями
Прения
Переговоры
Дискуссия
Полемика
Дебаты
Экономические споры
По количеству участников выделяют:
Спор монолог
Спор диалог
Спор полилог
Преобразованием по логическому квадрату называют непосредственное дедуктивное умозаключение, в результате ... Для иллюстрации отношений между простыми категорическими суждениями, подчиняющихся логическим законам, используется так называемый логический квадрат
А и Е одновременно (И) быть не могут
Внизу две (Л) быть не могут, а (И) могут
Если сверху (И), то снизу (И), но наоборот это правило не работает
Если снизу (Л), то и сверху (Л)
Неклассические логики (иногда также используется термин «альтернативные логики») — группа формальных систем, существенно отличающихся от классических логик путём различных вариаций законов и правил (например, логики, отменяющие закон исключённого третьего, меняющие таблицы истинности и т. д.). Благодаря этим вариациям возможно построение различных моделей логических выводов и логической истины[1].
Понятие «философская логика» нередко трактуется как обобщающее для всех неклассических логик, хотя термин имеет также и другие значения[1].
Примеры: многозначная логика, нечëткая логика, модальная логика и т.д