Aristotle is thought to have held a distinctive view about the openness of the future. Everything necessarily is or is not, and will be or will not be; but one cannot divide and say that one or the other is necessary. I mean, for example: it is necessary for there to be or not to be a sea-battle tomorrow; but it is not necessary for a sea-battle to take place tomorrow, nor for one not to take p...

Aristotelian diagrams visualize the logical relations among a finite set of objects. These 1 diagrams originated in philosophy, but recently they have also been used extensively in artificial 2 intelligence, in order to study (connections between) various knowledge representation formalisms. 3 In this paper we develop the idea that Aristotelian diagrams can be fruitfully studied as geometrical ...

With this paper I aim to demonstrate that a look beyond the Aristotelian square of opposition, and a related non-conservative view on logical determiners, contributes to both the understanding of Aristotelian syllogistics as well as to the study of quantificational structures in natural language.

With this paper I aim to demonstrate that a look beyond the Aristotelian square of opposition, and a related non-conservative view on logical determiners, contributes to both the understanding of Aristotelian syllogistics as well as to the study of quantificational structures in natural language.

This article provides a transcultural, “transversal” investigation. It starts from the philosophical problem of knowing non-knowing. In chapters 1 and 2, first expressions this by Confucius Socrates are considered. Against background, new transcultural working concepts developed. A key term to be established here is that an “implicate logic”. refers reflection unity difference therefore very co...

In this paper, we study the interaction between square of opposition for Aristotelian quantifiers (‘all’, ‘some’, ‘no’, and ‘not all’) generated by proportional quantifier ‘most’ (in its standard generalized theory reading ‘more than half’). a first step, provide an analysis in terms bitstring semantics two squares independently. The classical involves tripartition logical space, whereas degene...

Philosophers often discuss the difference between theories that describe space as absolute (for example, Newton) or as relational (for example, Leibniz). Node and link hypertext creates a relational space, while most spatial hypertext either works with an absolute (background or container) space, or combines this with Leibnizian link networks. There is, however, a third sort of space, which we ...