Логика
Скачать 0.63 Mb.
|
РРавенство - отношение между знаковыми выражениями, обозначающими один и тот же объект, когда все, что можно высказать об одном из них, можно высказать и о другом (и наоборот), и получить истинные высказывания. Равнозначность = равносильность = эквивалентность - когда высказывания или формулы принимают одни и те же истинностные значения. Равнообъемность - совпадение понятий по объему. Например, понятия "Луна" и "естественный спутник Земли" совпадают по объему. Разделительное суждение - сложное суждение, образованное из двух или более простых с помощью логической связки "или". Разделительно-категорическое умозаключение - умозаключение, в котором одна из посылок разделительное суждение, а другая - категорическое. Разделительно-условное умозаключение (дилемма) - одна из посылок - разделительное суждение, другая - условное. Разрешимости проблема = разрешения проблема - проблема нахождения общего метода для данной дедуктивной теории, позволяющего решать, может ли отдельное утверждение быть доказанным в ней или нет. В классической логике высказываний проблема разрешимости решается с помощью таблиц истинности. ССвойство - характеристика, присущая вещам и явлениям, позволяющая отличать или отождествлять их. В логике свойством называют также то, что обозначается одноместным предикатом. Связка - элемент простого суждения, соединяющий субъект и предикат. Семантика логическая - раздел логики, исследующий отношение языковых выражений к обозначаемым объектам и выражаемому содержанию. Силлогизм - дедуктивное умозаключение, в котором из двух суждений, посылок, имеющих субъектно-предикатную форму, следует новое суждение (вывод, заключение). Символ - идея, образ или объект, имеющий, собственное содержание и одновременно представляющий в обобщенной, неразвернутой форме некоторое иное содержание. Символ стоит между "чистым" знаком, у которого собственное содержание ничтожно, и моделью, имеющей прямое сходство с объектом. Символика логическая - система знаков (символов), используемая в логике для обозначения термов (индивидных константных выражений), предикатов, высказываний, логических отношений между высказываниями и др. Синонимия - одно из важнейших понятий логической семантики, выражающее тождество значений языковых выражений. Синтаксис - раздел семиотики, исследующий структурные свойства систем знаков, правил их образования и преобразования. Синтаксис формализованного языка - это система правил построения выражения этого языка и проверки, являются ли они правильно построенными. Сложное высказывание - полученное с помощью логических связок из простых. Случайность логическая - одна из модальных характеристик высказывания, наряду с возможностью, необходимостью, невозможностью. Высказывание случайно, когда оно само и его отрицание являются возможными. Смысл - в обычной речи синоним значения. В логической семантике общее значение языковых выражений расщепляют на две части: предметное значение и смысл. Смысл – содержание знакового выражения, сведения, информация о предмете. Предметным значением, или объемом некоторого выражения называют класс предметов, который обозначается данным выражением*: Два выражения могут иметь одно и то же предметное значение, но различаться по смыслу. Например, "Город Петра" и "Город на Неве". Совместимость - вид отношения между понятиями и суждениями: они в отношении совместимости, если их объемы совпадают полностью или частично. Суждения называют совместимыми, когда они вместе могут быть истинными, т.е. истинность одного не исключает истинности другого: например, "Некоторые яблоки зелены" и "Некоторые яблоки не зелены" . Содержание понятия - совокупность отраженных в понятиях существенных признаков объекта. Сорит - вид сложносокращенного силлогизма, в котором опущена или большая или меньшая посылка. Различают сориты, в которых, начиная со второго силлогизма, опущена меньшая посылка, и в которых опущена большая. Софизм - рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному суждению. Софизм - вид интеллектуального мошенничества. Спор - столкновение мнений, позиций, в ходе которого каждая из сторон аргументировано отстаивает свое понимание и стремится опровергнуть доводы другой стороны. Строгость - комплексная характеристика рассуждения, учитывающая степень ясности и точности используемых терминов, достоверность исходных принципов, логическую обоснованность переходов от посылок к следствиям. Субьект суждения = "логическое подлежащее" - часть суждения, которая отображает предмет мысли (т.е. то, о чем размышляют). Суждение - форма абстрактного мышления, в которой что-либо утверждается или отрицается о предметах, их свойствах или отношениях. Суждение характеризуется истинностью или ложностью. Сходство - наличие хотя бы одного общего признака у изучаемых предметов. ТТаблица истинности - таблица, с помощью которой определяются истинностные функции (значения) сложных высказываний, зависящие от истинностных значений составляющих их простых, а также определяются логические связки. Тавтология (в определении и доказательстве) - логическая ошибка, разновидность "порочного круга". Суть тавтологии: определяемое понятие характеризуется посредством самого себя и при доказательстве некоторого положения в качестве положения используется само это положение. Тезис - один из элементов доказательства; положение, истинность которого обосновывается в доказательстве. Теория - наиболее развитая форма организации научного знания, дающая целостное представление о закономерностях и существенных связях определенной области действительности. Термин - в широком смысле - слово или словосочетание естественного языка, обозначающее предмет (реальный или абстрактный). В науке - слово или словосочетание для обозначений предметов в пределах какой-либо науки, научной теории. В логике - слово, имя а) для обозначения предметов универсума; б) для обозначения субъекта и предиката суждения; в) для обозначения элементов посылок силлогизма. Термины силлогизма - элементы суждений, входящих в состав силлогизма. Различают крайние термины (больший или меньший) и средний термин. Типология - а) учение о классификации, упорядоченности и систематизации сложных объектов, в основе которых лежат понятия о нечетких множествах и о типе; б) учение о классификации сложных объектов, связанных между собой генетически. Тождества закон - один из четырех основных законов формальной логики, согласно которому каждая мысль, которая приводится в данном рассуждении, при повторении должна иметь одно и то же содержание, выражать то же самое, что и в исходном варианте. Тождество - отношение между предметами (реальными или абстрактными), которое позволяет говорить о них как о неотличимых друг от друга. Транзитивности закон - символическая запись закона транзитивности может быть прочитана так: "Если (если а, то в) и (если с, то р), то (если а, то р). Транзитивности закон иногда называется конъюнктивно - гипотетическим силлогизмом. УУбеждение - (одно из значений): метод воздействия на сознание личности через обращение к ее собственному критическому суждению на основе отбора и логического упорядочения фактов и выводов. Умозаключение - мыслительный процесс, форма абстрактного мышления, с помощью которого из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое заключением или следствием. Условное высказывание - сложное высказывание, формулируемое обычно с помощью связки "если..., то...". Условное умозаключение - состоящее из условных суждений. Условное умозаключение может состоять из одной или нескольких посылок. Учетверение терминов - логическая ошибка в простом категорическом силлогизме, связанная с тем, что слово, играющее роль среднего термина, в одной посылке выражает одно понятие, а в другой - иное. ФФакт - а) синоним понятия истина; событие; результат. Нечто реальное в противоположность вымышленному, б) в логике и методологии научного познания - предложения, фиксирующие эмпирическое знание. Фальсификация - процесс установления ложной теории или гипотезы в результате ее эмпирической проверки. С логической точки зрения процесс фальсификации описывается схемой модус поненс (см.) Фигура силлогическая - различают четыре фигуры силлогизма в зависимости от положения среднего термина в - посылках: роль субъекта в большей или предиката в меньшей - 1 фигура; роль предиката в большей и меньшей - 2 фигура; роль субъекта в большей и меньшей - 3 фигура; роль предиката в большей и субъекта в меньшей - 4 фигура. Формализация - отображение результатов мышления в точных понятиях и утверждениях. Формализация уточняет содержание и может осуществляться с разной степенью полноты. Логическая формализация выявляет и фиксирует логическую форму выводов и доказательств. Формы мысли = формы мышления - в традиционной логике: понятие, суждение, умозаключение. Каждая из этих форм имеет разновидности. Функция - соответствие между переменными величинами "х" и "у", в результате которого каждому значению величины "х" сопоставляется единственное значение величины "у". ЭЭвристика - совокупность приемов и методов, облегчающих решение познавательных, конструктивных, практических задач. Или: специальная научная область, изучающая специфику творческой деятельности. Эйлера круги - геометрическая иллюстрация объемов понятий и отношений между ними с помощью кругов. Эквивалентность = равнозначность - общее название отношений, являющихся рефлексивными, симметричными и транзитивными. В логике эквивалентность - сложное высказывание типа: "А" если и только если "В" и разлагающееся на две импликации: "Если "А", то "В" и "Если "В", то "А". Эквивокация - логическая ошибка, заключающаяся в том, что одно и то же слово используется в разных значениях в одном рассуждении. Экзистенциальное высказывание - высказывание о существовании каких-либо предметов. Для выражения таких высказываний в формальном языке используется квантор существования. Эклектика - соединение разнородных, внутренне не связанных и, возможно, несовместимых взглядов, идей, концепций, стилей и т.д. Для эклектики характерно игнорирование логических связей и, вместе с тем, стремление создать видимость логической последовательности и строгости. Экспликация - уточнение понятий и утверждений естественного и научного языка с помощью средств символической логики. Эллиптическое высказывание - неразвернутое высказывание, в котором пропущены, хотя и подразумеваются, некоторые части. Обычная речь почти целиком состоит из эллиптических высказываний. Типичным примером эллиптического высказывания является энтимема. Энтимема - рассуждение, доказательство, в котором некоторые посылки либо заключение не формулируются в явной форме, но подразумеваются и легко могут быть восстановлены. Или: силлогизм, в котором опущены одна из посылок или вывод. Эпихейрема - сокращенный силлогизм, в котором обе посылки - энтимемы. Эристика - искусство ведения спора. Первоначально понималась как средство отыскания истины с помощью спора", но постепенно выродилась в обучение тому, как вести спор, чтобы выиграть его любой ценой. ЮЮма принцип - принцип, утверждающий, что невозможно с помощью одной логики перейти от утверждений со связкой "есть" к утверждениям со связкой "должен". Логический анализ принципа Юма дается в деонтической логике и логике оценок. Я Язык - знаковая система, используемая для целей коммуникации и познания. Различают естественные, искусственные и частично искусственные языки. Язык логики - специально создаваемый современной логикой для своих целей язык, способный следовать за логической формой рассуждения и воспроизводить ее даже в ущерб краткости и легкости общения. Логика традиционная пользовалась обычным языком, дополненным немногими специальными символами. Для логики необходим искусственный язык, строящийся по строго сформулированным правилам. Это язык не для общения, но для эффективного выявления логических связей наших мыслей. Ясность - характеристика термина (понятия) с точки зрения определенности, отчетливости его смысла. Понимание термина, успешная его интерпретация предполагают знание смысла и класса тех объектов, к которым он отсылает. Если этот класс четко очерчен, о термине говорят, что он точен. Если смысл термина определен отчетливо и однозначно, термин называется содержательно ясным или просто ясным. Разработчики: ИВЭСЭП доцент Ю.П. Роговой (место работы) (занимаемая должность) (инициалы, фамилия) Рецензенты: __ВАС______________ __профессор_________ ___В.А. Родин________ (место работы) (занимаемая должность) (инициалы, фамилия) УТВЕРЖДАЮ: Зав. кафедрой философии Г.А. Мохоров УТВЕРЖДАЮ: Декан гуманитарного факультета М.А. Петрова СОДЕРЖАНИЕ 1. Цели и задачи дисциплины …………………………………………………….. 1 2. Место дисциплины в структуре ООП ………………………………………… 1 3. Требования к результатам освоения дисциплины ………………………….. 1 4. Объем дисциплины и виды учебной работы …………………………………. 4 5. Содержание дисциплины ………………………………………………………. 4 5.1. Содержание разделов дисциплины …………………………………………….. 4 5.2. Разделы дисциплины и междисциплинарные связи с обеспечиваемыми (последующими) дисциплинами ……………………………………………….. 6 5.3. Разделы дисциплины и виды занятий ………………………………………… 6 6. Учебно-методическое и информационное обеспечение дисциплины ……. 7 6.1. Методические рекомендации по организации изучения дисциплины …... 7 6.2. Темы семинарских занятий по логике……………………………………….. 8 6.3. Темы рефератов, докладов, сообщений. Индивидуальные задания для самостоятельной работы………………………………………………………… 11 6.4. Тестовые задания по логике……………………………………………………. 11 6.5. Литература …………………………………………………………………………………….. 15 6.5.1. Основная ……………………………………………………………………………………... 15 6.5.2. Дополнительная …………………………………………………………… 16 6.5.3. Вспомогательная……………………………………………………… 16 6.5.4. Интернет-ресурсы, электронные библиотечные системы……………… 17 7. Краткий словарь по логике ……………………………………………………. 17 |
Похожие:
 | Учебно-методический комплекс дисциплины логика федеральное агентство... Логика, изучающая познающее мышление и применяемая как средство познания, возникла и развивалась в рамках теории познания, и в настоящее... |  | Курс лекций дисциплины «логика» Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности... |
| Рабочая программа учебной дисциплины логика и теория аргументации... Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности... | | Рабочая программа дисциплины логика степень выпускника бакалавр Форма... ... |
| Логика и теория аргументации Рабочая программа определяет содержание и структуру учебной дисциплины "Логика" и предназначена для обучения студентов образовательных... | | Логика сценической речи москва «просвещение» Запорожец Т. И. Логика... Логика сценической речи. Учеб пособие для театр и культ просвет учеб заведений. М., «Просвещение», 2010 |
| 1. Мировоззрение, его структура. Исторические типы м- мифология, религия, философия Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности... | | Умк дисциплины Логика для специальности 080102. 65 “Мировая экономика Требования к обязательному минимуму содержания и уровню подготовки выпускника вуза, предъявляемые Государственным образовательным... |
| Реферат с чего начинается логика Целью моей работы является выяснить, что изучает логика. Какими основными понятиями она оперирует. Что такое «истина» и«ложь» с точки... | | Ых классах (Обобщение опыта работы) Учитель второй квалификационной... Рабочая программа составлена в соответствии с государственными образовательными стандартами, направления "Логика " специальности... |
| Учебно-методический комплекс дисциплины «логика» Учебно-методический комплекс «Логика» предназначен для студентов I курса специальности 030900. 62 Юриспруденция, составлен в соответствии... | | Логика и методология науки Национального исследовательского университета информационных технологий, механики и оптики дисциплина «Логика и методология науки»... |
| Пояснительная записка логика это философская наука о законах и формах... Логика – это философская наука о законах и формах правильного мышления. Как средство познания объективного мира, логика изучает абстрактное... | | Урок 1 Тема урока : Логика как наука. Основные понятия математической логики Учебный курс (рабочая программа) «Логика научного исследования» для аспирантов очной и заочной форм обучения специальностей 09. 00.... |
| Учебно-методический комплекс по дисциплине математическая логика и теория алгоритмов Курс математическая логика и теория алгоритмов обеспечивает приобретение знаний в соответствии с государственным образовательным... | | Аннотация рабочей программы дисциплины (модуля) логика Дисциплина «Логика» является дисциплиной вариативной части гуманитарно го, социального и экономического цикла дисциплин федерального... |
