Prior research on the ability to solve the Piagetian invisible displacement task has focused on prerequisite representational capacity. This study examines the additional prerequisite of deduction. As in other tasks (e.g., conservation and transitivity), it is difficult to distinguish between behavior that reflects logical inference from behavior that reflects associative generalization. Using ...

This paper presents an approach to object oriented requirements engineering and business process re-engineering with a number of advantages over the widely used use case technique. It points out some problems with the use case approach and explains the origins of the idea of task scripts. It compares the two approaches and defines their interrelatedness. The paper sets out to improve and clarif...

Far more general than upon most subjects has been the agreement reached by competent thinkers that Science is essentially a method of investigation. Of course there have been, and there are today, a number of alternative investigatory methods olther than that of Science, just as there are entirely legitimate logics other than that of the syllogism. But Science today is by far the most publicize...

People use common sense in their interactions with large information systems. This common sense needs to be formalized so that it can be used by computer systems. Unfortunately, previous formalizations have been inadequate. For example, classical logic is not safe for use with pervasively inconsistent information. The goal is to develop a standard foundation for reasoning in large-scale Interne...

Then I am justified in believing the first conjunct. So by (EP) I am justified in believing that I believe that p. But since I am also justified in believing the second conjunct, I am justified in believing that I do not believe that p. I claimed that this is impossible, because anything that justifies me in believing that something is the case renders me unjustified in believing that it is not...

In 1999 a great multi-site clinical trial known as the randomised Aldactone evaluation study (RALES) showed that the use of spironolactone importantly reduced complications attributable to chronic heart failure without major negative side effects. Recently, RALES has been questioned by a large scale observational study in the Ontario population. In contrast with predictions, the complications a...

Religion is a social phenomenon. Society and, therefore, religion will continue to exist as long as human beings exist. This article explores this syllogism, by analysing two 19th-century social theories on the future of religion. Weber was not positive as to the future of religion and foresaw that religion would die out at the hands of rationality and modernisation. Durkheim predicted that rel...

In 1999 a great multi-site clinical trial known as the randomised Aldactone evaluation study (RALES) showed that the use of spironolactone importantly reduced complications attributable to chronic heart failure without major negative side effects. Recently, RALES has been questioned by a large scale observational study in the Ontario population. In contrast with predictions, the complications a...

Indefinite probabilities are a novel technique for quantifying uncertainty, which were created as part of the PLN (Probabilistic Logic Networks) logical inference engine, which is a key component of the Novamente Cognition Engine (NCE), an integrative AGI system. Previous papers have discussed the use of indefinite probabilities in the context of a variety of logical inference rules, but have o...

In 1883, while a student of C. S. Peirce at Johns Hopkins University, Christine Ladd-Franklin published a paper titled On the Algebra of Logic, in which she develops an elegant and powerful test for the validity of syllogisms that constitutes the most significant advance in syllogistic logic in two thousand years.1 Sadly, her work has been all but forgotten by logicians and historians of logic....