Items waiting in the Pocket queue: 0

Enter one or more words
Enter one or more words
Enter one or more words
In a study released online on July 22 in the journal Proceedings of the Royal Society: Biological Sciences, researchers at Arizona State University and Princeton University show that ants can accomplish a task more rationally than our – multimodal, egg-headed, tool-using, bipedal, opposing-thumbed – selves.


 evolution logic decision ant irrational robotics animal intelligence collective intelligence
Lojban is a constructed, syntactically unambiguous human language based on predicate logic. ... Has a grammar that is based on predicate logic, designed to express complex logical constructs precisely. Has no irregularities or ambiguities in spelling and grammar (although word derivation relies on arbitrary variant forms). This gives rise to high intelligibility for computer parsing. Is designed to be as culturally neutral as possible...
 language linguistics logic artificial precision lojban
Ariadne's thread, named for the legend of Ariadne, is the term used to describe the solving of a problem with multiple apparent means of proceeding - such as a physical maze, a logic puzzle, or an ethical dilemma - through an exhaustive application of logic to all available routes. It is the particular method used that is able to follow completely through to trace steps or take point by point a series of found truths in a contingent,...
 Ariadne logic thread philosophy