Что может и чего не может формальная логика

[Диалектик]

ПОСТА-ВИТЬ ВО  :
нек.ую формулу - любому .. объекту Реал..ти !

Поставьте .. СО-ОТВЕТ-СТВИЕ звука А графическому изображению букве А.  
.. объ..те почему арабский алфавит по другому графичит букву А, ..  :lol:

\

Кто как хочет - так и графичит, соотв - В КАЖДОМ Букваре .

Тоесть, между формой изображения и звуком нет никакого взаимно-однозначного СО-ОТВЕТ-СТВИЯ? Где же оно есть? Ведь когда мы озвучиваем изображение А, мы и произносим А, а не В.

[modus]

Диалектик да перестаньте Вы уже... Неужели не видете, что он просто сам не понимает чего хочет, а квалификации нема шоб выразить четко мысль...

[KWAKS]

Диалектик да ... Неужели не видете, что  квалификации нема ...

\

1. видИте - через и .

2. видя граф. знак А - вы 1-значно обязаны произнести А, иначе собеседник не поймёт .

3. неисчислимость, бесконечность и всё прочее - выражается ИМЕННО СРЕДСТВАМИ ФОРМ ЛОГИКИ !

Напр, корень квадр из 2-х - бесконечная непериодическая дробь .

[Yupiter]

Откуда вывод, что "человек" - общее?

Это не вывод, а свойство данного понятия. И человеку, который не способен понять даже такие элементарные вещи, стоит пройти курс средней школы, а не рассуждать на темы логики...

Вот это сейчас что было? В котором словаре написано, что человек - это общее понятие и никаким другим быть не может? Например собирательным? Или я то-то не так понял?

[KWAKS]

...  квалификации нема ...

\

Проще говоря, формализация через конечные процедуры (АЛГОРИТМЫ) и всё прочее - ЭТО ЛИШЬ ЧАСТНЫЕ СЛУЧАИ из всего того, что выражается ИМЕННО СРЕДСТВАМИ ФОРМ ЛОГИКИ !

[Antediluvian]

Кто как хочет - так и графичит, соотв - В КАЖДОМ Букваре .

А, а, о... какие они всё-таки разные.  :lol:

[KWAKS]

ПОСТА-ВИТЬ ВО  :
нек.ую формулу - любому .. объекту[/size] Реал..ти !
/quote]

Поставьте .. СО-ОТВЕТ-СТВИЕ звука А .. букве А.  
.. объ..те почему арабский алфавит по другому .., ..  :lol:

\

Кто как хочет - .. - В КАЖДОМ Букваре .

Тоесть, .. нет никакого взаимно-однозначного СО-ОТВЕТ-СТВИЯ? Где же оно есть? Ведь .. А, мы и произносим А, а не В.

\

. . . , что значит "описать", ...

\

А то и значит - ВООБЩЕ, что : . .  ТОЖЕ СРЕДСТВАМИ ФОРМ ЛОГИКИ - 1-значно :
. .
(а Вы опять лбом стену - прошибить пытаетесь) .

KWAKS  -" Находчивость и храбрость, .. Вот главная задача!"

\

Кто как хочет - так и .. - В .. Букваре .

А, а, о... какие они всё-таки разные.  :lol:

\

ГАССпада харошии, а не пора ли всем вам в вашем то возрасте . . .
ДА НАУЧИТЬСЯ БЫ ОТЛИЧАТЬ :

поиск взаимно-однозначного СО-ОТВЕТ-СТВИЯ МЕЖДУ объектами Реальности -

от построения взаимно-однозначного СО-ОТВЕТ-СТВИЯ МЕЖДУ объектами . .
и понятиями (словами, символами) - эти объекты :
адекватно отображающие ! ! !

Для информирования собеседника о том . .
ЧЕМ ВЫ ЗАНЯТЫ - НА САМОМ ДЕЛЕ ? ? ?
--

А то замешали всё -
в одну КУЧУМА ЛУЮ . .
ОТТОГО И - городите
регулярно ЧУШПСЯ КУЮ !

[KWAKS]

.. чегО ...  формальная логика -  не может адекватно описывать . . ЛЮБОЙ ОБЪЕКТ - реальности ?
Как действительный так и вымышленный (мерещащийся) ? ? ?
 ...

ПОСТА-ВИТЬ ВО взаимно-однозначное СО-ОТВЕТ-СТВИЕ :
некоторую формулу - любому наугад выбранному объекту Реальности !

Хотелось бы конечо большего... например, чтобы вы уточнили, что вы понимаете под "формулой", но ...

....

... Даже совокупность всех языков ( а их бесконечно), каждый из которых реализует бесконечное количество функций, ВСЕ РАВНО представляет собой счётное множество счётных множеств, а такое множество – счётно.  

В то время, как было показано, что уже в самом простом случае, мы имеем сразу несчётное количество арифметических предложений. И та ситуация, что наш язык не смог с ними справиться, не случайна, эти предложения, возникнув однажды, не денутся не куда. Они НАВСЕГДА останутся неформализуемыми. ..Ю с необходимой силой. Ч.Т.Д.

\

Если по грамотному, то однажды, не денутся не куда. -
должно быть : однажды, не денутся никуда.

Исходя из Вашей кричущей БЕС-ГРАМ-мотости . .
делаю абсолютно корректный вывод
ОППО-ФСЁМ ОТстальном :

Если лично Ваш язык не смог с ними справиться, ..
из этого НЕ СЛЕДУЕТ ..Ю с необходимой силой. Ч.Т.О. -

НИЧЕЙ язык не смог с ними справиться ! ! !
--

ТО ЕСТЬ, почему Вы решили, что несчётное количество[/u] арифметических предложений . .
НЕ ФОРМАЛИЗУЕТСЯ СРЕДСТВАМИ ФОРМАЛЬНОЙ ЛОГИКИ ? ? ?

ОТ-КУ-ДА такакя туУУУпь у АВас - в голове засела ?
--

Отвечайте кратко и по существу !

Мне не нужны Ваши двух часовые -
доказательства ни о чём ! ! !

[KWAKS]

...  квалификации нема ...

\

А ещё проще говоря, формализация ИМЕННО СРЕДСТВАМИ ФОРМ ЛОГИКИ ..
это Вам НЕ ТОЛЬКО через конечные процедуры (АЛГОРИТМЫ) и всё прочее -
(ЭТО ЛИШЬ ЧАСТНЫЕ СЛУЧАИ из всего того, что выражается) :

ЭТО ЕЩЁ И бесконечности, неисчислимости и всё прочее -
выражаемое ИМЕННО СРЕДСТВАМИ ФОРМ ЛОГИКИ !
==

А если ХОТЬ КОЕ ЧТО - выражаемое не СРЕДСТВАМИ ФОРМ ЛОГИКИ ..

ТОГДА будьте любезны указать - КАКИМИ ИМЕННО выражаемое !

[modus]

поиск[/b] взаимно-однозначного СО-ОТВЕТ-СТВИЯ МЕЖДУ объектами Реальности -
от построения взаимно-однозначного СО-ОТВЕТ-СТВИЯ МЕЖДУ объектами . .

А не пора ли Вам научиться помалкивать? Вы же не понимаете ни того ни другого. То что я вам рассказал в том посте это на 20 лет вперед ваших размышлений. Вы просто не в состоянии ничего увидеть пока.  Я мог бы вам помочь, но у меня есть правило: я либо меняю слово за слово, понятие за понятие, метод за метод, либо за смирение продаю. Это когда человек говорит "я ничего не знаю, но помогите пожалуйста мне разобраться вот в этом, ибо мне кажется что дело обстоит так что...".