Текст — зафиксированная на каком-либо материальном носителе человеческая мысль; в общем плане связная и полная последовательность символов.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Жанр — обобщение произведений литературы, произведений изобразительного искусства, музыки, фильмов и других видов искусства в отдельные классы или категории по критерию наличия каких-либо определённых характеристик. «Общность художественных произведений, складывающаяся в процессе исторического развития искусства, на основе их самоопределения по предметному смыслу в результате взаимодействия гносеологической (познавательной) и аксиологической (оценочной) функций художественной деятельности». Такое предварительное определение не исчерпывает всех аспектов жанровой дифференциации произведений искусства. Сложность заключается в том, что понятие «жанр» находится как бы вне любых морфологических систем и, одновременно, относится к любым её компонентам и системообразующим связям.
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Выска́зывание в математической логике — предложение, выражающее суждение. Если суждение, составляющее содержание (смысл) некоторого высказывания, истинно, то и о данном высказывании говорят, что оно истинно. Сходным образом ложным называют такое высказывание, которое является выражением ложного суждения. Истинность и ложность называются логическими, или истинностными, значениями высказываний.
Априо́ри — знание, полученное до опыта и независимо от него, то есть знание, как бы заранее известное. Этот философский термин получил важное значение в теории познания и логике благодаря Иммануилу Канту. Идея знания априори связана с представлением о внутреннем источнике активности мышления. Учение, признающее знание априори, называется априоризмом. Противоположностью априори является апостериори — знание, полученное из опыта.
Противоре́чие — отношение двух понятий и суждений, каждое из которых является отрицанием другого.
Деду́кция — вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. В дедукции вывод строится от общих положений к частным случаям. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы, имеющие характер общих утверждений (общее), а концом — следствия из посылок, теоремы (частное). Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства.
Диодор Крон, также Диодор Диалектик , родился в Иасе, — древнегреческий философ, диалектик, главный представитель т. н. Диалектической школы, возникшей на позднем периоде существования Мегарской школы, в отличие от «мегариков» и «эристиков» — Евбулида и Алексина. Жил и философствовал в Афинах и Александрии, бывал при дворе Птолемея Сотера.
«Категории» — одно из самых ранних сочинений Аристотеля и первый по порядку трактат в его «Органоне», в котором рассматриваются возможные осмысленные типы высказываний о любом предмете. Автор выделяет десять типов таких высказываний, или категорий. Они представляют собой все типы предикатов, которые могут быть высказываны в суждении о каком-либо предмете.
Причи́нность — философское и физическое понятие; причинная взаимообусловленность событий во времени. Детерминация, при которой при воздействии одного объекта (причина) происходит соответствующее ожидаемое изменение другого объекта (следствие). Одна из форм отношения, характеризующаяся генетичностью, необходимостью. На основании её понятия строились механистическая картина мира, концепции детерминизма.
Акциде́нция — философский термин, введенный в его греческом варианте Аристотелем и обозначающий случайное, почти всегда несущественное свойство вещи.
Философский зомби — гипотетическое существо, идентичное человеку по физическому телу вплоть до элементарных частиц и кварков, но не имеющее сознания. Философский зомби неотличим от человека за исключением того, что у него отсутствует сознательный опыт, квалиа или способность ощущать. Когда зомби, например, колет себя острым предметом, то он не чувствует боли. В то же время он ведёт себя так, как будто действительно её чувствует, хотя у зомби фактически нет опыта боли, как у предполагаемого «нормального» человека. Однако философский зомби намеренно пытается подражать человеку в болевом ощущении поскольку последними воспоминаниями на клеточном уровне о том моменте когда он был человеком и была боль, считая что в случае воспроизведения последнего болевого ощущения и получение последнего прижизненного опыта он сможет вернуть себе полноценную жизнь с чувствами и страстями.
Абдукция — познавательная процедура выдвижения гипотез, иногда называемая также «выведение наилучшего объяснения»; метод логического мышления, цель которого — дать максимально правдоподобную интерпретацию тому, что считается истинным.
Сле́дствие — используемое в философии и логике в учении о суждениях, заключениях и доказательствах понятие, означающее следствие, вывод в отношении к причине — антецеденту.
Коннексивная логика — один из классов альтернативных или неклассических логик, предназначенных для исключения парадоксов материальной импликации. Отличительной характеристикой коннексивной логики от других неклассических логик является принятие так называемого тезиса Аристотеля — формулы
- ~(~p → p)
Индикативное условие — условное предложение естественного языка, придаточная часть которого имеет одну из форм синтаксического индикатива и содержит информацию о том, что ситуация является потенциальной в прошедшем, настоящем и будущем временах, а грамматическая форма ограничивает их обсуждением того, что может быть истиной. Индикативные (указательные) условные предложения обычно противопоставляются контрфактическим условиям, которые имеют дополнительное грамматическое оформление для рассуждения о ситуациях, которые уже не являются вероятными.
Утверждение по следствию — логическая ошибка, заключающаяся в том, что из истинного условного высказывания некорректно вытекает его обращеие, хотя это высказывание может не соответствовать действительности. Такая ситуация возникает, когда у консеквента (следствия) есть другие возможные антецеденты.
Контрфактуалы, или контрфактические высказывания — условные предложения в сослагательной форме, подразумевающей, что реальное положение дел отлично от описываемого антецедентом и консеквентом, взятыми в изъявительной форме.
