Связанные понятия
Софи́зм (от греч. σόφισμα, «мастерство, умение, хитрая выдумка, уловка») — можно подразделить на...
Логическая ошибка — в логике, философии и прочих науках, изучающих познание, ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.
Простой
категорический силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление») — дедуктивное умозаключение, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической...
Рассуждение — последовательный ряд мыслей и умозаключений в контексте определённой темы, изложенных в логически последовательной форме.
Парадо́кс (от др.-греч. παράδοξος — неожиданный, странный от др.-греч. παρα-δοκέω — кажусь) — ситуация (высказывание, утверждение, суждение или вывод), которая может существовать в реальности, но не имеет логического объяснения. Следует различать парадокс и апорию. Апория, в отличие от парадокса, является вымышленной, логически верной, ситуацией (высказыванием, утверждением, суждением или выводом), которая не может существовать в реальности.В самом широком смысле под парадоксом понимают высказывание...
Инду́кция (лат. inductio — наведение, от лат. inducere — влечь за собой, установить) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.Объективным основанием индуктивного умозаключения является всеобщая связь явлений в природе.
Подробнее: Индуктивное умозаключение
Силлогистика (др.-греч. συλλογιστικός умозаключающий) — теория логического вывода, исследующая умозаключения, состоящие из т. н. категорических высказываний (суждений). В силлогистике рассматриваются, например, выводы заключения из одной посылки (т. н. непосредственные умозаключения), «сложные силлогизмы», или полисиллогизмы, имеющие не менее трёх посылок. Однако основное внимание силлогистика уделяет теории категорического силлогизма, имеющего ровно две посылки и одно заключение указанного вида...
Подробнее: Силлогистические теории
Доказа́тельство — рассуждение по определенным правилам, обосновывающее какое-либо утверждение. В разных областях науки и человеческой деятельности этот термин имеет разные значения.
Парадоксы импликации — это парадоксы, возникающие в связи с содержанием условных утверждений классической логики. Главная функция этих утверждений — обоснование одних утверждений ссылкой на другие.
Аргуме́нт (до́вод) — логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения — тезиса. Чтобы тезис можно было считать истинным, все аргументы должны содержать в себе истинную информацию, достаточную для доказательства тезиса с помощью верных логических умозаключений.
Зако́н доста́точного основа́ния — принцип, согласно которому каждое осмысленное выражение (понятие, суждение) может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истинным.
Саморефере́нция (самоотносимость) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.
Спор — процесс отстаивания каждой из сторон своего мнения, столкновение мнений и попытки убедить оппонета. Если в обсуждении не имеется конфликта мнений, то спором это называться не может, и является диалогом.
Противоположные суждения — так называются два суждения, имеющие одно и то же подлежащее и сказуемое, но различающиеся между собой по количеству или качеству. Если назвать A — общеутвердительные суждения; E — общеотрицательные; I — частноутвердительные; O — частноотрицательные, то можно составить квадрат, на котором все отношения противоположности будут выяснены графически.
Логический квадрат — это схематичный способ классификации суждений. Он имеет форму геометрического квадрата, чья система классификации включает все атрибутивные (единичные, общие и частные) суждения. Причем общие и единичные суждения рассматриваются как тождественные объему субъекта.
Импликатура (от лат. implicatio «связь; сплетение, переплетение») — небуквальная часть значения текста, когда информация присутствует в тексте в скрытом виде, но при этом явно не выражается (адресат делает вывод сам), то, что «имелось в виду» (в противоположность тому, что было сказано, или «экспликатуре»). Понятие импликатуры было введено Г. П. Грайсом в 1980-х годах.
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Доказательство «от противного » (лат. contradictio in contrarium) в математике — вид доказательства, при котором «доказывание» некоторого суждения (тезиса доказательства) осуществляется через опровержение отрицания этого суждения — антитезиса. Этот способ доказательства основывается на истинности закона двойного отрицания в классической логике.
Условно-разделительное умозаключение (также полилемма, лемматическое умозаключение) — умозаключение, посылки которого состоят из одного разделительного суждения и нескольких условных. Частные случаи с двумя и тремя условными высказываниями имеют собственные названия — дилемма и трилемма соответственно.
Ана́лиз (др.-греч. ἀνάλυσις «разложение, расчленение») — в философии, в противоположность синтезу, анализом называют логический приём определения понятия, когда данное понятие раскладывают по признакам на составные части, чтобы таким образом сделать познание его ясным в полном его объёме.
Заключе́ние — логическая противоположность основанию в логическом выводе. Суждение, считающееся истинным в том случае, когда истинными признаются его предпосылки.В быту понятие используется примерно с тем же значением, обозначая, в широком смысле, любой предположительно правильный вывод или следствие из чего-нибудь, как, например, во фразе «Я пришел к заключению, что вы были правы» или в выражении «заключение экспертов».
Деду́кция (лат. deductio — выведение, также дедуктивное умозаключение, силлогизм) — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего. Цепь умозаключений (рассуждений), где звенья (высказывания) связаны между собой логическими выводами.
Подробнее: Дедуктивное умозаключение
Трюи́зм , также труизм (англ. truism, от true «верный, правильный») — общеизвестная, избитая истина, банальность. Трюизмом считают нечто, что не может подвергаться сомнению и настолько очевидно, что упоминается лишь как напоминание, либо как риторическое или литературное высказывание.
Аргументационная
теория , или аргументация, является междисциплинарным исследованием о том, как выводы могут быть достигнуты через череду логических рассуждений; то есть, претензии, основанные, крепко или нет, на предпосылках. Она включает в себя искусство и науки гражданской дискуссии, диалога, разговора, и убеждения. Она изучает правила вывода, логики и процедурных правил в обоих искусственных и реальных условиях мира.
Фаллибилизм (от лат. fallibilis — подверженный ошибкам, погрешимый) — направление постпозитивизма, согласно которому любое научное знание принципиально не является окончательным, а есть лишь промежуточная интерпретация истины, подразумевающая последующую замену на лучшую интерпретацию. Принцип фаллибилизма пересекается с принципом толерантности Поппера.
«Философский зомби » (англ. philosophical zombie, также употребляются англ. p-zombie, англ. p-zed) — гипотетическое существо, которое неотличимо от нормального человека за исключением того, что у него отсутствует сознательный опыт, квалиа (лат. qualia), или способность ощущать (англ. sentience). Когда зомби, например, колет себя острым предметом, то он не чувствует боли. В то же время он ведёт себя так, как будто действительно её чувствует (он может сказать «ай» и отскочить от раздражителя, или сказать...
Дефляционная теория истины или дефляционизм (от лат. deflatio — «сдувание») — семейство теорий, объединяемых заявлениями о том, что утверждения, объявляющие истинность некоего высказывания, не придают свойство истинности такому высказыванию.
Объяснение является набором утверждений, обычно построенных для описания набора фактов, в которых уточняются причины, контекст и последствия этих фактов. Это описание может устанавливать правила или законы и может разъяснять существующие правила и/или законы в отношении объектов и явлений, которые рассматриваются. Компоненты объяснения могут быть неявными и быть переплетены друг с другом.
Тео́рия дескри́пций (англ. Theory of descriptions) — теория описаний английского математика и философа Бертрана Рассела, известная также как Теория дескрипций Рассела (англ. Russell's Theory of Descriptions (RTD)). Впервые была опубликована в британском академическом журнале Mind за 1905 год и стала самым существенным вкладом Рассела в развитие философии языка.
Индуктивное логическое программирование (Inductive Logic Programming, ILP) — раздел машинного обучения, который использует логическое программирование как форму представления примеров, фоновых знаний и гипотез. Получив описания уже известных фоновых знаний и набор примеров, представленных как логическая база фактов, система ILP может породить логическую программу в форме гипотез, объясняющую все положительные примеры и ни одного отрицательного.
Не следует путать с фальсификацией.Фальсифици́руемость (принципиальная опровержимость утверждения, опроверга́емость, крите́рий По́ппера) — критерий научности эмпирической или иной теории, претендующей на научность. Сформулирован К. Р. Поппером в 1935 году. Теория удовлетворяет критерию Поппера (является фальсифицируемой и, соответственно, научной) в том случае, если существует возможность её экспериментального или иного опровержения. Согласно этому критерию, высказывания или системы высказываний...
Подробнее: Фальсифицируемость
Апори́и Зено́на (от др.-греч. ἀπορία «трудность») — внешне парадоксальные рассуждения на тему о движении и множестве, автором которых является древнегреческий философ Зенон Элейский (V век до н. э.). Современники упоминали более 40 апорий Зенона, до нас дошли 9, обсуждаемые в «Физике» и в других трудах Аристотеля, а также в комментариях Симпликия, Филопона и Фемистия к Аристотелю; одна апория из этих 9 приводится также у Диогена Лаэртского, апории о множестве обсуждаются в диалоге Платона «Парменид...
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.Высказывание должно быть повествовательным предложением, и противопоставляются повелительным, вопросительным...
Абсу́рд (от лат. absurdus, «нестройный, нелепый»; от лат. ad absurdum, «исходящий от глухого») — нечто алогичное, нелепое, противоречащее здравому смыслу. Приведение чего-либо к абсурду (доведения до абсурда) означает доказать бессмысленность какого-либо положения тем, что логически развивая это положение, в итоге приходят к нелепости, которая явно вскрывает внутренние противоречия самого положения. Приведение к абсурду — весьма распространённый приём в спорах, к которому часто любили прибегать софисты...
Парадокс Ябло (англ. Yablo's paradox) — это логический парадокс, похожий на парадокс лжеца. Был опубликован Стефаном Ябло в 1993 году. Важность этого парадокса в том, что, хотя он похож на парадокс лжеца и разные его варианты, этот парадокс, по крайней мере на первый взгляд, избегает самореференции. Правда, многие считают, что это только на первый взгляд, и самореференция «спрятана» внутри парадокса.
Онтологи́ческий аргуме́нт , или Онтологическое доказательство бытия Бога, — одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в христианской теологии. Не существует точных критериев для классификации онтологических аргументов, но аргументы типично начинаются с определения Бога, а заканчиваются подведением итогов о необходимости его существования, используя главным образом причины априори и эмпирические наблюдения.
Телеологи́ческий аргуме́нт (греч. teleo — оканчивать, доводить до совершенства, до конца; logos — слово, суждение, разум, смысл) — аргумент в пользу существования Бога или какого-либо другого разумного творящего существа, основывающийся на явлении существования сложности или осмысленности в природе, к примеру, на существовании таких сложных существ как человек.
Тезис Дюэма — Куайна — утверждение о невозможности окончательного определения истинности научной теории.
Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит...
«Боинг-747» к полёту готов — подзаголовок главы 4 («Почему бога почти наверняка нет») книги Ричарда Докинза «Бог как иллюзия». В этом месте Докинз показывает, почему, по его мнению, дарвиновский естественный отбор является единственным логически удовлетворительным решением проблемы возникновения сложного из простого.
Аргумент от чудес (англ. argument from miracles) — это теологический аргумент в пользу существования Бога. Наличие чудес утверждается как доказательство существования Бога или иной сверхъестественной силы. Примеры известных защитников аргумента: К. С. Льюис, Г. К. Честертон и Уильям из Оккама.
Подмена тезиса (лат. ignoratio elenchi) — логическая ошибка и один из демагогических приёмов, основанных на опровержении фиктивной точки зрения с целью обоснования другого утверждения.
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Трансдуктивное умозаключение (лат. traductio — перемещение) — умозаключение, в котором посылки и заключение (вывод) являются суждениями одинаковой степени общности, т.е., когда вывод идёт от знания определённой степени общности к новому знанию, но той же степени общности .
Темпоральная логика (англ. temporal (от лат. tempus) logic) — это логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале.
Метод Сократа — метод, названный в честь древнегреческого философа Сократа, основывающийся на проведении диалога между двумя индивидуумами, для которых истина и знания не даны в готовом виде, а представляют собой проблему и предполагают поиск. Этот метод часто подразумевает дискуссию, в которой собеседник, отвечая на заданные вопросы, высказывает суждения, обнаруживая свои знания или, напротив, своё неведение.
Верифика́ция (от лат. verum «истинный» + facere «делать») в различных сферах деятельности человека может подразумевать...
Парадо́кс во́ронов (англ. Raven paradox), известный также как парадокс Гемпеля (нем. Hempels paradox) или во́роны Гемпеля — парадокс подтверждения, сформулированный немецким математиком Карлом Густавом Гемпелем в 1940-х годах, для иллюстрации того, что индуктивная логика иногда входит в противоречие с интуицией. Наиболее распространённый метод разрешения этого парадокса состоит в применении теоремы Байеса, которая соотносит условную и предельную вероятность стохастических событий.
Абдукция (от лат. ab — от и лат. ducere — водить) — познавательная процедура выдвижения гипотез.
Иллюзиони́зм - в широком смысле, это название для философской позиции в отношении некоторых явлений; для способа рассмотрения таких явлений; в узком смысле - это название для нескольких конкретных философских теорий.