Сообщение Re: логика про ИИ (или мы пойдем другим путем 2) с коментари от 06.09.2023 12:51
Изменено 06.09.2023 13:16 Эйнсток Файр
Re: логика про ИИ (или мы пойдем другим путем 2) с коментари
Р> человек — существо, субъект (s). Он знает о своем существовании не выводимо
Сведём это к такой модели:
Высказывание1="человек знает о своём существовании невыводимо".
Высказывание2="Человек является мыслителем"
Высказывание3="мыслитель знает о своём существовании"
Формула4 в логике высказываний: Если "Высказывание1" истинно И "Высказывание2" истинно, ТО Высказывание3 тоже истинно.
Мало того, что "Формула4" в принципе не верна, так ещё и "Высказывание1" не факт.
Сведём это к такой модели:
Высказывание1="человек знает о своём существовании невыводимо".
Высказывание2="Человек является мыслителем"
Высказывание3="мыслитель знает о своём существовании"
Формула4 в логике высказываний: Если "Высказывание1" истинно И "Высказывание2" истинно, ТО Высказывание3 тоже истинно.
Мало того, что "Формула4" в принципе не верна, так ещё и "Высказывание1" не факт.
Re: логика про ИИ (или мы пойдем другим путем 2) с коментари
Р> человек — существо, субъект (s). Он знает о своем существовании не выводимо
Сведём это к такой модели:
Высказывание1="человек знает о своём существовании невыводимо".
Высказывание2="Человек является мыслителем"
Высказывание3="мыслитель знает о своём существовании"
Формула4 в логике высказываний: Если "Высказывание1" истинно И "Высказывание2" истинно, ТО
"Высказывание3" тоже истинно.
Мало того, что "Формула4" в принципе не верна, так ещё и "Высказывание1" не факт.
Сведём это к такой модели:
Высказывание1="человек знает о своём существовании невыводимо".
Высказывание2="Человек является мыслителем"
Высказывание3="мыслитель знает о своём существовании"
Формула4 в логике высказываний: Если "Высказывание1" истинно И "Высказывание2" истинно, ТО
"Высказывание3" тоже истинно.
Мало того, что "Формула4" в принципе не верна, так ещё и "Высказывание1" не факт.