Что такое логика?
видов логик человечество и математики напридумывали много
моя фишка в том, чтобы обобщать, люблю обобщать )
и далее выражать в простых доступных формах квинтэссенцию обобщения человеческой мысли
основная фишка:
по идее всякие логики обобщаются до системы преобразования цепочек символов
это суть логики (любой разновидности любых логик)
логика это правила преобразования цепочек символов
--- цитата из вики---
Формальная система
(формальная теория, аксиоматическая теория, дедуктивная система) - результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других[1].
Формальная система - это совокупность абстрактных объектов, не связанных с внешним миром, в которой представлены правила оперирования множеством символов в строго синтаксической трактовке без учёта смыслового содержания, то есть семантики.
Формальная теория считается определенной, если[2]:
Задано конечное или счётное множество произвольных символов.
1. Конечные последовательности символов называются выражениями теории.
2. Имеется подмножество выражений, называемых формулами.
3. Выделено подмножество формул, называемых аксиомами.
4. Имеется конечное множество отношений между формулами, называемых правилами вывода.
Обычно имеется эффективная процедура, позволяющая по данному выражению определить, является ли оно формулой.
https://ru.wikipedia.org/wiki/Формальная_система
модель, интерпретация, формальная система, теория
https://deep-econom.livejournal.com/220457.html
---
моя фишка в том, чтобы обобщать, люблю обобщать )
и далее выражать в простых доступных формах квинтэссенцию обобщения человеческой мысли
основная фишка:
по идее всякие логики обобщаются до системы преобразования цепочек символов
это суть логики (любой разновидности любых логик)
логика это правила преобразования цепочек символов
--- цитата из вики---
Формальная система
(формальная теория, аксиоматическая теория, дедуктивная система) - результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других[1].
Формальная система - это совокупность абстрактных объектов, не связанных с внешним миром, в которой представлены правила оперирования множеством символов в строго синтаксической трактовке без учёта смыслового содержания, то есть семантики.
Формальная теория считается определенной, если[2]:
Задано конечное или счётное множество произвольных символов.
1. Конечные последовательности символов называются выражениями теории.
2. Имеется подмножество выражений, называемых формулами.
3. Выделено подмножество формул, называемых аксиомами.
4. Имеется конечное множество отношений между формулами, называемых правилами вывода.
Обычно имеется эффективная процедура, позволяющая по данному выражению определить, является ли оно формулой.
https://ru.wikipedia.org/wiki/Формальная_система
модель, интерпретация, формальная система, теория
https://deep-econom.livejournal.com/220457.html
---