Понятие «Логический треугольник»
мнемоническая фигура, с помощью которой изображаются основные аспекты языка (синтаксический, семантический и др.).
Парадоксы импликации
Предмет
Логика
👍 Проверено
Автор24
доказуемые в логике классической и некоторых других логических системах утверждения с импликацией, плохо согласующиеся с обычным пониманием условной связи («если ..., то ...») и логического следования. П. и. — это парадоксы в широком смысле, их наличие не свидетельствует о внутренней противоречивости соответствующих логических теорий, но указывает на определенное рассогласование последних с привычными, или интуитивными, представлениями о логических связях.
Научные статьи на тему «Парадоксы импликации»
Парадокс «Лжец»
Содержание парадокса лжеца
Определение 1
Парадокс «Лжец» - это семейство логических парадоксов...
Существуют следующие вариации парадокса лжеца:
Классический парадокс....
заменили на другое («1=0» на «Луна сделана из сыра») и логическая дизъюнкция «не А или В» заменена на импликацию...
В импликации ложное следствие не влияет на истинность, она определяется посылкой, поэтому набор значений...
Парадокс Ябло.
Статья от экспертов
Аналитические таблицы для позитивных логик, свободных от "парадоксов" материальной импликации
Method of analytic tableaux for implicative and positive relevant logics is developed. It is based on certain modification of the method of analytic tableaux elaborated by Beth, Hintikka, Smullyan and Fitting. This modification includes a simple signing of negative occurences of subformulae in a formula and corresponding definition of closed analytic tableau. The method proposed is used to construct decidable propositional relevant calculi without negation, namely the systems RA and RApos.
Creative Commons
Научный журнал
Нормальные формы в неклассических логиках
Льюис (американский логик) построил вместо теории классической (материальной) импликации новую теорию...
Льюис стремился к избавлению от парадоксов материальной импликации....
Результатом стала новая разновидность импликации – строгая импликация....
Однако выяснилось, что у строгой импликации Льюиса не меньше парадоксов, чем у материальной, потому что...
Лишь во второй половине XX века были предложены пути решения:
в 1951 году – релевантная импликация,
Статья от экспертов
Об одном парадоксе формализации силлогистики Аристотеля средствами классической логики в версти Лукасевича
В статье обращается внимание на наличие парадоксов материальной импликации в погружении аристотелевской силлогистики в исчисление высказываний, осуществленное Я. Лукасевичем в его книге «Аристотелевская силлогистика с точки зрения современной формальной логики». Сам Лукасевич на эту сторону его формализации не обратил внимания, но факт выводимости формул, пораженных материальной импликацией имеет огромное методологическое значение: необходимо в корне пересмотреть отношение двух логик аристотелевской и современной формальной. В статье предлагается замена материальной импликации какую-то другую логику, которая в свою очередь не имеет в себе подобных парадоксов. Рассматривается вариант строгой импликации, которая пришла на замену материальной импликации, однако не способна являться решением проблемы. В статье предлагается решить эту проблему с помощью релевантной логики.
Creative Commons
Научный журнал
Еще термины по предмету «Логика»
Абстрактный
отвлеченный от чего-либо.
Вероятностные умозаключения
то же самое, что и правдоподобные умозаключения.
- Импликация
- Парадокс
- Парадоксы
- Обратная импликация
- Импликация материальная
- Фотометрический парадокс (парадокс Ольберса)
- Кондорсе парадокс
- Парадокс перестановки
- Парадокс бережливости
- Парадокс сбережений
- Парадокс невротический
- Антиномия (парадокс)
- Космологические парадоксы
- Парадокс времени
- Парадокс Левинталя
- Парадокс Форстера
- Гидростатический парадокс
- Парадокс Даламбера
- Парадоксы логические
- Парадокс Леонтьева
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
