Projective Modality in the History of Logic icon

Projective Modality in the History of Logic



НазваниеProjective Modality in the History of Logic
Дата конвертации28.08.2012
Размер8.7 Kb.
ТипДокументы


Projective Modality in the History of Logic


Vyacheslav Moiseev, Russia


Ancient and Medieval Philosophy had a basic intuition almost missed in the contemporary philosophical tradition. Classical metaphysics disposed all principles (things, ideas, feelings, etc.) within one framework ordering them by degree of unity. Idea of a “Metaphysical Order” can be displayed in the relation of Idea and Matter (Plato), Form and Matter (Aristotle), Essentia and Existentia (Scholastics), Substantia and Modus (Decartes, Spinoza) etc. One basic structure was here. It concluded idea of an Order, from the first side. However, this is not a simple order as reflective, antisymmetrical and transitive relation. It is a “Metaphysical Order” when a relation “less or equal” connects with the idea of a restriction of more united principle to its aspects-projections like 3-dimensional body is restricted to own 2-dimensional projections on planes. Therefore, Idea of Order is not independent. It presupposes a more rich structure, in the framework of which Order is a more partial principle. Whenever a non strong order ab is presented, a functor  (“projector”) is defined, where (b,c) = a, and c is a principle of restriction of b to a. Therefore, we have:

(1) (ab)  c((b,c) = a)


- being of any order implies existence of a functor  and a principle of restriction c, where (b,c) = a. And vice versa, existence of a functor  and a principle of restriction c, where (b,c) = a, implies a nonstrong order ab:


(2) c((b,c) = a)  (a b)


(1) and (2) together give (3):


(3) (ab)  c((b,c) = a)


So the non strong order turns out is plunged in a more rich structure with a functor , a principle of restriction c, an equality =, etc. What are these elements? What is a logic of them? It seems classical metaphysical systems knew the answer. I try to reconstruct these ancient philosophical intuitions in a logical system, so called Projectively Modal Ontology (PMO)1, where relation of a non strong order with additional constructions like in (1)-(3) are interpreted as a kind of modality, “projective modality”, such that formula “ab” means “a is a mode (“projection”) of b”.

Now one can said that classical metaphysics actively used the idea of “projective modality” ordering principles in the Univers. After primary description of PMO, I presuppose to show projectively modal structure of Plato “Parmenides” as one of the most bright examples of “Metaphysical Ordering” in the history of Philosophy.
Every part of the dialog is presented as a mode of One receiving by a special projectively modal restriction of One.



1 see Wiaczeslaw I. Moisiejew. Ontologia Stanisława Leśniewskiego i Logika Wszechejedności // Kwartalnik Filozoficzny. Tom XXXII. Zeszyt 1. Przeł. Paweł Rojek. Kraków. Polska Akademia Umiejętności, Uniwersytet Jagielloński. 2004. – pp.101-126.; V.Moiseev. Projectively Modal Ontology // Logical Studies, № 9, 2002. – (http://www.logic.ru/LogStud/09/LS9.html).





Похожие:

Projective Modality in the History of Logic iconРоссийский государствнный гуманитарный университет
Член редакционного совета международных научных журналов: History and Theory, Rethinking History, clio, Historiography East and West,...
Projective Modality in the History of Logic icon1988 Complex Logic for the Identification of Systems Considering Possible Errors

Projective Modality in the History of Logic iconДокументы
1. /logic.txt
Projective Modality in the History of Logic iconДокументы
1. /logic.doc
Projective Modality in the History of Logic iconДокументы
1. /logic.txt
Projective Modality in the History of Logic iconДокументы
1. /logic.txt
Projective Modality in the History of Logic iconДокументы
1. /Fuzzy Logic in Embedded Microcomputers.pdf
Projective Modality in the History of Logic iconДокументы
1. /Weng Fook Lee. Verilog Coding for Logic Syntesis. 2003.pdf
Projective Modality in the History of Logic iconДокументы
1. /Enoch Hwang. Digital Logic & Microprocessor Design With VHDL. 2004.pdf
Projective Modality in the History of Logic iconR. F. Flint the earth and its history

Разместите кнопку на своём сайте:
Документы


База данных защищена авторским правом ©podelise.ru 2000-2014
При копировании материала обязательно указание активной ссылки открытой для индексации.
обратиться к администрации
Документы

Разработка сайта — Веб студия Адаманов