-
19Oggetti fiat (edited book)Rivista di estetica. 2002.A selection of recent philosophical texts—in Italian translation—dealing with the mereology of material objects and the nature of their boundaries. Introduction by L. Morena. Papers by R. M. Chisholm, P. M. Simons, B. Smith, A. Stroll, A. C. Varzi.
-
18Variable-Binders as FunctorsIn Vito Sinisi & Jan Woleński (eds.), The Heritage of Kazimierz Ajdukiewicz, Rodopi. pp. 303. 1995.
-
16Mondo-versioni e versioni del mondoIn Nelson Goodman (ed.), Vedere e costruire il mondo, Laterza Editore. 2008.Some reflections on Nelson Goodman’s ontological pluralism (as emerging from his Ways of Worldmaking) and its influence on contemporary philosophy, taking the querelle with Quine in the columns of The New York Review of Books as a starting point.
-
15EventsDartmouth. 1996.Philosophical questions about events lie at the crossing of several disciplines, from metaphysics and logic to philosophy of language, action theory, the philosophy of space and time.
-
14LogicaMcGraw-Hill Italia. 2003.Italian translation of "Schaum's Outline of Theory and Problems of Logic" (1988)
-
14Insurmountable Simplicities: Thirty-nine Philosophical Conundrums (edited book)Columbia University Press. 2006."Perhaps not all the stories that follow are true. They could, however, be true, and the Reader is invited to ponder this." So begins _Insurmountable Simplicities_, Roberto Casati and Achille Varzi's colorful incarnation of the many philosophical conundrums that hide in the wrinkles of everyday life. Why do mirrors seem to invert left and right but not up and down? How do we know whether strawberries taste the same for everyone? Where is it written that we must observe the law, and if it is not …Read more
-
14Complementary Proof Nets for Classical LogicLogica Universalis 17 (4): 411-432. 2023.A complementary system for a given logic is a proof system whose theorems are exactly the formulas that are not valid according to the logic in question. This article is a contribution to the complementary proof theory of classical propositional logic. In particular, we present a complementary proof-net system, $$\textsf{CPN}$$ CPN, that is sound and complete with respect to the set of all classically invalid (one-side) sequents. We also show that cut elimination in $$\textsf{CPN}$$ CPN enjoys s…Read more
-
12An Essay in Universal SemanticsKluwer Academic Publishers. 1999.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 o…Read more
-
8"All the Shadows / Whisper of the Sun": Carnevali's Whitmanesque SimplicityPhilosophy and Literature 41 (2): 360-374. 2017.Dear Harriet Monroe:—Your recent issue of Poetry is quite interesting. The first poem of that young Italian chap is very good, the rest—unsuccessful. You are certainly the clearinghouse for a lot of mediocre stuff—so you should be: very democratic—keep up the good work. Yours,Williams This is William Carlos Williams writing to the editor of Poetry magazine on March 12, 1918.1 We know who the young Italian chap is: Emanuel Carnevali, age twenty, who had just made his debut in Monroe’s magazine wi…Read more
-
7ForewordThe Monist 88 (3): 325-328. 2005.Might we some day be in a position to move about in time, just as we can already move about in space? Today, few would question that deliberate change in temporal location is logically possible. There is no contradiction in the thought that Tim could step into a time machine and travel backwards to visit his grandfather, or forwards to visit his grandchildren. That is, there is no contradiction provided that we take time travel to involve influencing the course of history rather than changing it…Read more
-
5Book Reviews (review)History and Philosophy of Logic 17 (1-2): 155-177. 1996.Gennaro Chtjerchia, Dynamics of meaning: anaphora, presupposition, and the the of grammar. Chicago and London: The University of Chicago Press, 1995.xv+ 270 pp, £59.95, £31.95 G. Pr...
-
5ForewordThe Monist 83 (3): 319-320. 2000.Some entities—perhaps all entities—have spatial parts, parts whose spatial location does not coincide with that of the whole. My hands are spatial parts of my body in this sense, and from my window I can only see part of the parade, not all of it. Some entities have temporal parts, too, or so we are inclined to say. The first inning is a temporal part of a ball game in this sense—it occupies a shorter stretch of time, and much more will have to happen before the game is over.
-
5Niveles de realidad y descripciones del mundoDisputatio. Philosophical Research Bulletin 4 (5): 29--49. 2015.[ES] Aquí articulo y luego defiendo las dos afirmaciones siguientes: que es un error pensar que la estructura del mundo debe reflejar la estructura de las teorías por las cuales lo representamos, y por medio de las cuales tratamos de descifrarlo, simplemente porque estas teorías parecen funcionar; entre las consecuencias más lamentables de este error está la tendencia generalizada a pensar que debe haber una pluralidad de realidades, o varios niveles diferentes e irreductibles de una realidad es…Read more
-
5Undetached Parts and Disconnected WholesIn Christer Svennerlind, Almäng Jan & Rögnvaldur Ingthorsson (eds.), Johanssonian Investigations: Essays in Honour of Ingvar Johansson on His Seventieth Birthday, Ontos Verlag. pp. 696-708. 2013.
-
5Buchi e altre superficialitàGarzanti. 1996.Italian translation of "Holes and Other Superficialities" (1994)
-
2Complementary Logics for Classical Propositional LanguagesKriterion - Journal of Philosophy 1 (4): 20-24. 1992.
-
Classical Logic through Refutation and RejectionIn Achille C. Varzi & Gabriele Pulcini (eds.), Landscapes in Logic (Volume on Philosophical Logics), College Publications. forthcoming.We offer a critical overview of two sorts of proof systems that may be said to characterize classical propositional logic indirectly (and non-standardly): refutation systems, which prove sound and complete with respect to classical contradictions, and rejection systems, which prove sound and complete with respect to the larger set of all classical non-tautologies. Systems of the latter sort are especially interesting, as they show that classical propositional logic can be given a paraconsistent …Read more
-
Landscapes in Logic (Volume on Philosophical Logics) (edited book)College Publications. forthcoming.
-
Vagueness, logic and ontologyIn Darragh Byrne & Max Kölbel (eds.), Arguing about language, Routledge. 2010.
-
Universal SemanticsDissertation, University of Toronto (Canada). 1995.Much recent work aimed at extending model-theoretic semantics has been formulated in response to specific needs, and little effort has been made in the direction of a truly "general" generalization. This work is an attempt to overcome these limitations. The unifying view is that semantics must account for the main relationships between languages and models in a uniform fashion, regardless of the specific conditions that may be imposed upon either notion. And the upshot is a general framework wit…Read more
New York City, New York, United States of America
Areas of Specialization
Metaphysics |
Philosophy of Language |
Logic and Philosophy of Logic |