Эмиссия газов от очистных сооружений канализации: В последние годы внимание мирового сообщества сосредоточено на экологических проблемах...
Папиллярные узоры пальцев рук - маркер спортивных способностей: дерматоглифические признаки формируются на 3-5 месяце беременности, не изменяются в течение жизни...
Топ:
Эволюция кровеносной системы позвоночных животных: Биологическая эволюция – необратимый процесс исторического развития живой природы...
Установка замедленного коксования: Чем выше температура и ниже давление, тем место разрыва углеродной цепи всё больше смещается к её концу и значительно возрастает...
Отражение на счетах бухгалтерского учета процесса приобретения: Процесс заготовления представляет систему экономических событий, включающих приобретение организацией у поставщиков сырья...
Интересное:
Аура как энергетическое поле: многослойную ауру человека можно представить себе подобным...
Искусственное повышение поверхности территории: Варианты искусственного повышения поверхности территории необходимо выбирать на основе анализа следующих характеристик защищаемой территории...
Что нужно делать при лейкемии: Прежде всего, необходимо выяснить, не страдаете ли вы каким-либо душевным недугом...
Дисциплины:
2017-06-25 | 421 |
5.00
из
|
Заказать работу |
|
|
Если доказуема формула, то она общезначима.
Аксиоматическая система является непротиворечивой, если из нее невозможно вывести формулу и ее отрицания.
Полнота формальной системы: Если , то . Всякая общезначимая формула должна быть доказуема, и всякая доказуемая формула есть общезначимая. то эта теорема (Т) является неполной.
Формула называется разрешимой, если у нас имеется общий метод проверки общезначимости(доказуемости) формулы.
Логика высказываний разрешима, т.к. посредствам таблиц истинности мы можем всегда проверить является ли формула общезначимой. Но тогда по теореме: если , то , что формула разрешима относительно свойства доказуемости.
Но некоторые (неклассические) логики являются неразрешимыми. Но неразрешима и логика первого порядка, следовательно, не существует общего метода проверки общезначимости формул.
Для одноместных предикатов методы существуют, но для двухместных и трехместных предикатов общих методов не существует. А есть лишь локальные методы, некоторые покоятся на рассуждении от противного.
Логические отношения между простыми категорическими суждениями. Непосредственные вывода по логическому квадрату
Простое категорическое суждение- простое суждение, в котором что-то утверждается и отрицается относительно предмета мысли, а между субъектом и предикатом устанавливается категорическая (утвердительная, отрицательная) связь: отношение тождества, подчинения, частичного совпадения, противоречия, противоположности, соподчинения
Структура простого категорического суждения: состоит из субъекта, предиката, связки.
Классификация
I. По качественному признаку (характеру связки), простые категорические суждения делятся на утвердительные и отрицательные.
|
В утвердительных суждениях говорится о наличии свойства у предмета и принадлежности предмета субъекту: S есть Р.
Отрицательные суждения говорят об отсутствии свойств у предмета: S не есть Р, или S есть не Р.
II. По количественному (объемному) показателю, выражаемому квантором, простые категорические суждения делятся на единичные, частные и общие.
Единичное суждение:субъект суждения - единичное понятие (название города).
Частное суждение - совокупность предметов, но не вся, подчеркивается квантором: «Некоторые S есть Р». В количественном отношении частные суждения неопределенны.
Общее суждение о всей предметной области, на которую направлено внимание. Суждение с квантором (все, ни один, каждый, без исключения) перед субъектом: «Все S есть Р».
СООТНОШЕНИЕ ОБЪЕМОВ ТЕРМИНОВ: исходя из количественной классификации можно определить распределенность терминов в суждении (чтобы понимать смысл суждений, строить умозаключения, надо знать, как относятся субъект и предикат суждения. Для выражения отношений субъекта и предиката используют операцию распределения терминов в суждении)
Формальнологический анализ этих суждений выявляет структурные закономерности их, не зависящие от содержания. Исходя из структуры общих (утвердительного и отрицательного) суждений можно, не зная содержания, сказать, что их субъекты взяты в полном объеме (для отрицательного - в полном объеме исключаются из рассмотрения). КОРОЧЕ: благодаря этому нам пофигу на смысл высказывания. В дальнейшем, не затрачивая кучу времени на размышления, люди делают выводы просто подставляя термины в эти схемы-кружочки,проводя с ними не хитрые махинации.Будучи философом я могу проверить вывод химика, не понимая о чем идет речь вовсе.
|
|
Поперечные профили набережных и береговой полосы: На городских территориях берегоукрепление проектируют с учетом технических и экономических требований, но особое значение придают эстетическим...
Типы сооружений для обработки осадков: Септиками называются сооружения, в которых одновременно происходят осветление сточной жидкости...
Историки об Елизавете Петровне: Елизавета попала между двумя встречными культурными течениями, воспитывалась среди новых европейских веяний и преданий...
Общие условия выбора системы дренажа: Система дренажа выбирается в зависимости от характера защищаемого...
© cyberpedia.su 2017-2024 - Не является автором материалов. Исключительное право сохранено за автором текста.
Если вы не хотите, чтобы данный материал был у нас на сайте, перейдите по ссылке: Нарушение авторских прав. Мы поможем в написании вашей работы!