Что такое фактические предложения?

Я читал по эпистемологии после того, как немного изучил логику. Учитывая это, я нахожусь в хорошем (или, по крайней мере, лучшем) положении, чтобы понять предложение и его свойства. Одним из таких свойств является то, что предложение может быть сведено к переменным предложения, например, p, q, p и q, если p, то q и т. д.

Во всяком случае, фактические суждения, согласно britannica, не обладают этим особым свойством, в отличие от логических суждений, которые все имеют. Как уже говорилось, «семантические и синтаксические особенности фактических утверждений делают невозможным их сведение к логическим истинам». Тем не менее, предложения определяются как утверждения со значением истинности, отдельно от всех других утверждений, таких как «иди сюда!», «как дела?», «все в порядке», «космические утки», «шарлатанство» и т. д.

С другой стороны, «фактические предложения» кажутся плохим выбором слов, поскольку они кажутся совершенно противоположными, но, эй, я могу ошибаться.

Источник: http://www.britannica.com/topic/epistemology .

Привет, Вирмайор, я добавил исходный материал :)
Хорошо, голосуйте от меня. Я в первую очередь не эпистемолог и не знаком с этим конкретным термином.
Вы можете видеть суждения : они являются «первичными носителями истины и лжи». Это означает, что мы можем осмысленно спрашивать об истинностном значении предложения (в отличие, например, от императивов).
Что такое «фактическое предложение»? Мы можем сказать, что факт является истинным суждением или что суждение истинно, когда оно соответствует «факту» .
Я думаю, что эта цитата связана с проводимым Лейбницем различием между Истиной Разума и Истиной Факта . Первые -- это необходимые истины , т.е. -- с современной точки зрения -- логические истины . Напротив , истина факта — это истина, которая существует благодаря некоторому «случайному» факту.
@MauroALLEGRANZA, основанный на логике и фактах, отличается от необходимых и случайных истин. Это в ссылке, которую я разместил, есть 5 различных свойств предложения.

Ответы (1)

Цитируемая статья не утверждает, что фактическое предложение не может быть сформулировано с использованием логических терминов. Скорее, он проводит различие между логическими предложениями, которые выражают логические истины , и фактическими предложениями, которые выражают эмпирические истины (или ложности). В качестве альтернативы вы могли бы сказать, что последние выражают факты.

Логическая истина — это не просто истина, которую можно сформулировать в логике. Логическая истина есть нечто истинное в силу своей логической формы. Пример, приведенный в записи:

Все мужья женаты

Что, понимаемое как высказывание «Если что-то женато и это мужчина, то оно женато», можно сформулировать так:

Если ( p и q ), то p

Что, очевидно, верно для любых ' p ' и ' q '. Следовательно, это логическая истина.

С другой стороны, следующее утверждение было бы фактическим:

Все мужья счастливы

Это может быть истинным или ложным, но в любом случае его истинность не зависит исключительно от его логической формы.

Ах, я вижу, так что свойство здесь связано с формой и отличается от необходимых и случайных истин, которые говорят об обстоятельствах или, более технически, о достоверности и надежности, мило :)