Michele Pasin / Quotes

Leibniz's Characteristica Universalis

Hobbes’s “parcels” were the basic units of thought, just as symbols are basic to Newell and Simon’s Physical Symbol Systems Hypothesis. Hobbes’s ideas were furthered by the mathematician and philosopher Gottfried Wilhelm Leibniz (1646–1716) who tried to identify an appropriate system of parcels – a logical language. Leibniz imagined writing down all the facts known to man in this language, which he called Characteristica Universalis.

Saved 15 June 2022 / www.amazon.com ↗

#logic #formal-language #knowledge-representation #philosophy

Computers as a new environment for philosophical modeling

Philosophical modeling is as old as philosophy itself; examples range from Plato's Cave and the Divided Line to Rawls's original position. What is new are the…

The Philosophical Computer: Exploratory Essays In Philosophical Computer Modeling #philosophy #logic

Onishi Hajime, mediatore tra Oriente e Occidente

Hajime (1864-1900) è un altro pensatore dell’epoca Meiji. Nato nella prefettura di Okayama, frequentò una scuola cristiana e si laureò in filosofia a Tokyo…

Lo Spirito del Giappone (Leonardo Vittorio Arena) #philosophy #Western-philosophy #ethics #logic

Formal ontology

In philosophy, the term formal ontology is used to refer to an ontology defined by axioms in a formal language with the goal to provide an unbiased (domain-…

Formal Ontology #ontology #formal-ontology #formal-language

Publicly declared concepts in the semantic web

The assumption that there will be terms whose meaning is publicly declared and thus sharable is critical to making the Semantic Web work. Although we brought…

Where Are The Semantics In The Semantic Web? #meaning #semantics #formal-language #web-content

Kr primitive

The term primitive as used in knowledge representation characterizes a concept that is declared and its meaning is agreed upon, but that is not defined by a…

Cidoc-crm Version 4.2.4 - Reference Document #concept #meaning #knowledge-representation #representation #terms

Monotonic reasoning

Monotonic reasoning is a term from knowledge representation. A reasoning form is monotonic if an addition to the set of propositions making up the knowledge…

Cidoc-crm Version 4.2.4 - Reference Document #reasoning #knowledge-representation #set #information-systems