Prezentuj\u0105c temat b\u0119d\u0119 pr\u00f3bowa\u0142 przekona\u0107 s\u0142uchaczy do koncepcji monady zaproponowanej przez Leibniza, monady, kt\u00f3r\u0105 mo\u017cna rozumie\u0107 jako swoisty \u201epodmiot-robot\u201d albo \u201emaszyna licz\u0105ca\u201d (nie chodzi tu jednak o \u2013 stosunkowo prost\u0105 \u2013 maszyn\u0119 licz\u0105c\u0105, kt\u00f3r\u0105 skonstruowa\u0142 Leibniz oko\u0142o 1670 roku do wykonywania podstawowych operacji arytmetycznych). Monada Leibniza \u201eliczy na percepcjach\u201d b\u0105d\u017a \u201eprzekszta\u0142ca percepcje\u201d, w kt\u00f3re jest wyposa\u017cona. Do opisu tych przekszta\u0142ce\u0144 proponuj\u0119 zastosowa\u0107 podstawowe poj\u0119cia topologii og\u00f3lnej. Sama monada, w tym uj\u0119ciu, jest zdefiniowana nast\u0119puj\u0105co:<\/p>\n
DEFINICJA. Monad\u0105 M nazywam uk\u0142ad ((P, T(P)), I<b, d>, OPM, APM, CPM), gdzie (P, T(P)) jest przestrzeni\u0105 topologiczn\u0105 okre\u015blon\u0105 na pewnym zbiorze elementarnych percepcji P, I<b, d> jest przedzia\u0142em czasowym, w kt\u00f3rym monada M trwa (\u017cyje), OPM jest zbiorem operacji, kt\u00f3rymi pos\u0142uguje si\u0119 monada przy przekszta\u0142caniu percepcji, APM z kolei to tzw. apetycja (appetition) monady oraz CPM to mnogo\u015b\u0107 z\u0142o\u017conych percepcji okre\u015blonych przez apetycj\u0119 monady M.<\/p>\n
Przedstawiaj\u0105c temat wyja\u015bni\u0119 poszczeg\u00f3lne \u201esk\u0142adniki\u201d monady oraz podam pewne twierdzenia dotycz\u0105ce logiki temporalnej monady, tj. logiki monady jako substancji trwaj\u0105cej w czasie i zdobywaj\u0105cej wiedz\u0119, oraz twierdzenia o tzw. subiektywnej wiedzy monady (m. in.: a) subiektywna prawda jednej monady nie musi by\u0107 prawd\u0105 innej; b) subiektywna wiedza monady jest niesprzeczna).<\/p>\n
Stawiam robocz\u0105 hipotez\u0119, \u017ce zdefiniowana powy\u017cej monada jest automatem (maszyn\u0105 Turinga). Jest to kwestia dyskusyjna i licz\u0119 na pomoc ze strony \u015brodowiska informatycznego. Wst\u0119pnie wi\u0119c proponuj\u0119, by zaproponowan\u0105 przeze mnie 5-tk\u0119 rozumie\u0107 jako uk\u0142ad dzia\u0142aj\u0105cy \u2013 w praktyce \u2013 nast\u0119puj\u0105co:
\n– rozwa\u017c (we\u017a) percepcje A, B, C, … ze zbioru percepcji, kt\u00f3re s\u0105 dane w przestrzeni topologicznej (w przypadku sko\u0144czonym zbi\u00f3r {a, b} mo\u017cna interpretowa\u0107 jako np. jest zielone i jest okr\u0105g\u0142e);
\n– we\u017a operacje mnogo\u015bciowe i topologiczne (np. domkni\u0119cie, dope\u0142nienie, pochodn\u0105 zbioru);
\n– produkuj przy pomocy operacji nowe percepcje (np. dope\u0142nienie zbioru A);
\n– z utworzonych percepcji (maj\u0105c ich nazwy) tw\u00f3rz zdania (np. A = cl(B)); poj\u0119ciowy odpowiednik zdania (s\u0105d w sensie logicznym) nazywam z\u0142o\u017con\u0105 percepcj\u0105;
\n– tw\u00f3rz logik\u0119 na tak zadanych prostych zdaniach; zdanie jest dla monady prawdziwe, je\u015bli w jej topologii rzeczywi\u015bcie zachodzi (np. gdy prawd\u0105 jest, \u017ce A = cl(B)); zbi\u00f3r takich prawdziwych dla monady zda\u0144 nazywam wiedz\u0105 subiektywn\u0105 (problem wiedzy obiektywnej podejmuj\u0119 w innym miejscu).<\/p>\n
[Supported by National Science Centre, Poland: OPUS 2017\/27\/B\/HS1\/02830]<\/p>\n","protected":false},"excerpt":{"rendered":"
Prezentuj\u0105c temat b\u0119d\u0119 pr\u00f3bowa\u0142 przekona\u0107 s\u0142uchaczy do koncepcji monady zaproponowanej przez Leibniza, monady, kt\u00f3r\u0105 mo\u017cna rozumie\u0107 jako swoisty \u201epodmiot-robot\u201d albo \u201emaszyna licz\u0105ca\u201d (nie chodzi tu jednak o \u2013 stosunkowo prost\u0105 \u2013 maszyn\u0119 licz\u0105c\u0105, kt\u00f3r\u0105 skonstruowa\u0142 Leibniz oko\u0142o 1670 roku do … Czytaj dalej