Пролог — язык и система логического программирования, основанные на языке предикатов математической логики дизъюнктов Хорна, представляющей собой подмножество логики предикатов первого порядка.
Фортра́н — первый язык программирования высокого уровня, получивший практическое применение, имеющий транслятор и испытавший дальнейшее развитие. Создан в период с 1954 по 1957 год группой программистов под руководством Джона Бэкуса в корпорации IBM. Название Fortran является сокращением от FORmula TRANslator. Фортран широко используется в первую очередь для научных и инженерных вычислений. Одно из преимуществ современного Фортрана — большое количество написанных на нём программ и библиотек подпрограмм.
Зна́ние — осведомлённость или понимание чего-либо, что можно логически или фактически обосновать и практически проверить опытом. Согласно распространённой трактовке современной эпистемологии, знание — это реальное положение дел, обоснованное фактами и рациональными аргументами убеждение человека. Говоря о знании, чаще всего подразумевают отражение действительности в сознании человека.
Филосо́фия нау́ки — раздел философии, изучающий понятие, границы и методологию науки. Также существуют более специальные разделы философии науки, например философия математики, философия физики, философия химии, философия биологии, философия медицины, философия психологии.
Теоре́ма — математическое утверждение, истинность которого устанавливается путём доказательства. Доказательства теорем опираются на ранее доказанные теоремы и общепризнанные утверждения (аксиомы).
Демагогия — набор ораторских и полемических приёмов и средств, позволяющих ввести аудиторию (народ) в заблуждение и склонить её на свою сторону с помощью ложных теоретических рассуждений, основанных на логических ошибках.
Непротиворечи́вость — свойство формальной системы, заключающееся в невыводимости из неё противоречия. Если отрицание какого-то предложения из системы может быть доказано в теории, то о самом предложении говорится, что оно опровержимо в ней. Непротиворечивость системы означает, что никакое предложение не может быть в ней и доказано, и вместе с тем опровергнуто. Требование непротиворечивости является обязательным требованием к научной и, в частности, логической теории. Противоречивая система заведомо несовершенна: наряду с истинными положениями она включает также ложные; в ней что-то одновременно и доказывается, и опровергается. Во многих системах имеет место закон Дунса Скота. В этих условиях доказуемость противоречия означает, что становится доказуемым.
Зако́н доста́точного основа́ния — принцип, согласно которому каждое осмысленное выражение (суждение) может считаться достоверным только в том случае, если оно было доказано, то есть были приведены достаточные основания, в силу которых его можно считать истинным.
Филосо́фия языка́ — исследовательская область философии, выявляющая основополагающую роль языка и речи в познании и структурах сознания и знания.
Навига́ция :
- Определение местоположения, скорости и ориентации движущихся объектов.
- Мореплавание, судоходство.
- Период времени в году, когда по местным климатическим условиям возможно судоходство.
- Основной раздел судовождения, в котором разрабатываются теоретические обоснования и практические приёмы вождения судов.
Апелляция к личности — логическая ошибка, при которой аргумент опровергается указанием на характер, мотив или другой атрибут лица, приводящего аргумент, или лица, связанного с аргументом, вместо указания на несостоятельность самого аргумента, объективные факты или логические рассуждения.
Многозначная логика — это логика высказываний, в которой существует более двух истинностных значений логического выражения. Традиционно, в классической логике Аристотеля, мы имеем дело только с двумя возможными значениями — «истиной» или «ложью». Однако данная двухзначная логика может быть дополнена до n — значной с n > 2. Наиболее популярными в литературе являются трехзначная логика, конечнозначная и бесконечнозначная логики.
Аргумент в логике — это ряд утвердительных предложений (суждений), состоящий из посылок (доводов) и вывода.
Логические элементы — устройства, предназначенные для обработки информации в цифровой форме. Физически логические элементы могут быть выполнены механическими, электромеханическими, электронными, пневматическими, гидравлическими, оптическими и другими.
Калькулятор (calc.exe) — программа Microsoft Windows, предназначенная для выполнения несложных вычислительных операций: сложения, вычитания, умножения и деления и т. д. В калькуляторе также предусмотрены возможности выполнения более сложных операций для инженерных и статистических вычислений.
Логическая ошибка в логике, философии и прочих науках, изучающих познание — ошибка, связанная с нарушением логической правильности умозаключений. Ошибочность обусловлена каким-либо логическим недочётом в доказательстве, что делает доказательство в целом неверным.
Философский зомби — гипотетическое существо, идентичное человеку по физическому телу вплоть до элементарных частиц и кварков, но не имеющее сознания. Философский зомби неотличим от человека за исключением того, что у него отсутствует сознательный опыт, квалиа или способность ощущать. Когда зомби, например, колет себя острым предметом, то он не чувствует боли. В то же время он ведёт себя так, как будто действительно её чувствует, хотя у зомби фактически нет опыта боли, как у предполагаемого «нормального» человека. Однако философский зомби намеренно пытается подражать человеку в болевом ощущении поскольку последними воспоминаниями на клеточном уровне о том моменте когда он был человеком и была боль, считая что в случае воспроизведения последнего болевого ощущения и получение последнего прижизненного опыта он сможет вернуть себе полноценную жизнь с чувствами и страстями.
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений одни из которых являются посылками, а другие утвердительные предложения — логическими выводами.
Подме́на те́зиса — логическая ошибка и один из демагогических приёмов, основанных на опровержении фиктивной точки зрения с целью обоснования другого утверждения.
Антиавторитаризм — идеология, противоположная авторитаризму и авторитарной форме государственного устройства. Антиавторитарии провозглашают равенство всех перед законом и приоритет гражданских свобод. Данный термин иногда используют в качестве замены анархизма, идеологии, отрицающей роль авторитета и иерархии в общественных отношениях и государственной системе.