sfd
«Значение и необходимость. Исследование по семантике и модальной логике» Р. Карнап Настоящая книга, написанная известным американским философом и логиком Р.Карнапом, является заключительным томом его "Исследований по семантике", который имеет самостоятельное значение. Он подводит некоторые итоги эволюции взглядов одного из лидеров логического позитивизма на философию и логическую семантику. Карнап, обосновывая здесь свои теоретико-познавательные позиции и вновь подтверждая позитивистскую семантическую концепцию предмета философии, развивает некоторые новые логические идеи. "Главной целью этой книги, - как пишет автор, - является развитие нового метода семантического анализа значения, то есть нового метода анализа и описания значений языковых выражений" (метод экстенсионала и интенсионала). Однако основное значение книги заключается не в принадлежащем автору новом методе экстенсионала и интенсионала, а в выявлении трудностей анализа смысла и критическом обсуждении предлагавшихся разными авторами методов их решения. Книга будет интересна философам, логикам, математикам, лингвистам, а также всем заинтересованным читателям. Это и многое другое вы найдете в книге Значение и необходимость. Исследование по семантике и модальной логике (Р. Карнап). Напишите свою рецензию о книге Р. Карнап «Значение и необходимость. Исследование по семантике и модальной логике» http://izbe.ru/book/38507-znachenie-i-neobhodimost-issledovanie-po-semantike-i-modalnoy-logike-r-karnap/
Подробный сравнительный анализ «Gayane Quaternary Logic» (GL4) и логики Яна Лукасевича
Ян Лукасевич первым сформулировал троичную логику в 1920 году, введя значение «неизвестно» вдобавок к классическим «истина» и «ложь». Позже он развил бесконечно-значную логику, где значение высказывания может принимать любое число из отрезка [0; 1] — основу будущих нечетких систем и Łukasiewicz-алгебр. Вывод
GL4 и логика Лукасевича оба расширяют границы классической логики, но делают это разными путями: первая — за счёт ввода модальной неизбежности, вторая — через бесконечную градацию достоверности. Их объединяют строгость...