закон гипотетического силлогизма


закон гипотетического силлогизма
закон логики, характеризующий импликацию ("если, то"): если первое влечет второе, то если второе влечет третье, то первое влечет третье. Напр.: "Если с ростом знаний о человеке возрастает возможность защитить его от болезней, то если с ростом этой возможности растет средняя продолжительность человеческой жизни, то с ростом знаний о человеке растет средняя продолжительность его жизни". Иначе говоря, если условием истинности первого является истинность второго, то если условием истинности второго является истинность третьего, то истинность последнего есть также условие истинности первого.
С использованием символики логической (р, q, r - некоторые высказывания; —> - импликация, "если, то") данный закон представляется так:
(р — q) -> ((q— r) -> (р — r)),
если (если р, то q), то (если (если q, то r), то (если р, то r)).
3. г. с. близок по своей структуре транзитивности закону, называемому также конъюнктивно-гипотетическим силлогизмом: если дело обстоит так, что если первое, то второе, и если второе, то третье, то если первое, то третье.
Эти законы называются гипотетическими (условными, имшшкативными) силлогизмами по сходству их с традиционными логическими схемами, известными еще с античности и именуемыми силлогизмами. Схемы подобных умозаключений ведут от двух посылок определенного вида к выводу, также имеющему некоторый определенный (хотя, может быть, и иной) вид.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "закон гипотетического силлогизма" в других словарях:

  • закон композиции — (от лат. compositio сочинение, составление) общее название ряда логических законов, позволяющих объединять следствия определенных условных высказываний или разделять их основание. Один из этих законов можно выразить так: если верно, что если… …   Словарь терминов логики

  • транзитивности закон — закон логики, согласно которому определенная логическая связь (импликация, эквивалентность и др.) представляет собой отношение транзитивности. Т. з. для условного высказывания (импликации) можно передать так: когда верно, что если первое, то… …   Словарь терминов логики

  • ЛЕЙБНИЦ — (Leibniz) Готфрид Вильгельм (1646 1716) нем. философ, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию в Лейпцигском и Йенском ун тах. В 1672 1676 в Париже. С 1676 состоял на службе у ганноверских… …   Философская энциклопедия

  • ГИПОТЕЗА — (от греч. предположение) 1) подсистема теоретического знания; 2) форма развития знания (научного, философского, практического и т. д.). Г. это суждение, истинностное значение которого является неопределенным. Т. широко используются в любой сфере… …   Современный философский словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.