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