Скачать 396.2 Kb.
|
Противоположные понятия. Понятия А и В находятся в отношении противоположности (контрарности), если объемы этих понятий составляют два крайних вида одного и того же рода, причем сами признаки видовых понятий упорядочены по степеням изменения некоторого признака. Определение - логическая операция, раскрывающая содержание понятий, указывающая объем понятий или уточняющая значение имен (терминов). Определением через род и видовое отличие называют определение, в котором определяемые предметы выделяются через родовые признаки и видовое отличие. Генетические определения - определения, в которых множество определяемых предметов задается описанием способов их возникновения (происхождения) или способов их построения. Операциональное определение понятий - определение, в котором содержание понятий раскрывается через описание тех операций, посредством которых определяемые предметы могут быть обнаружены или измерены. Индуктивное определение - это определение, описывающее исходные объекты и правила, по которым из данных исходных объектов порождается (задается) множество других объектов. Синтаксическое определение - определение, используемое, как правило, для взаимозаменяемости определяемого (Dfd) и определяющего (Dfh). Реальные определения - определения, раскрывающие содержание понятий или указывающие на его объем, называются реальными. Номинальные определения - определение, уточняющее значение используемых в тех или иных целях терминов. Делением называется операция разбиения объема родового понятия на объемы видовых понятий. Логика высказывания - раздел логики, в котором изучаются различные связи между высказываниями. Логически истинное(общезначимое). Высказывание называется логически истинным, если оно истинно в каждой логически возможной ситуации (другими словами, результирующий столбец состоит из одних единиц). Рассуждением называют логическую операцию, в результате которой из множества одних высказываний, называемых посылками, по логическим правилам получаем новое высказывание, называемое заключением. Логическое следование. Из посылок А1, ..., Ак логически следует заключение В, если и только если те строки, в которых истинная каждая посылка, истинно и заключение. Выводом называется конечная последовательность формул, каждая из которых является либо посылкой, либо формулой, полученной из предшествующих формул этой последовательности по одному из правил, сформулированному в натуральном исчислении. Производные правила - это правила, выводимые из основных. Это значит: если мы возьмем посылку (посылки) производного правила, то, пользуясь только основными правилами, получим в качестве выводимой формулы соответствующую формулу заключения производного правила. Силлогистика. Силлогизм – вывод, в котором из двух категорических суждений (посылок), связанных общим термином, получается третье категорическое суждение (заключение). Средний термин – термин, содержащийся в обеих посылках. Меньший термин – термин, который является субъектом заключения. Больший термин – термин, который является предикатом заключения. Фигура – это множество простых категорических силлогизмов, имеющих одну и ту же структуру, определяемую расположением среднего термина. Модусы – разновидности фигур, в которых на место посылок и заключения ставится любое из четырех категорических суждений. Энтимема – сокращенный силлогизм, т.е.силлогизм, у которого опущена либо одна из посылок, либо заключение. Логика предикатов первого порядка. Область интерпретации (универсум) – непустое, вообще-то бесконечное множество объектов, на которых заданы свойства и отношения. Функция интерпретации – функция, которая индивидной константе ставит в соответствие объект области интерпретации, предикату – одноместные или м-местные отношения между объектами. Модель языка – область интерпретации и функция интерпретации. Доказательство – последовательность формул, каждая из которых является либо аксиомой логики предикатов, либо формулой полученной из предыдущих по одному из правил вывода логики предикатов. Доказуемая формула – последняя формула в доказательстве. Неклассическая логика Многозначная логика – логика, в которой высказываниям приписывается больше двух истинностных значений. Модальная логика – логика, в которой исследуется логическое поведение операторов(дедуктивное и семантическое) типа: «необходимо, что…», «возможно, что…», «всегда было, что…», «всегда будет, что…», «было, что…», «будет, что…», «обязательно, что…», «разрешено, что…», «знаю, что…», «доказуемо, что…» и др.. |
Учебно-методический комплекс дисциплины «логика» Учебно-методический комплекс «Логика» предназначен для студентов I курса специальности 030900. 62 Юриспруденция, составлен в соответствии... | Учебно-методический комплекс по дисциплине логика При разработке учебно-методического комплекса учебной дисциплины в основу положены | ||
Учебно-методический комплекс дисциплины логика федеральное агентство... Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее... | Учебно-методический комплекс дисциплины специальность: 050202 Информатика Канск Учебно-методический комплекс дисциплины (умкд) «Математическая логика» для студентов очной формы обучения по специальности 050202... | ||
Учебно-методический комплекс по дисциплине «Юридическая логика» Учебно-методический комплекс предназначен для студентов очной формы обучения, содержит план лекционных и практических занятий, рекомендации... | Учебно-методический комплекс одобрен на заседании кафедры общественных... При разработке учебно-методического комплекса учебной дисциплины в основу положены | ||
Учебно-методический комплекс учебной дисциплины «Логика» федерального... Государственное образовательное учреждение высшего профессионального образования российский государственный торгово-экономический... | Предисловие учебно-методический комплекс Учебно-методический комплекс (умк) совокупность материалов, регламентирующих содержание учебной и методической работы по организации... | ||
Учебно-методический комплекс дисциплины Логика Направление подготовки 030900. 62 «Юриспруденция» Учебная программа дисциплины | Учебно-методический комплекс дисциплины Протокол согласования рабочей программы дисциплины «логика» с другими дисциплинами специальности 030201. 65 Политология | ||
Учебно-методический комплекс дисциплины «Логика» Учебно-тематический план курса с указанием лекционных часов и самостоятельной работы студентов (темы и часы) 4 | Учебно-методический комплекс по дисциплине: Технический перевод для специальности Учебно-методический комплекс (умк) совокупность материалов, регламентирующих содержание учебной и методической работы по организации... | ||
Учебно-методический комплекс дисциплины «политология» Учебно-методический комплекс учебной дисциплины разработан на основе федерального государственного образовательного стандарта (далее... | Учебно-методический комплекс дисциплины «социология» Учебно-методический комплекс учебной дисциплины разработан на основе федерального государственного образовательного стандарта (далее... | ||
Учебно-методический комплекс дисциплины «культурология» Учебно-методический комплекс учебной дисциплины разработан на основе федерального государственного образовательного стандарта (далее... | Учебно-методический комплекс дисциплины «жилищное право» Учебно-методический комплекс учебной дисциплины разработан на основе государственного образовательного стандарта (далее гос) по специальности... |