 |
Предмет логики. Основные законы логики. Понятие как логическая форма. Логические действия с понятиями ( Контрольная работа, 11 стр. ) |
|
При чем здесь логистика? ( Контрольная работа, 1 стр. ) |
|
Приведите модусы III фигуры силлогизма ( Контрольная работа, 10 стр. ) |
|
Приведите примеры двух понятий, у которых логические характеристики не совпадают ни по одному параметру (например, если одно понятие - единичное, конкретное, положительное, собирательное и безотносительное, то другое - общее, абстрактное, разделительное и ( Контрольная работа, 32 стр. ) |
|
Приведите примеры простых категорических суждений видов А ( Контрольная работа, 4 стр. ) |
|
Примеры логических построений ( Контрольная работа, 17 стр. ) |
|
Примеры логических построений Контрольное задание к зачету по курсу формальной логики ( Контрольная работа, 17 стр. ) |
|
Принцип однозначности ( Контрольная работа, 13 стр. ) |
|
Причины возникновения логистики и ее эволюция как экономической науки и практической деятельности ец522 ( Контрольная работа, 10 стр. ) |
|
Проанализируйте структуру доказательства, укажите ошибки ( Контрольная работа, 11 стр. ) |
|
Проблема альтернативы теоретико-множественному подходу к построению логических систем н7855 ( Контрольная работа, 14 стр. ) |
|
Проблема понимания в логике ( Контрольная работа, 12 стр. ) |
|
Проблемы индукции ( Реферат, 15 стр. ) |
|
Проблемы модальной логики ( Контрольная работа, 17 стр. ) |
|
Проверьте с помощью табличного метода правильность следующего умозаключения ( Контрольная работа, 8 стр. ) |
|
Прогностическая роль умозаключения ( Контрольная работа, 12 стр. ) |
|
Произведите операцию ограничения понятий ( Контрольная работа, 4 стр. ) |
|
Произведите с этим понятием операции обобщения, ограничения, определения (через ближайший род и видовое отличие), деление (дихотомическое и по видообразующему признаку), а также произведите операцию дополнения к классу ( Контрольная работа, 8 стр. ) |
|
Простой силлогизм. Фигуры и модусы правил 5895 ( Контрольная работа, 13 стр. ) |
|
Простые и сложные суждения ( Реферат, 24 стр. ) |
|
Простые суждения ( Контрольная работа, 16 стр. ) |
|
Процедура определения понятий 352422 ( Контрольная работа, 13 стр. ) |
|
Процедура определения понятий не322 ( Контрольная работа, 14 стр. ) |
|
Процедура определения понятий е475433 ( Контрольная работа, 14 стр. ) |
|
Процедура определения понятий ец522 ( Контрольная работа, 15 стр. ) |
|
|
 |
Тип: Реферат |
Цена: 450 р. |
Страниц: 23 |
Формат: doc |
Год: 2012 |
 Купить
Данная работа была успешно защищена, продается в таком виде, как есть. Изменения, а также индивидуальное исполнение возможны за дополнительную плату. Если качество купленной готовой работы с сайта не соответствует заявленному, мы ВЕРНЕМ ВАМ ДЕНЬГИ или ОБМЕНЯЕМ на другую готовую работу. Данная гарантия действует в течение 48 часов после покупки работы. Вы можете получить её по электронной почте (отправляется сразу после подтверждения оплаты в течение 3-х часов, в нерабочее время возможно увеличение интервала). Для получения нажмите кнопку «купить» выше.
Также работу можно получить в московском офисе, либо курьером в любом крупном городе России (стоимость услуги 600 руб.). Желаете просмотреть часть работы? Обращайтесь: ICQ 15555116, Skype dip-master, E-mail info @ dipmaster-shop.ru. Звоните: (495) 972-80-33, (495) 972-81-08, (495) 518-51-63, (495) 971-07-29, (495) 518-52-11, (495) 971-76-12, (495) 979-43-28.
|
Содержание
|
|
Введение 3
1. Особенности построения семантик формализованных и естественных языков 4
2. Семантические правила интерпретации для формализованных языков 16
Заключение 22
Литература 23
|
|
Введение
|
|
Формальная теория - теория в формализованном языке. Важной особенностью формальной теории является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система явным образом включается в теорию. Поэтому более точно формальную теорию можно определить как упорядоченную тройку (L, A, C), где L представляет формализованный язык, A - множество аксиом и С - множество правил вывода.
Формальная теория обычно строится следующим образом. Вначале задается алфавит языка - набор исходных символов, включающий в себя символы для индивидных констант и переменных, для предикатов и функций, для логических связок и кванторов. Затем определяется понятие правильно построенной формулы. Это определение должно быть эффективным, т. е. должна существовать эффективная процедура, позволяющая для произвольной последовательности символов решить, является ли она правильно построенной формулой. Из множества формул выбирается некоторое подмножество аксиом. Определение аксиомы также должно быть эффективным.
Наконец формулируются правила вывода, позволяющие получать из одних формул другие. Добавляя к алфавиту языка новые математические, физические и др. символы и присоединяя к аксиомам дополнительные математические или конкретно-научные принципы, получают формальную конкретно-научную теорию.
Примерами формальной теории являются: пропозициональное исчисление, исчисление предикатов, теория порядка, теория групп, теория решеток, теория множеств и т. п.
|
|
Список литературы
|
|
1. Кондильяк Э. Логика, или начала искусства мыслить, М., 1983.
2. Смирнова Е.Д. Формализованные языки и проблемы логической семантики. М., 1982.
3. Смирнова Е.Д. Логика и философия. М., 1996.
4. Соссюр Ф. Труды по языкознанию. М., 1977.
5. Смирнова Д. К вопросу построения семантик формализованных и естественных языков (Роль основного принципа теории семантических категорий) // Наука, №4, 2004.
|
|
Примечания:
|
|
Примечаний нет.
|
|
|
На уровень вверх