русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

Основная


Дата добавления: 2013-12-24; просмотров: 1396; Нарушение авторских прав


ЛИТЕРАТУРА

ПОНЯТИЙНО-ТЕРМИНОЛОГИЧЕСКИЙ СЛОВАРЬ КУРСА

(ГЛОССАРИЙ)

Абстрагирование – процесс отвлечения от свойств и отношений изучаемых предметов с целью более детального исследования интересующих исследователя особенностей изучаемого предмета.

Анализ –мысленное расчленение предмета на составные части.

Аргументация – способ рассуждения, включающий доказательство и опровержение, в процессе которого создается убеждение в истинности тезиса и ложности антитезиса как у самого доказывающего, так и оппонентов.

Деление понятия – логическая операция, раскрывающая объем понятия.

Дилемма– условно-разделительное умозаключение, в котором одна посылка состоит из двух условных суждений, а другая является разделительным суждением, содержащим две альтернативы.

Доказательство – это логический прием, обосновывающий истинность какого-либо суждения с помощью других суждений, истинность которых уже доказана.

Доказательство косвенное – доказательство, при котором истинность выдвинутого тезиса обосновывается путем доказательства ложности антитезиса.

Доказательство прямое – это доказательство, при котором истинность выдвинутого тезиса непосредственно обосновывается аргументами.

Закон мышления (логический закон) – это внутренняя, существенная, необходимая связь между мыслями.

Истинность мысли – адекватное отражение действительности познающим субъектом.

Категорический силлогизм – вид дедуктивного умозаключения, построенного из двух истинных категорических суждений, в которых субъект и предикат связаны средним термином.

Логика формальная–наука о формах, законах и операциях правильного мышления.

Логические термины – термины, относящиеся к логической форме мысли и не имеющие самостоятельного содержания.

Модусы фигур категорического силлогизма –разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключения.



Обобщение – переход от ряда фактов, ситуаций, событий к их отождествлению в каких-либо свойствах с последующим образованием множеств, соответствующих этим свойствам.

Обобщение понятия – логическая операция перехода от понятия с меньшим объемом, но с большим содержанием, к понятию с большим объемом, но с меньшим содержанием.

Объем понятия – совокупность предметов, обладающих признаками, составляющими содержание данного понятия.

Ограничение понятия – логическая операция перехода с большим объемом, но с меньшим содержанием к понятию с меньшим объемом, но с большим содержанием.

Определение понятия – логическая операция установления значения того или иного значения или термина.

Определение номинальное – определение, посредством которого формулируется значение некоторого термина.

Определение реальное – определение, с помощью которого предмет выделяется среди других смежных с ним предметов по некоторому отличительному признаку.

Опровержение – это логический прием, при помощи которого устанавливается ложность или недоказанность выдвинутого положения.

Основания доказательства – это истинные суждения, с помощью которых обосновывается тезис доказательства.

Парадокс – это рассуждение, доказывающее как истинность, так и ложность некоторого суждения.

Паралогизм – непреднамеренная ошибка, допущенная человеком в мышлении.

Понятие – форма мысли, отражающая предметы в их существенных и общих признаках.

Понятие абстрактное– понятие, в котором мыслятся свойства предметов или отношений между ними.

Понятие безотносительное– понятие, описывающее предметы, существующие раздельно.

Понятие единичное – понятие, объем которого включает только один предмет.

Понятие конкретное – понятие, в котором обобщаются конкретные предметы и явления действительности.

Понятие нерегистрирующее – общее понятие, относящееся к неопределенному числу предметов.

Понятие общее – понятие, объем которого включает два или более однородных предметов (явлений, событий).

Понятие отрицательное – понятие, в котором признаки, составляющие содержание понятия, отрицаются.

Понятие положительное– понятие, в котором отражаются присущие предмету признаки.

Понятие пустое – понятие, объем которого не включает ни одного предмета.

Понятие регистрирующее – понятие, в котором число мыслимых в нем предметов поддается реальному учету, регистрации.

Понятие соотносительное – понятие, отражающее предметы, существующие только взамосвязанно и одновременно друг с другом.

Понятия несовместимые– понятия, объемы которых не совпадают.

Понятия совместимые – понятия, объемы которых полностью или частично совпадают.

Посылки силлогизма – суждения силлогизма, из которых делается вывод.

Правильность мысли – соответствие ее связей законам и правилам логики.

Предикат суждения – это понятие о признаке предмета, рассматриваемом в суждении.

Полисиллогизм (сложный силлогизм) – это два или несколько простых категорических силлогизмов, связанных друг с другом таким образом, что заключение одного из них становится посылкой для другого.

Силлогизм – умозаключение, в котором из двух данных суждений (посылок) выводится третье суждение (заключение).

Синтез – мысленное соединение составных частей предмета.

Содержание понятия – совокупность существенных признаков, отраженных в понятии.

Софизм – преднамеренная ошибка в мышлении с целью запутать своего противника и выдать ложное суждение за истинное.

Сравнение– логические прием, при помощи которого устанавливается сходство или различие предметов действительности.

Субъект суждения – это понятие о предмете суждения.

Суждение – форма мышления, в которой что-либо утверждается или отрицается о предмете, его признаках или свойствах.

Суждение атрибутивное – суждение, отражающее связи предметов и их признаков.

Суждение дизъюнктивное (разделительное) – сложное суждение, образованное посредством связи двух или нескольких простых суждений логическим союзом «или».

Суждение импликативное(условное) – суждение, образованное посредством связи нескольких простых суждений с помощью союза «если…то…».

Суждение конъюнктивное(соединительное) – сложное суждение, образованное посредством связи двух или нескольких простых суждений логическим союзом «и».

Суждение об отношении – суждение, в котором говорится, что определенные отношения имеют место (или не имеют места) между элементами предметов.

Суждение сложное – суждение, состоящее более чем из одного простого суждения.

Суждение существования – суждение, в котором в качестве утверждаемого или отрицаемого признака выступает существование предмета в действительности.

Суждение эквивалентности (тождества) – сложное суждение, образованное посредством связи простых суждений союзом «если только, если», «тогда и только тогда».

Тезис доказательства – это суждение, истинность которого требуется доказать.

Термин нераспределенный – термин суждения, объем которого частично включается в объем другого термина или частично исключается из него.

Термин распределенный – термин суждения, объем которого полностью входит в объем другого термина или полностью исключается из него.

Термины силлогизма– понятия, входящие в состав силлогизма.

Умозаключение– форма мышления, в которой из одного или нескольких суждений, называемых посылками, вытекает новое суждение, называемое заключением, или выводом.

Умозаключение дедуктивное (дедукция) – умозаключение, в котором из общего правила делается вывод для частного случая.

Умозаключение индуктивное (индукция) – умозаключение, в котором из нескольких частных случаев выводится общее правило.

Умозаключение непосредственное – умозаключение, в котором вывод делается из одной посылки.

Умозаключение опосредованное – умозаключение, в котором вывод делается из нескольких посылок.

Умозаключение по аналогии – умозаключение, в котором на основе сходства предметов (объектов) в одних признаках делается вывод об их сходстве и в других признаках.

Умозаключение разделительное – это дедуктивное умозаключение, в котором одна или несколько посылок – разделительные (дизъюнктивные) суждения.

Умозаключение разделительно-категорическое – такое умозаключение, одна из посылок которого – разделительное суждение, другая – простое категорическое суждение.

Умозаключение условное – такое опосредствованное умозаключение, в котором обе посылки являются условными суждениями.

Умозаключение условно-категорическое – это такое дедуктивное умозаключение, в котором одна из посылок – условное суждение, а другая – простое категорическое суждение.

Умозаключение условно-разделительное – это такое дедуктивное умозаключение, в котором одна посылка состоит из двух или большего числа условных суждений, а другая является разделительным суждением.

Фигуры категорического силлогизма – формы силлогизма, различаемые по положению среднего термина в посылках.

Форма логическая (форма мысли) – способ связи составных частей какого-либо определенного содержания конкретной мысли, выраженный специфическим для логики языком символов.

Форма доказательства (демонстрация) – это способ логической связи между тезисом и основаниями доказательства.

Формализация – процесс записи с помощью символов логики высказываний некоторого выражения естественного языка.

Энтимема (сокращенный категорический силлогизм) – это силлогизм, в котором пропущена одна из посылок или заключение.

Эпихейрема – это такой сложносокращенный силлогизм, обе посылки которого представляют собой сокращенные простые категорический силлогизмы (энтимемы).

 

1. Бартон В. И. Логика : учебное пособие для вузов. М., 2007. 363 с.

ISBN 978-985-475-291-4

1. Берков В.Ф. Логика : учебное пособие для вузов. М., 2007. 416 с.

ISBN 978-985-470-656-6

2. Гетманова А.Д. Логика : учебник для студентов высших учебных заведений. М., 2010. 415 с. 978-5-370-01881-7 ISBN978-5-370-01881-7

3. Ивин А. А. Логика и теория аргументации : учеб. пособие. М., 2007. 220 с. ISBN 978-5-8297-0311-0. *

4. Ивлев Ю. В. Логика. Учебник. М., 2008.287 с. ISBN 978-5482-01742

5. Рузавин Г. И. Основы логики и аргументации : учеб. пособие. М., 2007. 320 с. ISBN 978-5-238-01264-3.

6. Светлов В. А. Логика : учеб. пособие. СПб., 2011. 320 с. ISBN 978-5-49807-815-1



<== предыдущая лекция | следующая лекция ==>
 | ОРГАНИЗАЦИОННЫЙ ПЕРИОД В ЛАГЕРЕ


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 4.377 сек.