Связанные понятия
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Силлоги́зм (др.-греч. συλ-λογισμός «подытоживание, подсчёт, умозаключение» от συλ- (συν-) «вместе» + λογισμός «счёт, подсчёт; рассуждение, размышление»)...
Деду́кция (лат. deductio — выведение, также дедуктивное умозаключение, силлогизм) — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего. Цепь умозаключений (рассуждений), где звенья (высказывания) связаны между собой логическими выводами.
Подробнее: Дедуктивное умозаключение
Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел.
Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.
Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений.
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.
Инду́кция (лат. inductio — наведение, от лат. inducere — влечь за собой, установить) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.Объективным основанием индуктивного умозаключения является всеобщая связь явлений в природе.
Подробнее: Индуктивное умозаключение
Монадоло́гия — работа Готфрида Лейбница 1714 года, повествующая о монадах (др.-греч. μονάς — единица, простая сущность) — простых субстанциях, не имеющих частей. Монадологию составляют 90 коротких абзацев, связанных логически.
Апори́я (греч. ἀπορία «безысходность, безвыходное положение») — это вымышленная, логически верная ситуация (высказывание, утверждение, суждение или вывод), которая не может существовать в реальности. Апоретическое (апорийное) суждение фиксирует несоответствие эмпирического факта и описывающей его теории. Апории известны со времён Сократа. Наибольшую известность получили апории Зенона из Элеи.
Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.Высказывание должно быть повествовательным предложением, и противопоставляются повелительным, вопросительным...
Доведение до абсурда (лат. reductio ad absurdum), или апагогия («сведе́ние», др.-греч. Εις άτοπον απαγωγή), — логический приём, которым доказывается несостоятельность какого-нибудь мнения таким образом, что или в нём самом, или же в вытекающих из него следствиях обнаруживается противоречие.
Мо́дус (от лат. modus) — мера, образ, способ, вид существования или действия чего-либо. В логике применяется для обозначения разновидностей форм умозаключений. Спиноза полагал, что модусы — различные состояния, которые принимает единая субстанция; представляет собой переходную форму.
Размышления о первой философии (Meditationes de prima philosophia) — произведение Рене Декарта. Считается одним из главных сочинений философа, с наибольшей полнотой отражающим основные проблемы его метафизической системы.
Зако́н доста́точного основа́ния — принцип, согласно которому каждое осмысленное выражение (понятие, суждение) может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истинным.
Саморефере́нция (самоотносимость) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.
Аргуме́нт (до́вод) — логическая посылка, используемая отдельно или в совокупности с другими с целью доказательства истинности определённого утверждения — тезиса. Чтобы тезис можно было считать истинным, все аргументы должны содержать в себе истинную информацию, достаточную для доказательства тезиса с помощью верных логических умозаключений.
Противоре́чие (контрадикторность) — отношение двух понятий и суждений, каждое из которых является отрицанием другого. В формальной логике противоречие считается недопустимым согласно закону противоречия. Однако, как показали Кант (антиномии) и Гегель, противоречие есть необходимый этап и результат всякого реального мышления — познания. Если у Канта, и в метафизике вообще, логическое противоречие трактуется как феномен, появляющийся в мышлении в силу его несовершенства или его неправомерного использования...
Универсалия (от лат. universalis — всеобщий) — термин средневековой философии, обозначающий общие понятия.
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Логический квадрат — это схематичный способ классификации суждений. Он имеет форму геометрического квадрата, чья система классификации включает все атрибутивные (единичные, общие и частные) суждения. Причем общие и единичные суждения рассматриваются как тождественные объему субъекта.
Тео́рия дескри́пций (англ. Theory of descriptions) — теория описаний английского математика и философа Бертрана Рассела, известная также как Теория дескрипций Рассела (англ. Russell's Theory of Descriptions (RTD)). Впервые была опубликована в британском академическом журнале Mind за 1905 год и стала самым существенным вкладом Рассела в развитие философии языка.
Тождество — философская категория, выражающая равенство, одинаковость предмета, явления с самим собой или равенство нескольких предметов. О предметах А и В говорят, что они являются тождественными, одними и теми же, если и только если все свойства (и отношения), которые характеризуют А, характеризуют и В, и наоборот (закон Лейбница). Однако, поскольку действительность постоянно изменяется, абсолютно тождественных самим себе предметов, даже в их существенных, основных свойствах не бывает. Тождество...
На эту страницу установлено перенаправление со страницы «A posteriori», см. также статью о музыкальном альбоме «A Posteriori».Апостерио́ри, а постерио́ри (лат. a posteriori букв. «из последующего») — знание, полученное из опыта. Противопоставляется априори — доопытному знанию. Значение термина исторически менялось: нынешнее значение установилось благодаря И. Канту и его работе "Критика чистого разума" (впервые опубликована в 1781 году, второе издание в 1787 г.) Однако, в латинской форме, выражения...
Подробнее: Апостериори
Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Всео́бщее (нем. Allgemeinheit) — абстрактное единство предметов согласно определенному свойству или отношению, благодаря которому они мысленно объединяются в некоторое множество, класс, род или вид.
Логика высказываний , или пропозициональная логика (лат. propositio — «высказывание»), или исчисление высказываний — это раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, пропозициональная логика не рассматривает внутреннюю структуру простых высказываний, она лишь учитывает, с помощью каких союзов и в каком порядке простые высказывания сочленяются в сложные.
Антино́мия (др.-греч. ἀντι-νομία — противоречие в законе или противоречие закона самому себе; от др.-греч. ἀντι- — против + νόμος — закон) — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование, и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между двумя положениями, признаваемыми одинаково верными, или, другими словами, противоречие двух законов. Термин «антиномия» был предложен...
Аксио́ма (др.-греч. ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Теория действия — область философского исследования, предметом которой являются действия, прежде всего действия человека. В центре современных дискуссий вопросы природы действий, их адекватного описания и объяснения.
Феноменали́зм — философское учение о том, что мы познаем не сущность вещей, «вещи в себе», а лишь явления.
Су́щее — существительное, образованное от причастия «существующее», означает «то, что есть».
Антите́зис (др.-греч. ἀντίθεσις «анти́тесис» — противоположение; лат. antithesis «антите́зис») — суждение, противопоставляемое тезису.
Априо́ри (лат. a priori — буквально «от предшествующего») — знание, полученное до опыта и независимо от него (знание априори, априорное знание), то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори (лат. a posteriori — от последующего...
Логика научного исследования (нем. Logik der Forschung) — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Элеа́ты , элейцы, Элейская школа — древнегреческая философская школа раннего периода, существовавшая в конце VI − первой половине V веков до н. э., в городе Элее, в Великой Греции (юг Италии). В отличие от большинства досократиков, элейцы не занимались вопросами естествознания, но разрабатывали теоретическое учение о бытии (предложив впервые сам этот термин), заложив фундамент классической греческой онтологии.
Объективный идеализм — совокупное определение философских школ, подразумевающих существование независящей от воли и разума субъекта реальности внематериальной модальности.
Врождённые идеи — представления и знания, которые не могут быть приобретены, поскольку они не имеют отношения к чувственному миру (напр., математические и логические аксиомы, нравственные начала).
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Определе́ние , дефини́ция (лат. definitio — предел, граница) — логическая операция раскрывающая содержание имени посредством описания отличительных признаков предметов или явлений.
Кауза́льность (лат. causalis) — причинность; причинная взаимообусловленность событий во времени. Детерминация, при которой при воздействии одного объекта (причина) происходит соответствующее ожидаемое изменение другого объекта (следствие). Одна из форм отношения, характеризующаяся генетичностью, необходимостью. Каузальность выполняет важнейшую методологическую роль в научном и повседневно-бытовом познании. На основании её понятия строились механистическая картина мира, концепции детерминизма (Лаплас...
Метод Бэкона — индуктивный метод познания, представленный Ф. Бэконом в сочинении «Новый Органон» (1620).
О душе (греч. Περὶ Ψυχῆς; лат. De anima) — сочинение Аристотеля, посвященное теме души. В отличие от своего учителя Платона, Аристотель настаивает, что многие состояния души зависят от состояния тела. В самом широком смысле душа является принципом жизни для всех существ, — как для растений, так и для животных.
Существова́ние (лат. exsistentia/existentia от exsisto/existo — выступаю, появляюсь, выхожу, возникаю, происхожу, оказываюсь, существую) — аспект всякого сущего, в отличие от другого его аспекта — сущности.
Новый Органон (Novum Organum scientiarum) — трактат английского философа, основоположника эмпиризма Фрэнсиса Бэкона, излагающий новое понимание сути науки. Издан в 1620 году в двух книгах. Является второй частью задуманного Бэконом труда «Великое восстановление наук» и самой известной из работ Бэкона.
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.