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