paraconsistency
Look at other dictionaries:
Paraconsistent logic — A paraconsistent logic is a logical system that attempts to deal with contradictions in a discriminating way. Alternatively, paraconsistent logic is the subfield of logic that is concerned with studying and developing paraconsistent (or… … Wikipedia
Walter Carnielli — Walter Alexandre Carnielli (born on 11 January in 1952 in Campinas, Brazil) is a Brazilian mathematician, logician, and philosopher of international recognition, full professor of Logic at the State University of Campinas (UNICAMP). With a… … Wikipedia
Lógica paraconsistente — Una lógica paraconsistente es un sistema lógico que intenta tratar las contradicciones en una forma discriminada. Alternativamente, la lógica paraconsistente es un campo de la lógica que se ocupa del estudio y desarrollo de sistemas lógicos… … Wikipedia Español
Newton da Costa — at Berkeley in 1973 Photo courtesy George M. Bergman Full name Newton da Costa Born 16 September 1929 (1929 09 16) (age 82) Curitiba, B … Wikipedia
Béziau — Jean Yves Béziau Jean Yves Béziau (* 15. Januar 1965 in Orléans, Frankreich) ist Professor und Forscher des brasilianischen Forschungrsrates CNPq der nationalen Universität in Ceara, Brasilien. Béziau ist französischer und schweizerischer… … Deutsch Wikipedia
Бажанов, Валентин Александрович — Валентин Александрович Бажанов Дата рождения: 10 января 1953(1953 01 10) (59 лет) Место рождения: Казань, РСФСР Гражданство … Википедия
Смирнова, Елена Дмитриевна — (р. 28.04.1929) спец. по логике; д р филос. наук, проф. Род. в Киеве. Окончила филос. ф т МГУ (1954), асп. по кафедре логики того же ф та (1963). С 1963 работает на той же кафедре, в наст. вр. проф., а также с 1996 зав. сектором логики ИФ РАН, в… … Большая биографическая энциклопедия
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
