Похожие чаты

Вот Куайн пишет о классической логике предикатов второго порядка как

о теории множеств в овечьей шкуре.
Интересно, а кто-то писал обратное с отсылкой к этой характеристике Куайна? В духе того что теория множеств есть логика в овечьей шкуре

23 ответов

40 просмотров
Brenoritvrezorkre- Автор вопроса

https://plato.stanford.edu/entries/logicism/notes.html#note-32

Brenoritvrezorkre- Автор вопроса

Так есть обратное, но не в истории о Куайне

Brenoritvrezorkre- Автор вопроса

У Куайна вроде было наблюдение, что логика первого порядка не делает никаких онтологических утверждений.

Brenoritvrezorkre- Автор вопроса

Обратное — это просто очевидный факт, поскольку аксиоматическая теория множеств изначально строиться как логика + доп. аксиомы. Т.е. она не в шкуре, никто не скрывает. Там просто были препирательства и страдания насчёт того что для математики нужны вот какие-то ещё "лишние" аксиомы, а хотелось бы чисто логические (первого порядка), которые как бы "бессодержательны", "ни о чём" ("самоочевидны" и "чисто про правильное мышление"). Вот Куайн и указывал, что в логику второго порядка теория множеств как бы "вшита" по построению, и в этом смысле логика второго порядка уже не является "чисто логикой". А в обратную сторону не интересно, там и так "всё понятно". 😊

Alexander Chichigin
Обратное — это просто очевидный факт, поскольку ак...

Ну по Куайну важны, скажем, не только онтологические обязательства, но и предикаты теории. И тогда предикат принадлежности, который на поверхности, в открытую, по Куайну не является логическим (потому что при выявлении логической формы утверждений с вхождением этого предиката мы получаем то, что не будет всюду истинным), мог бы рассматриваться как псевдо-нелогический, если бы была принята какая-то доктрина, обратная Куайну, которая оправдывала бы в некоем сходном русле такую логику, где можно было бы сымитировать предикат принадлежности. И тогда была бы картина в духе того, что мы вот считаем, что предикат принадлежности с экстралогическими аксиомами для него позволяют надстроить над логикой теорию множеств, а на самом деле вот смотрите, это не надстройка над логикой, в это переодетая логика. Ну, это вот если как-то на околокуайновских рельсах находиться (с позиции которых я и думал)

Угу. Ну вот я как раз и говорил, что было бы интересно, чтобы обратным Куайну образом оправдали бы такую логику как полноценную логику, в потом бы вернули ответку про шкур

Brenoritvrezorkre- Автор вопроса
Alexander Chichigin
Обратное — это просто очевидный факт, поскольку ак...

Нет, ты не понимаешь метаонтологию Куайна. По сути она даже не о том, что есть, а о том, что выразимо в некоторой формальной теории с квантором существования, что есть. Этот разрыв — один из багов. Но не важно. Куайн свой вклад вполне себе внёс. Во-первых, Булос создал новую семантику второго порядка. Во-вторых, мы нашли баги в рассуждениях Куайна. Например, в том, что квантор с написанием ∃, следуя только формальной семантике этого квантора во в том числе свободных логиках, не является онтологически нагруженным (Грэхем Прист). Правильнее было бы назвать его партикулярным квантором. В-третьих, он грузил Карнапа своей критикой по разным вещам, а Карнапу приходилось отвечать (и он был хорошим учёным). В итоге Карнап создал свою метаонтологию. И мы поняли, на заре времён, что метаонтология может быть разной. В-третьих, когда он критиковал модальную логику предикатов Карнапа, он её не понял, как выходит так, что нет интуитивных противоречий. А их нет. Карнап объяснил ему, что здесь квантифицируется. А ведь это была логика первого порядка! То есть, понятие квантификации может быть совершенно разным. В итоге Куайн хмыкнул и сказал, что это какая-то идеалистская логика, в которой нет места физическим объектам. Но это же логика первого порядка, вспомните. Следовательно, для Куайна уже здесь было что-то не чисто и не так. Я думаю, если бы он проанализировал этот случай побольше и поподробнее, то окажется, что в случае модальной логики предикатов Куайн понимает под онтологическими обязательствами одно, а в случае немодальной логики предикатов второго порядка — другое. Куайн мог бы легко откреститься, конечно, ведь он был скептиком не только относительно логичности логики второго порядка, но и насчёт модальных логик первого порядка. Но если не открещиваться (всё же тогда, после его критики — и это тоже позитивный вклад Куайна — разработали модальные логики предикатов, которые справляются с его критикой, и ты можешь выбрать, какую логику с какими особенностями ты хочешь иметь), то что будет? Что есть какой-то разрыв между тем, какого онтологического сорта переменные вообще и что выразимо посредством экзистенциальных утверждений логик предикатов в связке с его основной метаонтологией. И затем, постепенно, можно прийти к совершенно очевидному: есть то, что есть, а есть то, что (для Куайна) выразимо в логиках предикатов, что же существует.

Brenoritvrezorkre- Автор вопроса

Нет, их недостаточно для того, чтобы описать работу теории множеств вида ZF, не добавляя экстралогических аксиом. А может, достаточно, но каким образом это будет делаться?

Brenoritvrezorkre- Автор вопроса
Massimo Nova
Угу. Ну вот я как раз и говорил, что было бы интер...

Шок: логики друг другу кидают предъявы, чьи логики — это обычные шкуры

Brenoritvrezorkre
Шок: логики друг другу кидают предъявы, чьи логики...

Я тебе потом кое-что покажу на этот счёт! Посмотри потом

Brenoritvrezorkre- Автор вопроса
Brenoritvrezorkre
Шок: логики друг другу кидают предъявы, чьи логики...

Некоторые логики просто говорят, что ваши логики даже не логики.

Brenoritvrezorkre- Автор вопроса
suhr
Некоторые логики просто говорят, что ваши логики д...

Настоящая логика - это силлогистика, а все остальное - выдумки математиков и аналитических философов для обмана масс

ȝḫ-n-Jtn ˁȝ-m-ˁḥˁ.f 
Настоящая логика - это силлогистика, а все остальн...

Нет, настоящая логика это классическая логика предикатов первого порядка с предикатом равенства🤓

Brenoritvrezorkre- Автор вопроса
ȝḫ-n-Jtn ˁȝ-m-ˁḥˁ.f 
Настоящая логика - это силлогистика, а все остальн...

Ну вот недавно Максим о человеке, который так думал, скидывал Сейчас найду

Brenoritvrezorkre- Автор вопроса
Brenoritvrezorkre- Автор вопроса

Похожие вопросы

Обсуждают сегодня

Ready for some fun AND a chance to win TKO Tokens? Join us for exciting minigames in our Telegram group! 🕒 Don’t miss out—games start on today 25 October 2024, at 8 PM! Ge...
Milkyway | Tokocrypto
255
Добрый вечер. Есть вопрос, а может и предложение. Был у меня диалог в другой группе о делфи и я задался вопросом: "А нельзя ли в делфи цвет //коментария и {комментария} сде...
Kraszx
24
Всем привет! Подскажи, пожалуйста, как передать в TComboBox сразу значение и id записи. На Delphi я делал так: ComboBox1.Items.AddObject('Какое-то значение', Pointer(id запис...
Евгений
13
Мдя, прикол, боевая сборка запускается (именно под отладчиком) после F9 примерно полторы минуты (97 секунд если быть точным). Начал копать - проблема детектится сразу - зависа...
Александр (Rouse_) Багель
38
How are we going bro about the Raids ??
🅿️abby_FX
13
я так понимаю, я так подозреваю, что создание такого плагина для человека, кто умеет писать плагины для делфи потребует минут 5-10 времени. но это мое подозрение. хотелось бы ...
Kraszx
7
Товарищи, кто работа с iphelper? Или может я в самой логике ошибки фигачу, не пойму.... var ifTable : PMIB_IFTABLE; size, corSize: DWORD; Buffer ...
Warfarellen
4
Здравствуйте, вопрос по структурам данных. Были у вас случаи, когда пришлось писать деревья или двунаправленные списки?
/ /
50
Keep saying it, it’s Trump or WW3. Iran will be emboldened if Harris wins by cheating. Israel will have to take the initiative against Iran. How has BTC faired everytime the...
Adz | Ferrum Network Product & Service Consultant @ Ferrum Network
1
Коллеги, добрый вечер. Создаю коллекцию от TFPGMap, ключ - перечисление, значение - целое. Нужно отсортировать коллекцию по значению. Как это можно сделать?
Kirill Filippenok
11
Карта сайта