rătĭōcĭnātor
61Raison suffisante — Gottfried Wilhelm Leibniz Pour les articles homonymes, voir Leibniz (homonymie). Gottfried Wilhelm Leibniz Philosophe et Scientifique Époque Moderne …
62Wilhem Leibnitz — Gottfried Wilhelm Leibniz Pour les articles homonymes, voir Leibniz (homonymie). Gottfried Wilhelm Leibniz Philosophe et Scientifique Époque Moderne …
63ЛОГИСТИКА — в нач. 20 в. название логики, изучаемой математическими методами, в частности, с использованием аксиоматизации и формализации. Слово «Л.» первоначально означало искусство вычисления или обычную арифметику. Г. Лейбниц употреблял его для… …
64ХИНТИККА — (Hintikka) Яакко (р. 1929) фин. логик и философ, ученик Г.Х. фон Вршта. Работал в Станфордском и Хельсинкском ун тах, в 1970 избран членом Академии Финляндии, проф. ун та Флориды, член Амер. академии наук и искусств, входит в состав редколлегий… …
65ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т …
66Jaakko Hintikka — en el 2006. Jaakko Hintikka (12 de enero de 1929) es un filósofo y lógico finlandés. Hintikka nació en Vantaa. Luego de enseñar en Florida State University, Stanford, Universidad de Helsinki, y la Academia de Finlandia, actualmente Hintikka es… …
67История идей — История идей  наука об историческом процессе создания, сохранения и изменения человеческих идей. История идей тесно связана с интеллектуальной историей, историей философии, историей науки, историей литературы и истории культуры в целом, и… …
68logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher …
69Исчисление понятий — «ИСЧИСЛЕНИЕ ПОНЯТИЙ» («Запись в понятиях») сочинение немецкого математика и логика Готтлоба Фреге, положившее начало современной форме математической (символической) логики. Полное название этого сочинения включало указание на то, что в… …
70Commonsense knowledge base — In artificial intelligence research, commonsense knowledge is the collection of facts and information that an ordinary person is expected to know. The commonsense knowledge problem is the ongoing project in the field of knowledge representation… …