Provocatively, David Armstrong's properties are supposed to be both universals and spatio-temporal. What does this amount to? I consider four of Armstrong's views, in order of ascending plausibility: (1) the exemplification account, on which universals are exemplified by space-times; (2) the location account, on which universals are located at space-times; (3) the first constituent account, on which spatio-temporal relations are elements of what I call the form of time; and, the true view, (4) the second constituent account, on which universals (...) are spatio-temporal only 'derivatively' by being constituents of states of affairs which are so 'primarily'. The first two accounts are rejected because they entail that space-times must be substantival. In making plausible the second constituent account, I distinguish primitive and derivative spatio-temporality. Something is primitively spatio-temporal when it is at a space-time, or stands in spatio-temporal relations. Something is derivatively spatio-temporal when it is a constituent of something primitively spatio-temporal. (shrink)

Despite having been solved numerous times, the surprise quiz paradox persists in the intellectual imagination as a riddle. This dialogue aims to dispel the fallacies of the paradox in an intuitive way through the causal format of a dialogue. Along the way, two contributions are made to the literature. Even if the student knew there would be a quiz at the end of a quizless Thursday, the fact that the quiz will be a surprise Friday would provide a Gettier-style defeater (...) for his supposed knowledge that he will have a quiz Friday. In addition, pace Sorensen (1988), the dialogue explains why the temporal retention of knowledge is essential to the puzzle and not a mere accident. (shrink)

Pace Benovsky's ‘Presentism and Persistence,’ presentism is compatible with perdurantism, tropes and bundle-of-universals theories of persisting objects. I demonstrate how the resemblance, causation and precedence relations that tie stages together can be accommodated within an ersatzer presentist framework. The presentist account of these relations is then used to delineate a presentist-friendly account of the inter-temporal composition required for making worms out of stages. The defense of presentist trope theory shows how properties with indexes other than t may be said to (...) exist at t. This involves an account of how times other than t exist at t, and how times may be multiply located at any given time. Benovsky's objection to bundles of universals is shown to assume that a bundle of properties must have the properties of its element properties. (shrink)

Time passes iff: P and then Q, for any tensed P and Q. Mary sits; and then she stands. The view—dynamic succession—accommodates the intuition that time passes when events change their A-characteristics: my next birthday is 11 months future and then 10 months future and so on. The view implies an intimate connection between passage, persistence, and change. Persistence and change both presuppose passage. The view charts a path between A-theories (invoking past, present, future) and B-theories (invoking succession). A-theories of (...) passage fail to uncover what makes the passage process go (i.e., succession). B-theories negate tense and therefore mistakenly treat succession as a static relation. Genuine succession makes it so that what comes after replaces what came before. (shrink)

Are concrete objects in some sense made up of the properties they exemplify? A distinguished tradition holds they are. I begin by defending the distinction: there is a real and not just semantic distinction between asserting and denying that concrete objects have their properties as parts. I then argue in favor of the view that concrete objects are not made up of their parts. First, this view has less ontological baggage than its opponent. Next, the supposed advantages of the alternative (...) view—its superiority in understanding persistence, exemplification, or the possibility of diverse duplicates—dissipate under analysis. (shrink)

The Growing Block Theory of time asserts that temporal reality encompasses all present and past things. The world grows as things come to be present. When something becomes past it does not cease to be, it simply moves away from the growing edge of reality. Thus past things are just like present ones, except not present. But if past things are just as real as present ones, and qualitatively just like them, how can I tell if what is happening is (...) present and not past? It seems everything would look the same to me whether I was past or present. And so I don’t know that I am present. To avoid this intolerable result, I argue on behalf of the Growing Block Theorist that the present does not look the same as the past. Experiences exemplify the property of presentness when they are present, and I can be directly acquainted with that fact. My direct acquaintance enables me to be justified in believing my experiences are present and to know the same. I develop this view and conclude by responding to objections. (shrink)

The literature provides different methodologies for sampling social wasps, including, flight intercept trap type Malaise and Attractive trap, however, there is no consensus on its use. In this respect, the aim of this study was to evaluate the best use of Malaise traps and Attractive trap in biodiversity work of social wasps, and generate a collection protocol for the use of these traps. The study was conducted in the Parque Estadual do Rio Doce, located in the east of the state (...) of Minas Gerais, in the years 2000, 2001, 2002 and 2004 and in the Botanical Garden of the Federal University of Juiz de Fora, located in the southeastern state of Minas Gerais, in years 2011, 2012 and 2013. 15 species were collected using Malaise traps, and, 26 species of social wasps were collected using Attractive traps. Although the negative aspects of both traps, complementary methodologies surveys varying social wasps are useful and it is recommended to choose for using in accordance with the logistical field. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.