Achille C. Varzi

It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by purely syntactic means, the resulting picture gives an improved syntactic account of classical sentential logic. The picture can then be completed by considering related systems that prove adequate to specify the set of contradictions, the set of non-contradictions, and the set of contingencies respectively.

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory subsuming mereology. Some more speculative strategies and directions for further research are also considered.

On the one hand, logic has (or ought to have) nothing to do with metaphysics; it ought to have nothing to do with questions concerning what there is, or whether there is anything at all. On the other hand, metaphysics can hardly get off the ground without the help of logical analysis; to be is to be a truth-maker, and the search for truth-makers requires that we lay open the logical structure of our language. So something’s gotta give: either logical analysis is metaphysically biased, or metaphysicians must make up their mind before resorting to logical analysis. Or both.

Like the journal TOPOl, the TOPOl Library is based on the assumption that philosophy is a lively, provocative, delightful activity, which constantly challenges our inherited habits, painstakingly elaborates on how things could be different, in other stories, in counterfactual situations, in alternative possible worlds. Whatever its ideology, whether with the intent of uncovering a truer structure of reality or of shooting our anxiety, of exposing myths or of following them through, the outcome of philosophical activity is always the destabilizing, unsettling generation of doubts, of objections, of criticisms. It follows that this activity is intrinsically a dialogue, that philosophy is first and foremost philosophical discussion, that it requires bringing out conflicting points of view, paying careful, sympathetic attention to their structure, and using this dialectic to articulate one's approach, to make it richer, more thoughtful, more open to variation and play. And it follows that the spirit which one brings to this activity must be one of tolerance, of always suspecting one's own blindness and consequently looking with unbiased eye in every comer, without fearing to pass a (fallible) judgment on what is there but also without failing to show interest and respect.