М.Двач / Философия

29 Кб, 274x367
Небинарная логика 16 мар, 08:14 172905 В конец треда | Веб

Аноны, которые шарют за логику, можете привести пример небинарной логики, где помимо состояний истина/ложь есть другие состояния? Чо-то похожее вроде у Гегеля было, ток как я понял у него и истина и ложь являются эквивалентными и одновременными состояниями. И ваще, какие виды логики щас существуют, слышал ток о классической, модальной и диалектике. Кто сможет дать литературу, которая поможет разобраться в видах логики и ее структуре (субъекты, предикаты, прочая залупа) - буду благодарен.

Ответы2908

47 Кб, 448x576
2 16 мар, 08:50 2 172907

>где помимо состояний истина/ложь есть другие состояния:
Неизвестно, к примеру.
"Завтра в 14:00 в участке пространства пятёрочка по таким-то и таким-то координатам будет находиться моя еотовна" - пример неизвестного значения у высказывания, можешь курнуть пикрила.

>какие виды логики щас существуют
Всякие. Есть логика пространства, есть эпистемическая логика, доксастическая логика, интуиционистская, эрротетическая, ветвящегося времени, логика доверия, логика изменений, деонтическая. Самое прелестное, что логик может быть каких хочешь и не требуется сверх ума, чтобы придумать СВОЮ логику. Логика - это язык, а использовать язык можешь для описания всякого разного, чего сам захочешь. Есть логика любви даже("Не существует такой X для которого верно, что X разлюбил Y и X не принадлежит множеству тех, кто вообще когда-либо любил Y" - невозможно разлюбить, если никогда не любил.).

Ответы2937

3 16 мар, 08:51 3 172908

>>172905 (OP)
>Кто сможет дать литературу, которая поможет разобраться в видах логики и ее структуре
Алсу, по соседству есть тред логики, там есть пак с книжками какими-то.

4 17 мар, 08:19 4 172937

>>172907
Разве можно уравнять язык и логику? Логика, которую чаще всего подразумевают, является абстрактной структурой, логистикой. То есть это система связей внутри языка/за языком/в основе языка, а не сам язык. Не интернет страницы, которые наблюдает пользователь, а сам интернет и присущие ему протоколы, в которых ковыряются очкарики-ойтишники.

Или я промахнулся и ОП имел в виду что-то, кроме формальной логики?

Ответы2964

5 18 мар, 05:59 5 172964

>>172937
Логика - это искусственный язык(формальная система), которым описываются объекты(высказывания), свойство объекта и операции над объектом. Да, логика это не только язык, но и сами объекты для описания которых и служит искусственный язы, мой проеб.

Ответы2966

6 18 мар, 13:13 6 172966

>>172964
Во-первых, с чего бы объекты, для описания которых используется логика, были бы логикой? Если я описываю синюю машину как Bc, то синяя машина это часть логики?) nonsense. Мы их даже обозначаем как «нелогические символы/нелогические термины», имея в виду, что эти вещи не имеют логической природы.

Во-вторых, чисто формально, вся логика языком не является, иначе зачем на вводных лекциях мы отдельно определяли что именно будем иметь в виду под языком (читать: википедия, формальный язык)? Семантика и доказательства, которыми мы оперируем и, свойства которых (по большей части) изучаем, языками, в строгом формальном смысле, не являются.

Ответы3002

190 Кб, 700x1048
7 19 мар, 10:38 7 173002

>>172966
>Во-первых, с чего бы объекты, для описания которых используется логика, были бы логикой?
Не знаю. Я этого не говорил, вроде.
>которым описываются объекты(высказывания)
Под объектом имеется ввиду высказывания.

>вся логика языком не является,
Ну, да.
>свойство объекта и операции над объектом.
Под свойством объекта (то есть высказывания) имеет ввиду истинностные значение, классификация и.т.п.
Под операциями - доказательство, в частности.

>Семантика
Семантика - это часть языковой теории.
>Доказательство
Это некоторая операция над объектом логики(высказывания), которая описывается языком логики, то есть, искусственным языком.

Просто я дал общее определение, ибо логик дохуя так или иначе, поэтому не было резона описывать какие-то конкретные свойства высказываний и множество операций над высказываниями.
Я допускаю, что могу ошибаться, поправь, если что, но у самого такое мнение сложилось.

Ответы3016

8 19 мар, 20:38 8 173016

>>173002
Высказывания являются не-логическими by definition.

Ответы3029

9 20 мар, 05:28 9 173029

>>173016
В каком смысле не-логическими?
Типо, высказывание не являются объектом логической теории?
По моему, являются.

Ответы3030

10 20 мар, 06:05 10 173030

>>173029
Мальчик, parexcellence никому не интересно, что ты там считаешь, пока не выучишься поддерживать дискуссию на высоком la perdulye уровне. O tempora!

Обновить тред

« /ph/В начало тредаВеб-версияНастройки

/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.gq, m2ch.cf, m2ch.fapp.in, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion