検索ワード: mereology (英語 - スペイン語)

mereology
mereología

chisholm translated some work by brentano and by husserl, and contributed to the post-1970 renaissance of mereology.
chisholm tradujo obras de brentano y husserl, y contribuyó al renacimiento en la década de 1970 de la mereología.

the goodman–leonard (1940) calculus of individuals is the starting point for the american variant of mereology.
el calculo de individuos de goodman-leonard (1940) fue el punto de partida de la variante estadounidense de la mereología.

although he had presented his first ideas on a new theory of classes which would avoid the paradoxes while he was in lwów, it was during his time in moscow that lesniewski published his formal theory called mereology.
a pesar de que había presentado sus primeras ideas sobre una nueva teoría de las clases que se evitarían las paradojas cuando se encontraba en lwów, fue durante su tiempo en moscú lesniewski que publicó su teoría llamada mereology oficial.

the three major logical systems which lesniewski developed were: protothetic, a theory of propositions and propositional functors, similar in power to a theory of propositional types, providing an extended propositional calculus with quantified functional variables; ontology, which is an axiomatised theory of common names based on protothetic which may be characterised as a cross between traditional term logic and modern type theory, containing, besides singular terms, also empty and plural terms and a host of other interesting features; and mereology, which is an axiomatic extension of ontology for a theory of classes quite different from set theory providing a formal theory of part and whole similar to the calculus of individuals.
los tres principales sistemas de lógica que lesniewski desarrollados fueron: protothetic, una teoría de las proposiciones y functors proposicional, similares en poder de una teoría de los tipos proposicional, proporcionar un cálculo proposicional ampliado con las variables funcionales cuantificados; ontología, que es una teoría de la axiomatised nombres comunes protothetic sobre la base de que puede ser caracterizado como un cruce entre la lógica tradicional y moderna teoría, que contiene, además de lo singular, también lo vacío y plural y una serie de otras características interesantes, y mereology, que es un axioma de extensión de la ontología de teoría de clases muy diferentes de la teoría de conjuntos una teoría formal de la parte y el conjunto similar al cálculo de las personas.