Michele Pasin / Quotes

Leibniz's law against the identity theory

There were a number of objections to the identity theory. I find it useful to distinguish between the technical objections and the common-sense objections. The first technical objection was that the theory seemed to violate a principle of logic called “Leibnitz’s Law.”11 The law says that if any two things are identical, then they must have all their properties in common. So if you could show that mental states had properties that could not be attributed to brain states, and brain states had properties that could not be attributed to mental states, it looks like you would refute the identity theory.

Saved 30 July 2014 / www.amazon.com ↗

#identity-theory #logic

AI builds on logic as thought

Logical reasoning requires the manipulation of sentences described in a logical language. These sentences can be interpreted as representing concepts such as…

Introducing Artificial Intelligence (Henry Brighton and Howard Selina) #logic #reasoning #knowledge-representation #artificial-intelligence

Alternatives to gold model open access

Are there no alternatives to this commodified, market-oriented logic currently in play in scientific publishing? Will this logic (and its serious…

Nature-branded Journal Goes Open Access-only: Can We Celebrate Already? | Open Knowledge Foundation Blog #logic #science #publishing-houses #play

Are person and self sortal concepts?

The false assumption can be put in another way. Concepts such as ‘person’ and ‘self’ are taken to be either ‘sortals’ or useless. A sortal concept is one…

The Ego Trick (baggini, Julian) #concept #personal-identity #nouns #logic

Can common sense be formalized?

The CYC project is entering its final phase, with Lenat predicting a 50% chance of success. Apart from the practical benefits of a successful CYC project, the…

Introducing Artificial Intelligence (Henry Brighton and Howard Selina) #knowledge-representation #artificial-intelligence #logic #symbols

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

Conceptual graphs

Indexes, glossaries and thesauri are all ways of mapping the knowledge structures that exist implicitly in books and other sources of information. In the…

The Tao Of Topic Maps #graph #nets #logic #field-of-AI