И информационных справочных систем (при необходимости)
⇐ ПредыдущаяСтр 6 из 6
В Институте установлено следующее лицензионное программное обеспечение:
Описание материально-технической базы, необходимой Для осуществления образовательного процесса по дисциплине (модулю)
ГЛОССАРИЙ
Аргументация – приведение логических доводов для обоснования какого-либо положения. Вид – каждый класс предметов, который входит в объем более широкого класса предметов, называющегося родом. Высказывание – термин, принятый в математической логике для обозначения какого-либо предложения, выраженного в естественном или искусственном языке. Гипотеза – научное предположение о причинах возникновения и характере развития какого-либо предмета, процесса, явления; научное допущение, истинностное значение которого неопределенно. Дедукция – разновидность умозаключения, в котором мысль движется от общего к частному. Денотат – непосредственное обозначение имени предмета. Дефиниендум – определяемая часть понятия; то, что определяется. Дефиниенс – определяющая часть понятия; то, с помощью чего непосредственно что-либо определяется.
Дефиниция – логическая операция определения, раскрывающая содержание понятия или значение термина. Дизъюнкция – логический союз «или»; логическая операция образования сложных высказываний из простых путем соединения последних с помощью союза «или»; логическое сложение. Дихотомия – деление на две части; логическая операция распределения объема делимого родового понятия на два противоречащих друг другу видовых понятия. Доказательство – логическое действие, в процессе которого истинность какой-либо мысли обосновывается с помощью других мыслей. Знак – символ, который применяется для обозначения какого-либо предмета, процесса, явления, события, действия. Импликация – логический союз «если, то...»; логическая операция, связывающая два простых высказывания в сложное высказывание при помощи логической константы «если, то...». Индукция – разновидность умозаключения, в котором мысль движется от частного к общему, от знания меньшей степени общности к знанию большей степени общности. Имя – слово или словосочетание, обозначающее предмет мысли. Квантор – слово или группа слов, которые иногда ставятся перед субъектом и обозначают, мыслится предмет в полном объеме или только в части его; логический оператор в математической логике. Квантор общности – логический оператор, применяемый для выражения общих (универсальных) утверждений. В естественном языке обозначается словами: «все»; «ни один». Квантор существования – логический оператор, применяемый для выражения частных утверждений. В естественном языке обозначается словами: «существуют»; «некоторые». Классификация – разновидность логической операции деления понятий; последовательное распределение объема родового понятия на объемы видовых понятий, которое осуществляется рядами, ветвями, уступом или смешанным путем. Концепт – опосредованное, косвенное обозначение имени предмета. Конъюнкция – логический союз «и»; логическая операция образования сложных высказываний из простых путем соединения последних с помощью союза «и»; логическое умножение. Круги Эйлера – графическое обозначение объемных отношений между понятиями, терминами.
Логическая форма – внешнее отвлечение, выражение структуры мысли безотносительно к ее содержанию. Логическая операция – действие, направленное на решение какой- либо логической задачи: определения, деления, обобщения, ограничения, сложения, умножения, вычитания понятий; превращения, обращения суждений и т.д. Логическая переменная – символ, допускающий любую подстановку (а, в, с; x, y, z; p, q, r...). Логическая постоянная (константа, союз) – выражение, которое остается неизменным в любых рассуждениях, независимо от их содержания. Логический закон – существенная, необходимая, общая, повторяющаяся связь между мыслями в процессе рассуждения. Логический квадрат – графическое изображение отношений по истинности между основными видами простых атрибутивных суждений: общеутвердительных, частноутвердительных, общеотрицательных и частноотрицательных. Логический принцип – правило рассудочной деятельности, которое сформулировано на основе логических законов и практического опыта речевого общения. Модус – свойство, присущее предмету не постоянно, а лишь в некоторых состояниях, в отличие от атрибута, который является неотъемлемым свойством предмета, и без него предмет не может ни существовать, ни мыслиться; разновидность силлогизмов по характеру посылок и вывода. Обращение – логическая операция, в результате которой меняются местами субъект и предикат при сохранении качества суждения; обращение суждения является непосредственным умозаключением. Опровержение – обоснование ложности рассуждения; аргументированное разрушение несостоятельности выдвинутого положения, а также доводов и способов его защиты. Отрицание – логический союз «не», «неверно, что...»; логическая операция противопоставления утвердительных и отрицательных высказываний с помощью союзов «не», «неверно, что...». Понятие – логическая форма мышления, с помощью которой фиксируются существенные общие и отличительные признаки предмета. Превращение – логическая операция, в ходе которой общеутвердительные суждения преобразуются в общеотрицательные и наоборот, частноутвердительные в частноотрицательные и наоборот; является непосредственным умозаключением.
Предикат – свойство или отношение, которое приписывают предмету мысли в суждении; логическое сказуемое. Простой категорический силлогизм – разновидность дедуктивного умозаключения, в котором из двух простых категорических суждений – посылок, соединенных средним термином, получается категорический вывод. Противопоставление предикату – логическая операция, в ходе которой осуществляется сначала превращение, а затем обращение превращенного суждения; является непосредственным умозаключением. Противопоставление субъекту – логическая операция, в ходе которой осуществляется сначала обращение, а затем превращение обращенного суждения; является непосредственным умозаключением. Род – логическая характеристика более широкого по объему класса предметов. Связка – слово или группа слов, которые соединяют субъект и предикат суждения. Средний термин – в простом категорическом силлогизме понятие, которое содержится в обеих посылках, связывает их, но отсутствует в выводе. Субъект – предмет мысли в суждении; логическое подлежащее. Суждение – логическая форма мышления, в которой что-либо утверждается или отрицается о предмете мысли, и это высказывание может быть истинным или ложным. Таблицы истинности – графическое отражение отношений между сложными высказываниями по истинности. Традукция – вывод по аналогии; умозаключение от частного сходства между предметами к более глубокому и всестороннему сходству между ними. Эквиваленция – логический союз «если и только если, то...», «тогда и только тогда, когда...»; сильная (двойная) импликация; логическая операция, позволяющая связывать друг с другом равносильные, тождественные высказывания. Язык – знаковая система, созданная для целей познания и коммуникации.
Склярова Елена Алексеевна, Пасько Елена Викторовна
Логика
Читайте также: A) Магнітоелектрична система. Воспользуйтесь поиском по сайту: ©2015 - 2024 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...
|