Arts, Real-Time Video and Interactivity for Sustainability is an ongoing collaborative research project investigating how real-time video, DIY surveillance technologies and sensor data can be used as a tool for environmental awareness, activism and artistic explorations. The project consists of a series of digital contexts for aesthetic contemplation of nature and civic engagement, aiming to foster awareness and empowerment of local populations through DIY surveillance. At the core of the ARTIVIS efforts are a series of interactive installations, that make use (...) of surveillance technologies and real-time video as raw material to promote environmental awareness through the emotion generated by real-time connections with nature. Throughout the project development, the surveillance concept has been shifting from the use of surveillance technology in a centralized platform, to the idea of veillance with distributed peer-to-peer networks that can be used for science and environmental monitoring. In this paper we present the history of the ARTiVIS project, related and inspiring work, describe ongoing research work and explore the present and future challenges of appropriating surveillance technology for artistic, educational and civic engagement purposes. (shrink)

This book symposium comprises a précis of Nuno Venturinha’s Description of Situations: An Essay in Contextualist Epistemology together with four critical commentaries on different aspects of the book by Marcelo Carvalho, João Vergílio Gallerani Cuter, Marcos Silva and Darlei Dall’Agnol, and the author’s replies.

Some of the most eminent and enduring philosophical questions concern matters of priority: what is prior to what? What 'grounds' what? Is, for instance, matter prior to mind? Recently, a vivid debate has arisen about how such questions have to be understood. Can the relevant notion or notions of priority be spelled out? And how do they relate to other metaphysical notions, such as modality, truth-making or essence? This volume of new essays, by leading figures in contemporary metaphysics, is the (...) first to address and investigate the metaphysical idea that certain facts are grounded in other facts. An introduction introduces and surveys the debate, examining its history as well as its central systematic aspects. The volume will be of wide interest to students and scholars of metaphysics. (shrink)

The purpose of the book is to clarify the notion of existential dependence and cognate notions, such as supervenience and the notion of an internal relation. I defend the view that such notions are best understood in terms of the concept of metaphysical grounding, i.e. the concept of one fact obtaining in virtue of other facts, where ‘in virtue of’ has a distinctively metaphysical meaning.

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently (...) plausible principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

How does metaphysical grounding interact with the truth-functions? I argue that the answer varies according to whether one has a worldly conception or a conceptual conception of grounding. I then put forward a logic of worldly grounding and give it an adequate semantic characterisation.

'Ontological dependence' is a term of philosophical jargon which stands for a rich family of properties and relations, often taken to be among the most fundamental ontological properties and relations. Notions of ontological dependence are usually thought of as 'carving reality at its ontological joints', and as marking certain forms of ontological 'non-self-sufficiency'. The use of notions of dependence goes back as far as Aristotle's characterization of substances, and these notions are still widely used to characterize other concepts and to (...) formulate metaphysical claims. This paper first gives an overview of the varieties of these notions, and then discusses some of their main applications. (shrink)

Say that two sentences are factually equivalent when they describe the same facts or situations, understood as worldly items, i.e. as bits of reality rather than as representations of reality. The notion of factual equivalence is certainly of central interest to philosophical semantics, but it plays a role in a much wider range of philosophical areas. What is the logic of factual equivalence? This paper attempts to give a partial answer to this question, by providing an answer the following, more (...) specific question: Given a standard propositional language with negation, conjunction and disjunction as primitive operators, which sentences of the language should be taken to be factually equivalent by virtue of their logical form? The system for factual equivalence advocated in this paper is a proper fragment of the first-degree system for the logic of analytic equivalence put forward in the late seventies by R. B. Angell. I provide the system with two semantics, both formulated in terms of the notion of a situation’s being fittingly described by a linguistic item. In the final part of the paper I argue, contra a view I defended in my “Grounding and Truth-Functions”, that the logic for factual equivalence I advocate here should be preferred to Angell’s logic if one wishes to follow the general conception of the relationships between factual equivalence and the notion of grounding put forward in the 2010 paper. (shrink)

I identify a notion of logical grounding, clarify it, and show how it can be used (i) to characterise various consequence relations, and (ii) to give a precise syntactic account of the notion of “groundedness” at work in the literature on the paradoxes of truth.

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this alleged (...) essence-to-necessity gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities. -/- . (shrink)

In his influential paper ‘‘Essence and Modality’’, Kit Fine argues that no account of essence framed in terms of metaphysical necessity is possible, and that it is rather metaphysical necessity which is to be understood in terms of essence. On his account, the concept of essence is primitive, and for a proposition to be metaphysically necessary is for it to be true in virtue of the nature of all things. Fine also proposes a reduction of conceptual and logical necessity in (...) the same vein: a conceptual necessity is a proposition true in virtue of the nature of all concepts, and a logical necessity a proposition true in virtue of the nature of all logical concepts. I argue that the plausibility of Fine's view crucially requires that certain apparent explanatory links between essentialist facts be admitted and accounted for, and I make a suggestion about how this can be done. I then argue against the reductions of conceptual and logical necessity proposed by Fine and suggest alternative reductions, which remain nevertheless Finean in spirit. (shrink)

When thinking about the notion of essence or of an essential feature, philosophers typically focus on what I will call the notion of objectual essence. The main aim of this paper is to argue that beside this familiar notion stands another one, the notion of generic essence, which contrary to appearance cannot be understood in terms of the familiar notion, and which also fails to be correctly characterized by certain other accounts which naturally come to mind as well. Some of (...) my objections to these accounts are similar to some of Kit Fine’s compelling objections to the standard modal account of (objectual) essence (Fine 1994). In the light of these objections, Fine advances the view that it is metaphysical necessity which has to be understood in terms of essence, rather than the other way around, and takes essence to be unanalyzable. When formulatinghis view, Fine had only objectual essence in mind (or had both concepts in mind, but assumed that the generic is a special case of the objectual), and for that reason, I will argue, his account fails. I will suggest that Fineans should modify their view, and take it that metaphysical necessity is to be understood in terms of the two notions of essence—a view I myself find appealing. Finally, I will end by suggesting a further move which reduces the objectual to the generic, making metaphysical necessity reducible to generic essence alone—a move with which I myself have some sympathy. (shrink)

_ Source: _Page Count 21 A historical sequence is said to be hyperfactual whenever it contains facts that have been proved to exist twice, that is, they exist under two alternative courses of events: the factual and the counterfactual. In such cases, we may verify whether multiple courses of action lead to the same outcome. Drawing upon an idea from Nelson Goodman, each section of this article highlights a different type of hyperfactual sequence: those resulting from the turbulence of historical (...) turning points; those resulting from long term historical sequences; and those resulting from competing courses of action. The final section conveys how hyperfactuals represent the resistance of the multiple layers of history to the formalism of subjunctive conditionals. (shrink)

Psychodrama is an effective psychotherapeutic model but interventions with adolescents require age-tailored techniques that maximize engagement and facilitate communication processes. This study describes a novel adaptation of a therapeutic mask technique to psychodrama with adolescents. Over the course of eight group sessions of psychodrama, five adolescents created their own mask and explored its therapeutic use. Their experiences were captured at the end of each session with the Helpful Aspects of Therapy form, and at the end of the study with the (...) Clinical Change Interview. Awareness/insight/self-understanding, empowerment and relief were the most significant aspects experienced by the adolescents, along with perceived increase of calmness and world connection, satisfaction in interpersonal communication and better emotional expression and regulation. The mask technique was experienced as a playful and engaging task that facilitated insight and interpersonal communication. Findings provide preliminary evidence on the clinical utility of mask-based psychodrama with adolescents. (shrink)

We argue that presentism, understood as a view about time and existence, can perspicuously be defined in opposition to all other familiar contenders without appeal to any notion of presentness or cognate notions such as concreteness. Given recent worries about the suitability of such notions to cut much metaphysical ice, this should be welcomed by presentism's defenders. We also show that, irrespective of its sparse ideology, the proposed formulation forestalls any deviant interpretation at odds with the view it aims to (...) capture. (shrink)

I give a semantic characterisation of a system for the logic of grounding similar to the system introduced by Kit Fine in his “Guide to Ground”, as well as a semantic characterisation of a variant of that system which excludes the possibility of what Fine calls ‘zero-grounding’.

This monograph is a detailed study, and systematic defence, of the Growing Block Theory of time (GBT), first conceived by C.D. Broad. The book offers a coherent, logically perspicuous and ideologically lean formulation of GBT, defends it against the most notorious objections to be found in the extant philosophical literature, and shows how it can be derived from a more general theory, consistent with relativistic spacetime, on the pre-relativistic assumption of an absolute and total temporal order. -/- The authors devise (...) axiomatizations of GBT and its competitors which, against the backdrop of a shared quantified tense logic, significantly improves the prospects of their comparative assessment. Importantly, neither of these axiomatizations involves commitment to properties of presentness, pastness or futurity. The authors proceed to address, and defuse, a number of objections that have been marshaled against GBT, including the so-called epistemic objection according to which the theory invites skepticism about our temporal location. The challenge posed by relativistic physics is met head-on, by replacing claims about temporal variation by claims about variation across spacetime. -/- The book aims to achieve the greatest possible rigor. The background logic is set out in detail, as are the principles governing the notions of precedence and temporal location. The authors likewise devise a novel spacetime logic suited for the articulation, and comparative assessment, of relativistic theories of time. The book comes with three technical appendices which include soundness and completeness proofs for the systems corresponding to GBT and its competitors, in both their pre-relativistic and relativistic forms. -/- The book is primarily directed at researchers and graduate students working on the philosophy of time or temporal logic, but is of interest to metaphysicians and philosophical logicians more generally. (shrink)

In Fine 1994, Kit Fine challenges the view that the notion of essence is to be understood in terms of the metaphysical modalities, and he argues that it is not essence which reduces to metaphysical modality, but rather metaphysical modality which reduces to essence. In this paper I put forward a modal account of essence and argue that it is immune from Fine’s objections. The account presupposes a non‐standard, independently motivated conception of the metaphysical modalities which I dub Priorean. Arthur (...) Prior never endorsed that very conception, but in some respects his own views on the topic are so close to it, and different from all currently accepted views, that the label ‘Priorean’ is perfectly appropriate. (shrink)

In this paper, we clarify what proponents of the Growing Block Theory (GBT) should and what they should not say, and what they consistently can say. Once all the central tenets of the view are on the table, we address both David Braddon-Mitchell’s and Trenton Merricks’ recent eulogies for GBT, based on what is representative of a certain type of argument meant to show that GBT is internally incoherent. We argue that this type of argument proceeds from a mistaken assumption (...) about GBT’s core, viz. that GBT works with an untensed notion of what, in the metaphysically most fundamental sense, there is. We conclude that this type of argument accordingly misfires and that for all we know, we might be living on the brink of reality. (shrink)

In recent publications, Kit Fine devises a classification of A-theories of time and defends a non-standard A-theory he calls fragmentalism, according to which reality as a whole is incoherent but fragments into classes of mutually coherent tensed facts. We argue that Fine's classification in not exhaustive, as it ignores another non-standard A-theory we dub dynamic absolutism, according to which there are tensed facts that stay numerically the same and yet undergo qualitative changes as time goes by. We expound this theory (...) in some detail and argue that it is a serious alternative to the positions identified by Fine. (shrink)

info:eu-repo/semantics/publishedVersion.

I offer and defend an account of real definitions. I put forward two versions of the account, one formulated in terms of the notion of generalised identity and of a suitable notion of grounding, and the other one formulated in terms of the former notion and of a suitable notion of comparative joint-carvingness. Given a plausible assumption, and turn out to be equivalent. I give a sketch of a unified account of the three notions involved in and from which the (...) assumption can be derived. (shrink)

Creating effective teamwork between humans and robots involves not only addressing their performance as a team but also sustaining the quality and sense of unity among teammates, also known as cohesion. This paper explores the research problem of: how can we endow robotic teammates with social capabilities to improve the cohesive alliance with humans? By defining the concept of a human–robot cohesive alliance in the light of the multidimensional construct of cohesion from the social sciences, we propose to address this (...) problem through the idea of multifaceted human–robot cohesion. We present our preliminary effort from previous works to examine each of the five dimensions of cohesion: social, collective, emotional, structural, and task. We finish the paper with a discussion on how human–robot cohesion contributes to the key questions and ongoing challenges of creating robotic teammates. Overall, cohesion in human–robot teams might be a key factor to propel team performance and it should be considered in the design, development, and evaluation of robotic teammates. (shrink)

In 1977, R. B. Angell presented a logic for analytic containment, a notion of relevant implication stronger than Anderson and Belnap's entailment. In this paper I provide for the first time the logic of first degree analytic containment, as presented in [2] and [3], with a semantical characterization—leaving higher degree systems for future investigations. The semantical framework I introduce for this purpose involves a special sort of truth-predicates, which apply to pairs of collections of formulas instead of individual formulas, and (...) which behave in some respects like Gentzen's sequents. This semantics captures very general properties of the truth-functional connectives, and for that reason it may be used to model a vast range of logics. I briefly illustrate the point with classical consequence and Anderson and Belnap's tautological entailments. (shrink)

This paper explores Wittgenstein’s lifelong interest in music. The first part offers an overview of the various authors mentioned throughout Wittgenstein’s corpus, particularly in the posthumous publications Culture and Value and Movements of Thought. The second part specifically examines some of Wittgenstein’s remarks on Beethoven focusing on the peculiar religious realism that Wittgenstein attributes to Beethoven’s work. Recent interpretations put forward by Matthew Lau and Béla Szabados are discussed. It is argued that these commentators fail to address the religious basis (...) of Wittgenstein’s admiration for Beethoven. (shrink)

In the evolutionary biology of the Modern Synthesis the study of patterns refers to how to identify and systematise order in lineages, looking for hierarchies or for branching/splitting events in the tree of life, whereas the resulting order is supposed to be due to underlying processes or mechanisms. But patterns and processes play distinct roles in evo-devo: four different views on the role of patterns and processes in descriptions and explanations of development and evolution: A) transformational; B) generative; C) processual; (...) and D) complex are reviewed in this paper. Then, this discussion is related to two issues in evo-devo: homology and variation. (shrink)

Grounding is a hyperintensional notion: necessarily equivalent sentences need not be equivalent from a ground-theoretic perspective. How fine-grained, exactly, is grounding? There is a striking lack of consensus on this question. In this chapter, I try to systematize and review the main options that have been put forward in the literature. For reasons that have to do with both naturalness and convenience, I for the most part take the question to be about what is sometimes called, following Kit Fine’s (2012a) (...) terminology, strict full grounding, and I take for granted a conception of grounding as a relation that is many-to-one and non-factive. I discuss the consequences of making alternative assumptions only in the very last section. (shrink)

Pere Alberch played a pivotal role in shaping the field of evolutionary developmental biology during the 1980s and 1990s. Whereas initially his contributions were sidelined by the empirical advancements of the molecular revolution in developmental and evolutionary biology, his theoretical insights have left a lasting impact on the discipline. This article provides a comprehensive review of the legacy and evolvability of Alberch's ideas in contemporary evo-devo, which included the study of morphogenesis as the proper level of developmental causation, the interplay (...) between developmental constraints and natural selection, the epistemic role of teratologies, the origin of evolutionary novelties and the concept of evolvability. (shrink)

In this article I address the question of whether corporations should be considered as part of the basic structure of society as defined in Rawls’s Theory of Justice. To do so, it becomes necessary to understand which institutions are crucial for defining Rawls’s basic structure of society. I will argue that a social ontology aimed at understanding how human institutions influence various aspects presupposed in Rawls’s basic structure of society can help addressing this topic. To do so, I shall draw (...) upon the social ontology elaborated by Searle, who follows an approach that is particularly suitable for showing how Rawls’s basic structure of society already contains an institutional setting that must take corporations into account in its very formulation, due to the implications of the activities of the corporation for distributive justice. (shrink)

I assume that truth-making is to be understood in terms of grounding, and I show how, on that assumption, various general properties of truth-making follow from certain features of grounding.

Nihel Jhou (2021) takes issue with our argument to the conclusion that realism about tense implies realism about temporal passage (Correia and Rosenkranz 2020). Here we review his criticism and defend our conclusion by improving the original argument so as to do justice to the more demanding notion of temporal passage Jhou invokes.

This paper presents a propositional version of Kit Fine's (quantified) logic for essentialist statements, provides it with a semantics, and proves the former adequate (i.e. sound and complete) with respect to the latter.

A cidade nas práticas artísticas [The city in artistic practices] is the result of the work developed, of the presentations and the debates held within the cycle of seminars “The experience of the city between art and philosophy”, held between 3 March 2020 and 16 June 2021 (calendar dramatically compromised by the challenges of the COVID 19 pandemic), one of the main activities of the OBRA project — Fragmentation and Reconfiguration: experiencing the city between art and philosophy, based at IFILNOVA (...) — Philosophy Institute of NOVA, in Lisbon. The book is divided into five parts, relating to each of the artistic disciplines to which the seminars were dedicated – cinema, photography, sound arts, literature and architecture —, which are edited by the organizers responsible for each of them — respectively, Susana Viegas, Humberto Brito, Nuno Fonseca João Oliveira Duarte and Susana Ventura — and composed of the respective narrated accounts of each seminar and of short essays, some merely textual, others graphical or even photographic, which are either in-depth versions of the reflections and positions that were presented and debated by the participants and guests, or works that motivated and inspired the work of the seminars. The seminar cycle and the book now presented here intend to reflect on the role of artistic practices in the representation and reconfiguration of urban experience, trying to understand their different attempts to apprehend and express the fragmentation of aesthetic experience in modern and contemporary cities, as well as to evaluate their contribution to an eventual symbolic and imaginative reconfiguration of that experience. Each section tries, in its own way, to answer questions such as: How do these arts think and reinvent the city? What do they make us feel? And what is their social and political role? For reasons that are easy to understand, Lisbon was the starting point, but other cities were also part of the journey. (shrink)

Background: Psychedelics are known for their powerful mental effects due to the activation of 5HT-2A receptors in the brain. During the 1950s and 1960s, research was conducted on these molecules until their criminalization. However, their clinical investigation as therapeutic tools for psychiatric disorders has revived the deontological ethics surrounding this subject. Questions arise as research on their therapeutic outcome becomes a reality. We aim to explore deontological ethics to understand the implications of psychedelics for the clinician, patient, and society. Results: (...) A total of 42 articles were considered for this review. Methods: A methodological search of psychedelic studies from 2017 to 2022 was conducted in PubMed, Scopus, EBSCOhost, and ScienceDirect to address the deontological ethics of clinical psychedelic use. Conclusion: Psychedelics need to be culturally contextualized, epistemic harm minimized and represented to ensure informed consent. Open data and commissions are needed to ensure safe and equal distribution. (shrink)

Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called ‘Quine atoms’. Rieger contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, ‘the extensional nature of sets’ precludes numerically distinct Quine atoms. In this paper we uncover important similarities between Rieger’s argument and how non-rigid structures are conceived within mathematical structuralism. This opens the way for an objection against Rieger, whilst (...) affording the theoretical resources for a defence of Boffa set theory as a faithful description of set-theoretic reality. (shrink)

In the third of his Logical Investigations, Husserl draws an important distinction between two kinds of parts: the dependent parts like the redness of a visual datum or the squareness of a given picture, and the independent parts like the head of a horse or a brick in a wall. On his view, the distinction is to be understood in terms of a more fundamental notion, the notion of foundation. This paper is an attempt at clarifying that notion. Such attempts (...) have already been undertaken by Peter Simons and Kit Fine, and the paper also contains elements of comparison of our three sets of views. (shrink)

In the field of cybernetic systems and more specifically in robotics, one of the fundamental objectives is the detection of anomalies in order to minimize loss of time. Following this idea, this paper proposes the implementation of a Hybrid Intelligent System in four steps to impute the missing values, by combining clustering and regression techniques, followed by balancing and classification tasks. This system applies regression models to each one of the clusters built on the instances of data set. Subsequently, a (...) variety of balancing techniques are applied to improve the classifier’s ability to discern whether it is in an error or a normal state. These techniques support to obtain better classification ratios in which a robot is close to error and allow us to bring the behavior back to a normal state. The experimentation is performed using a modern and public data set, which has been extracted from a component-based robotic system, in which different anomalies are induced by software in their components. (shrink)

Sixty years after its first edition, there is an increasing consensus among scholars that the work posthumously published as _Philosophical Investigations _represents something that is far from a complete picture of Wittgenstein’s second book project. G.H. von Wright’s seminal research on the _Nachlass_ was an important contribution in this direction, showing that the Wittgenstein papers can reveal much more than the source of specific remarks. This book specifically explores Wittgenstein’s _Philosophical_ _Investigations_ from the different angles of its originary conceptions, including (...) the mathematical texts, shedding new light on fundamental issues in twentieth century and contemporary philosophy. Leading authorities in the field focus on newly published or hitherto unpublished sources for the interpretation of Wittgenstein’s later work and a Wittgenstein typescript, translated for the first time into English, is included as an appendix. (shrink)

Criticisms of the “container” model of pregnancy picturing female and embryo as separate entities multiply in various philosophical and scientific contexts during the last decades. In this paper, we examine how this model underlies received views of pregnancy in evolutionary biology, in the characterization of the transition from oviparity to viviparity in mammals and in the selectionist explanations of pregnancy as an evolutionary strategy. In contrast, recent evo-devo studies on eutherian reproduction, including the role of inflammation and new maternal cell (...) types, gather evidence in favor of considering pregnancy as an evolved relational novelty. Our thesis is that from this perspective we can identify the emergence of a newhistoricalindividual in evolution. In evo-devo, historical units are conceptualized as evolved entities which fulfill two main criteria, their continuous persistence and their non-exchangeability. As pregnancy can be individuated in this way, we contend that pregnant females are historical individuals. We argue that historical individuality differs from, and coexists with, other views of biological individuality as applied to pregnancy (the physiological, the evolutionary and the ecological one), but brings forward an important new insight which might help dissolve misguided conceptions. (shrink)

Temporaryism—the view that not always everything always exists—comes in two main versions: presentism and expansionism (aka the growing block theory of time). Both versions of the view are commonly formulated using the notion of being present, which we, among others, find problematic. Expansionism is also sometimes accused of requiring extraordinary conceptual tools for its formulation. In this paper, we put forward systematic characterizations of presentism and expansionism which involve neither the notion of being present nor unfamiliar conceptual tools. These characterizations (...) are full-blown logics, each logic comprising an axiomatic proof system and an intuitive semantics with respect to which the system is both sound and complete. (shrink)

In this article I draw upon the social ontologies developed by John Searle, Roy Bhaskar, Margaret Archer and Tony Lawson in order to distinguish between power and leadership. To do so, I distinguish the different organizing principles behind natural phenomena, collective phenomena and institutional phenomena, and argue that an understanding of those different organizing principles is essential to a clearer conceptualization of power and leadership. Natural power and cultural power, as I argue, depend upon the organizing principles of natural phenomena, (...) and differ depending on whether those organizing principles have been transformed by humans, in which case it becomes cultural power, or not, in which case it simply is natural power. Leadership emerges with the ability of making other humans share mental states through collective intentionality. Institutional power, in contrast, is connected to the creation of a deontology of rights and obligations that provide what Searle calls desire-independent reasons for action. (shrink)