|
Читайте также: |
Студент должен
иметь представление о:
- тенденциях развития современной символической логики;
- значении и месте символической логики в правоведении;
- применимости средств классической логики высказываний в юридической аргументации;
знать:
- язык классической логики высказываний;
- значения истинности символов классической логики высказываний;
- методы определения истинности в классической логике высказываний;
- схемы правильных выводов умозаключений со сложными суждениями классической логики;
- условия логической корректности умозаключений со сложными высказываниями;
уметь:
- осуществлять перевод предложений естественного языка на язык логики высказываний и обратно;
- строить таблицы истинности формул классической логики высказываний;
- определять логическую структуру умозаключений со сложными суждениями;
- проверять логическую корректность умозаключений со сложными суждениями;
- строить аргументацию по правильным модусам умозаключений со сложными суждениями.
Повествовательное предложение и высказывание. Общая характеристика логики высказываний. Формализованный язык логики высказываний. Понятие правильно построенной формулы. Логические условия истинности высказываний. Таблицы истинности. Классификация формул по логическим условиям истинности: тождественно-истинные/общезначимые/, тождественно-ложные/противоречивые/ и выполнимые. Законы логики высказываний, т.е. законы, выраженные в языке логики высказываний. Сокращенные таблицы истинности, цель их использования.
Умозаключения со сложными суждениями как познавательная операция. Структура рассуждений /посылки и заключение/. Понятие логического следования. Сведение отношения логического следования к понятию тождественно-истинной формулы/определенной логической структуры/.
Формальный аспект: понятия вывода, правила вывода выводимой формулы. Схемы правильных выводов классической логики: условно-категорические умозаключения, разделительно-категорические умозаключения, условно-разделительные умозаключения /дилеммы/, чисто условные умозаключения. Обоснование этих схем правильных выводов посредством понятия логического следования.
Дата добавления: 2015-07-25; просмотров: 56 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Тема 2. Диалектика юридического диалога | | | Тема 4. Логические основы аргументации |