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