The Proceedings of the Aristotelian Society, Supplementary Volumes contain the Symposia to be read at the Annual Joint Session of the Aristotelian Society and the Mind Association each year. Publisher ...

We solve a problem of Friedman by showing the existence of a logic stronger than first-order logic even for countable models, but still satisfying the general compactness theorem, assuming e.g. the ...

We can assume that children learn to count starting with one and followed by the lists of numbers in ascending order of cardinality (one, two, three). But besides numbers, in languages there are more ...