Girard introduced phase semantics as a complete set-theoretic semantics of linear logic, and Okada modified phase-semantic completeness proofs to obtain normalform theorems. On the basis of these ...

This paper is roughly in two parts. The first deals with whether knowhow is constituted by propositional knowledge, as discussed primarily by Gilbert Ryle (1949) The concept of mind. London: ...

when thinking about logical agents, we imagine that the agent has a knowledge base (KB for short) that contains logical sentences that describe the state of the world you could think of a KB as a ...

A Kellogg MBA is your gateway to a global community, countless personal and professional opportunities and access to the sharpest minds in business.

For some decades now it has been a vogue to disparage the confession that the Scriptures are the very Word of God with the claim that since the Bible is made up of “propositional truth” it cannot ...

(1) Humans (for example, artists) have the intention to convey thought to others. This thought is embodied. Conceptual metaphor exemplifies one kind of cognitive mechanism through which this principle ...