According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.

Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is that of individuating the ”ontologically problematic” expressions of natural language and paraphrasing the (...) sentences in which they appear in a (formal) language whose commitments are compatible with those of our best theories. We believe that this strategy of reconciliation, though quite standard, especially in the philosophical literature, is problematic: for a start, it forces us to conclude that the ”real content” of our commonsense expressions and beliefs is different from what it appears. Commonsense ontology becomes just an illusion. We will thus propose an alternative approach: according to our view, a commonsense ontology is reconciled with a theoretical ontology in case it is shown that the explanation of why we believe in the existence of a problematic entity is compatible with our best theories. We will call this kind of reconciliation ”epistemic”. The advantage of an epistemic reconciliation is that commonsense ontology is treated in its own right and could be taken prima facie. Another advantage of the view is that epistemic reconciliation can be analysed through the notion of explaining away: a commonsense ontology is epistemically reconciled with a theoretical ontology if and only if the problematic entities of the commonsense ontology are explained away by ”respectable” entities of the theoretical ontology. In the final part of the paper, we sketch a formal analysis of explaining away. (shrink)

Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could (...) not be taken as grounding principles. In the second part, we propose some basic steps towards a conceptual reading of grounding. Such a way of understanding it goes along with an epistemic reading of identity criteria. (shrink)

In our introduction we make some remarks on the main topics of this issue: assertion and proof. We briefly describe how each of the papers in the present publication has contributed from either different or complementary perspectives to the logical reflection on assertion and proof, while also specifying the relation between them.

Beall (2016) proposes to read the middle-value of Weak Kleene logic as off-topic. This interpretation has recently drawn some attention: for instance, Francez has pointed out that Beall's interpretation does not meet some important requirements to count as a truth value. Moreover, Beall is silent about what a topic (or a subject matter) is. But arguably, what is a topic? is a crucial question, and an answer is really important to fully understand his proposal. Thus, our goal here is to (...) help to remedy this deficiency, and show how Beall's interpretation of Weak Kleene truth-values interacts with the notion of topic. To do that, we formalize his motivating ideas and draw some consequences from them. (shrink)

What kind of reference (if any) do terms such as “pencil,” “chair,” “television,” and so on have? On the matter, a de-bate between directly referential theorists and descriptiv-ist theorists is open. It is largely acknowledged that natural kind terms (such as “water,” “gold,” “tiger,” etc.) are directly referential expressions (cf. Putnam,1975). That is, they are expressions whose reference is determined by their refer-ents' nature, independent of whether we know or will ever know what this nature is. However, it does not (...) seem like-wise convincing that all artifactual kind terms (like “pen-cil,” “chair,” “television,” etc.) semantically behave the same. Terms for artifactual kinds seem more likely to be subjected to a descriptivist view, that is, definable not by links to their extensions' nature but in terms of conjunctions or clusters of properties. In his celebrated “The Meaning of ‘Meaning’” (1975), Hilary Putnam originated the mentioned debate by arguing that artifactual kind terms also refer directly. Thus, the discussion ultimately revolves around establishing whether artifactual and natural kind terms are both directly referential expressions. The authors engaged in this debate have tried to argue in favor of (or against) Putnam's proposal by highlighting the similarities (or differences) between nat-ural vis-à-vis artifactual kind words and their respective ref-erents. This paper aims to provide a thorough and reasoned overview of the debate at stake, pointing out trends and problems associated with each proposed account. (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...) show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

Per il dialeteismo ci sono contraddizioni vere. Questa concezione filosofica ha assunto una forma chiara e definita a partire dal lavoro del filosofo e logico Graham Priest – uno dei suoi padri fondatori, nonché uno dei suoi più strenui difensori. Questo libro intende portare il dialeteismo all’attenzione di un ampio pubblico, che non sia solo quello degli addetti ai lavori. Il volume è suddiviso in due parti. La prima include le cinque lezioni su "Dialeteismo e storia della filosofia" tenute da (...) Priest e Filippo Casati a Padova nel 2016, in occasione del Corso di Eccellenza per il dottorato in filosofia dell’Università di Padova. La seconda contiene quattro contributi sul dialeteismo di autori italiani. (shrink)

The editorial introduces issue 21.1 of Technoetic Arts via a critical reflection on the artificial intelligence hype (AI hype) that emerged in 2022. Tracing the history of the critique of Large Language Models, the editorial underscores that there are substantial ethical challenges related to bias in the training data, copyright issues, as well as ecological challenges which the technology industry has consistently downplayed over the years. -/- The editorial highlights the distinction between the current AI technology’s reliance on extensive pre-existing (...) human-generated data for pattern recognition and the performative process inherent in art practice. Patterns of creative output can be replicated without a thorough understanding of underlying concepts. In contrast, the performative process of art practice, as explored through the conceptual frameworks of creativity by Noam Chomsky, Charles Sanders Peirce, and Roger T. Ames and with reference to an earlier publication of the editorial’s author, creates concepts and continually ‘strives to extend itself towards the unknown.’ -/- Following this introductory section, the editorial provides an overview of the ten articles featured in this issue of Technoetic Arts. The first four texts engage with emerging technologies from various perspectives in art and design. The subsequent six articles, part of a special section titled 'Perspectives from Chandigarh,' reflect a quest for meaningful existence within colonial, patriarchal, and biopolitical structures that frame everyday practices of exclusion and oppression. (shrink)

In this paper, we approach the problem of classical recapture for LP and K3 by using normality operators. These generalize the consistency and determinedness operators from Logics of Formal Inconsistency and Underterminedness, by expressing, in any many-valued logic, that a given formula has a classical truth value (0 or 1). In particular, in the rst part of the paper we introduce the logics LPe and Ke3 , which extends LP and K3 with normality operators, and we establish a classical recapture (...) result based on the two logics. In the second part of the paper, we compare the approach in terms of normality operators with an established approach to classical recapture, namely minimal inconsistency. Finally, we discuss technical issues connecting LPe and Ke3 to the tradition of Logics of Formal Inconsistency and Underterminedness. (shrink)

Pragmatic modulation makes contextual information necessary for interpretation. This poses a problem for homophonic reports and inter-contextual communication in general: of co-situated interlocutors, we can expect some common ground, but non-co-situated interpreters lack access to the context of utterance. Here I argue that we can nonetheless share modulated contents via homophonic reports. First, occasion-unspecific information is often sufficient for the recovery of modulated content. Second, interpreters can recover what is said with different degrees of accuracy. Homophonic reports and inter-contextual communication (...) are often successful because the reporting context does not demand full accuracy. (shrink)

The standard rule of single privative modification replaces privative modifiers by Boolean negation. This rule is valid, for sure, but also simplistic. If an individual a instantiates the privatively modified property (MF) then it is true that a instantiates the property of not being an F, but the rule fails to express the fact that the properties (MF) and F have something in common. We replace Boolean negation by property negation, enabling us to operate on contrary rather than contradictory properties. (...) To this end, we apply our theory of intensional essentialism, which operates on properties (intensions) rather than their extensions. We argue that each property F is necessarily associated with an essence, which is the set of the so-called requisites of F that jointly define F. Privation deprives F of some but not all of its requisites, replacing them by their contradictories. We show that properties formed from iterated privatives, such as being an imaginary fake banknote, give rise to a trifurcation of cases between returning to the original root property or to a property contrary to it or being semantically undecidable for want of further information. In order to determine which of the three forks the bearers of particular instances of multiply modified properties land upon we must examine the requisites, both of unmodified and modified properties. Requisites underpin our presuppositional theory of positive predication. Whereas privation is about being deprived of certain properties, the assignment of requisites to properties makes positive predication possible, which is the predication of properties the bearers must have because they have a certain property formed by means of privation. (shrink)

One way to silence the powerless, Langton has taught us, is to pre-emptively disable their ability to do things with words. In this paper I argue that speakers can be silenced in a different way. You can let them speak, and obscure the meaning of their words afterwards. My aim is to investigate this form of silencing, that I call retroactive distortion. In a retroactive distortion, the meaning of the words of a speaker is distorted by the effect of a (...) subsequent speech act by a different speaker. After introducing this notion, I explore some reasons why retroactive distortions can be difficult to challenge and argue that, besides constituting a communicative injustice, they can eliminate topics from public consideration and therefore erode public debate. (shrink)

This article considers the question ‘What makes hope rational?’ We take Adrienne Martin’s recent incorporation analysis of hope as representative of a tradition that views the rationality of hope as a matter of instrumental reasons. Against this tradition, we argue that an important subset of hope, ‘fundamental hope’, is not governed by instrumental rationality. Rather, people have reason to endorse or reject such hope in virtue of the contribution of the relevant attitudes to the integrity of their practical identity, which (...) makes the relevant hope not instrumentally but intrinsically valuable. This argument also allows for a new analysis of the reasons people have to abandon hope and for a better understanding of non-fundamental, ‘prosaic’ hopes. (shrink)

Following the traces of Margaret Mead’s statement that emphasized that the first photographic images of the Earth from space presented notions of fragility, the article contextualizes the recent critique of the dominant representation of the Earth as a globe that emerged in conjunction with the discourse on the Anthropocene. It analyses the globe as an image and the sentiments that accompanied it since the first photographs of our planet from space were published in 1968. The article outlines how the cultural (...) meaning of the whole Earth representation changed in parallel with the appropriation of the image by the large technological enterprises that emerged from America’s counterculture. It returns to the possibility of a coexistence of ‘views from within’ and ‘views from without’ following a detour with Gregory Bateson via Bali and proposes a Cybernetics of Grace as a practice of resistance against pure exteriority. The article concludes by linking the Cybernetics of Grace with the second-order conversations of Gordon Pask. (shrink)

The article introduces the problematics of the classical two-valued logic on which Western thought is generally based, outlining that under the conditions of its logical assumptions the subject I is situated in a world that it cannot address. In this context, the article outlines a short history of cybernetics and the shift from first- to second-order cybernetics. The basic principles of Gordon Pask’s 1976 Conversation Theory are introduced. It is argued that this second-order theory grants agency to others through a (...) re-conception of living beings as You logically transcending the I. The key principles of Conversation Theory are set in relation to the poetic forms of discourse that played a key role in art as well as philosophical thinking in China in the past. Second-order thinking, the article argues, is essentially poetic. It foregoes prediction in favour of the potentiality of encountering tomorrow’s delights. (shrink)

ABSTRACT Truth-conditions are systematically determined when they are the output of an algorithmic procedure that takes as input a set of semantic and contextual features. Truth-conditional sceptics have cast doubts on the thesis that truth-conditions are systematic in this sense. Against this form of scepticism, Schoubye and Stokke : 759–793) and Dobler : 451–474.) have provided systematic analyses of utterance truth-conditions. My aim is to argue that these theories are not immune to the kind of objections raised by truth-conditional sceptics. (...) In particular, I argue that the use of Questions Under Discussion and ways of being is problematic. (shrink)

This issue of Technoetic Arts: A Journal of Speculative Research (TA) encompasses eight articles by artists and scholars from around the globe who engage with methodologies of art practice within research that reflects on technological and ecological change, contributing to the discourse on the inclusion of subjective experience in research. The articles by authors Dulmini Perera, Kate Doyle, Nora S. Vaage, Merete Lie, Nikita Peresin Meden, Kristina Pranjić, Peter Purg, Nicolaas H. Jacobs, Marth Munro, Chris Broodryk, Semi Ryu, Rahul Mahata, (...) Doreswamy, Sana Altaf and Aqib Javid Parry form a collection that crosses disciplines and genres to engage in fundamental critique of existing modes of enquiry and conclusion. The texts situate art and design methodologies in particular cultural contexts and in relation to frameworks defined by research methodologies of the sciences and humanities to gain agency for critique and to counter a sense of inevitability that has come to mark the most recent crises. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

In this paper, we argue that solutions to normative challenges associated with autonomous driving, such as real-world trolley cases or distributions of risk in mundane driving situations, face the problem of reasonable pluralism: Reasonable pluralism refers to the fact that there exists a plurality of reasonable yet incompatible comprehensive moral doctrines within liberal democracies. The corresponding problem is that a politically acceptable solution cannot refer to only one of these comprehensive doctrines. Yet a politically adequate solution to the normative challenges (...) of autonomous driving need not come at the expense of an ethical solution, if it is based on moral beliefs that are (1) shared in an overlapping consensus and (2) systematized through public reason. Therefore, we argue that a Rawlsian justificatory framework is able to adequately address the normative challenges of autonomous driving and elaborate on how such a framework might be employed for this purpose. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

Statements such as “X is beautiful but I don’t like how it looks” or “I like how X looks but it is not beautiful” sound contradictory. How contradictory they sound might however depend on the object X and on the aesthetic adjective being used (“beautiful”, “elegant”, “dynamic”, etc.). In our study, the first sentence was estimated to be more contradictory than the latter: If we describe something as beautiful, we often intend to evaluate its appearance, whereas it is less counterintuitive (...) to appreciate an appearance without finding it beautiful. Furthermore, statements including “beautiful” appeared more contradictory than those including “elegant” and “dynamic”, pointing to its greater evaluative component. When related to artworks, sentences could appear less contradictory due to readers’ consideration of the divergence between conventional beauty and art-related sensory pleasures that can even include negative valence. Such ambivalence might be more frequent in art-objects than in other artefacts. Indeed, in our study, sentences referring to artworks were estimated to be less contradictory compared to sentences referring to other artefacts. Meanwhile, an additional small group of graphic design students showed a less clear difference between art-related and non-art-related sentences. We discuss the potential influence of art experience and interest as well as theoretical and methodological challenges like the conceptualization of beauty. (shrink)

When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, contingent composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...) basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...) On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...) We contend that, if coreferentiality is dropped, indiscernibility is no help in making composition a genuine identity relation. To this aim, we analyse as a case study Cotnoir’s theory of general identity, in which indiscernibility is obtained thanks to a revisionary semantics and true identity statements are allowed to connect non-coreferential terms. We extend Cotnoir’s strategy for indiscernibility to the relation of comaternity, and we show that, neither in the case of composition nor in that of comaternity, indiscernibility contibutes to show that they are genuine identity relations. Finally, we compare Cotnoir’s approach with other versions of strong CAI endorsed by Wallace, Bøhn, and Hovda, and canvass the extent to which they violate coreferentiality. The comparative analysis shows that, in order to preserve coreferentiality, strong CAI is forced to adopt a non-standard semantic treatment of the singular/plural distinction. (shrink)

The chapter provides an overview on what it means to be in a world that is uncertain, e.g., how under conditions of limited understanding any activity is an activity that designs and constructs, and how designing objects, spaces, and situations relates to the (designed) meta-world of second-order cybernetics. Designers require a framework that is open, but one that supplies ethical guidance when ‘constructing’ something new. Relating second-order design thinking to insights in philosophy and aesthetics, the chapter argues that second-order cybernetics (...) provides a response to this ethical challenge and essentially it entails a poetics of designing. //// 'A Poetics of Designing' is part of the first book-length collection of texts in Design Cybernetics. It introduces the subject from the point of view of aesthetics. Importantly, the chapter argues that second-order cybernetics circumvents the necessity for a muse inspired artist or genius as a mediator between higher spirits and life, in favour of artists and designers who have true agency. //// Cybernetics is often associated with AI, which is, however, only one of the branches that developed on the basis of the interdisciplinary research begun in the 1940s and entitled cybernetics. I hope the chapter contributes to a better understanding of the second-order cybernetics that has been conceived in close relationship with art and design from the late 60s onwards. (shrink)

Since René Descartes famously separated the concepts of body and mind in the seventeenth century, western philosophy and theory have struggled to conceptualize the interconnectedness of minds, bodies, environments and cultures. While environmental psychology and the cognitive sciences have shown that spatial perception is 'embodied' and depends on the aforementioned concepts' interconnectedness, architectural design practice, for example, has rarely incorporated these insights. The article presents research on the epistemological foundations that frame the communication between design theory and practice and juxtaposes (...) it with scientific research on embodied experience. It further suggests that Asian aesthetics, with its long history in conceiving relations and art as interactive, could create a bridge between recent scientific insights and design practice. The article outlines an approach to the interconnectedness of minds, bodies, environments, the sciences and cultures, in favour of a future that is governed by creative wisdom rather than 'smart' efficiency. (shrink)

Implicating, as it is conceived in recent pragmatics, amounts to conveying a (propositional) content without saying it – a content providing no contribution to the truth-conditions of the proposition expressed by the sentence uttered. In this sense, implicating is a notion closely related to the work of Paul Grice (1913-1988) and of his precursors, followers and critics. Hence, the task of this article is to introduce and critically examine the explicit/implicit distinction, the Gricean notion of implicature (conventional and conversational) and (...) its recent developments and connections with the speaker's intentions, communicative responsibility and rationality. (shrink)

The paper emphasizes the inadequacy of formal semantics, the classical paradigm in semantics, in treating contextual dependence. Some phenomena of contextual dependence threaten one central assumption of the classical paradigm, namely the idea that linguistic expressions have a fixed meaning, and utterances have truth conditions well defined. It is possible to individuate three forms of contextual dependence: the one affecting pure indexicals, the one affecting demonstratives and "contextual expressions", and the one affecting all linguistic expressions. The third type of dependence (...) is top-down: context, and not only linguistic material, shows which variables must be instantiated, relying on context itself. The generalization of underdetermination to all linguistic expressions is in fact a kind of metadependence: the mode of dependence itself depends on context. (shrink)

Centuries II and III of Francis Bacon’s posthumous natural history Sylva Sylvarum are largely dedicated to sound. This paper claims that Bacon’s investigation on this topic is fruitfully read against the background of the Aristotelian theory of sound, as presented in De anima commentaries. I argue that Bacon agreed with the general lines of this tradition in a crucial aspect: he rejected the reduction of sound to local motion. Many of the experimental instances and more theoretical remarks from his natural (...) history of sound can be elucidated against this wider concern of distinguishing sound from motion, a theme that had been a staple of Aristotelian discussions of sound and hearing since the Middle Ages. Bacon admits that local motion is part of the efficient cause of sound, but he denies that it is its form, which means that sound cannot be reduced to a type of local motion. This position places him outside subsequent developments in natural philosophy in the seventeenth century. (shrink)

The precautionary principle (PP) aims to anticipate and minimize potentially serious or irreversible risks under conditions of scientific uncertainty. Thus it preserves the potential for future developments. It has been incorporated into many international treaties and pieces of national legislation for environmental protection and sustainable development. In this article, we outline an interpretation of the PP as a framework of orientation for a sustainable information society. Since the risks induced by future information and communication technologies (ICT) are social risks for (...) the most part, we propose to extend the PP from mainly environmental to social subjects of protection. From an ethical point of view, the PP and sustainability share the principle of intergenerational justice, which can be used as an argument to preserve free space for the decisions of future generations. Applied to technical innovation and to ICT issues in particular, the extended PP can serve as a framework of orientation to avoid socio-economically irreversible developments. We conclude that the PP is a useful approach for: (i) policy makers to reconcile information society and sustainability policies and (ii) ICT companies to formulate sustainability strategies. (shrink)

In this article, I draw on Adorno's concept of the non-identical in conjunction with Lacan's concept of the Real to propose a "theoretical outline of the subject" as central for feminist political theorizing. A theoretical outline of the subject recognizes the limits of theorizing, the moment where meaning fails, and we are confronted with the impossibility of grasping the subject entirely. At the same time, it insists on the importance of a coherent subject to effect transformations in the sociopolitical sphere. (...) Since the non-identical is more grounded in the material world than the Real, and the Real allows us more than the non-identical to grasp the anxieties and desires that lead to totalizing theories, a complementary Adornian-Lacanian theoretical framework holds a central promise for feminist political theorizing. (shrink)

Purpose This paper discusses ethical principles that are implicit in second-order cybernetics, with the aim of arriving at a better understanding of how second-order cybernetics frames living in a world with others. It further investigates implications for second-order cybernetics approaches to architectural design, i.e. the activity of designing frameworks for living. -/- Design/methodology/approach The paper investigates the terminology in the second-order cybernetics literature with specific attention to terms that suggest that there are ethical principles at work. It further relates second-order (...) cybernetics to selected notions in phenomenology, pragmatism and transcendental idealism. The comparison allows for conclusions about the specificity of a second-order inquiry. In line with the thematic focus of this journal issue on the framing of shared worlds, the paper further elaborates on questions relating to the activity of designing “worlds” in which people live with others. -/- Findings The paper highlights that a radical openness toward the future and toward the agency of others is inscribed in the conception of second-order cybernetics. It creates a frame of reference for conceiving social systems of all kinds, including environments that are designed to be inhabited. -/- Originality/value The paper identifies an aesthetics grounded in the process of living-with-others as an ethical principle implicit in second-order cybernetics thought. It is an aesthetics that is radically open for the agency of others. Linking aesthetics and ethics, the paper’s contributions will be of specific value for practitioners and theoreticians of design. Considering second-order cybernetics as a practice generally dealing with designing, it also contributes to the wider second-order cybernetics discourse. (shrink)

Contextualism is a view about meaning, semantic content and truth-conditions, bearing significant consequences for the characterisation of explicit and implicit content, the decoding/inferring distinction and the semantics/pragmatics interface. According to the traditional perspective in semantics (called "literalism" or "semantic minimalism"), it is possible to attribute truth-conditions to a sentence independently of any context of utterance, i.e. in virtue of its meaning alone. We must then distinguish between the proposition literally expressed by a sentence ("what is said" by the sentence, its (...) literal truth-conditions) and the implicit meaning of the sentence ("what is implicated" by a speaker uttering the sentence). Over the past forty years, however, an increasing number of linguists and philosophers have begun to underline the phenomenon of semantic underdetermination: the encoded meaning of the sentence employed by a speaker underdetermines the proposition explicitly expressed by an utterance of that sentence. According to the extreme version of this perspective – labelled "radical contextualism" - no sentence of a natural language expresses a complete proposition, or has fixed truth-conditions, even when unambiguous and devoid of indexicals. A sentence expresses a proposition only when completed and enriched with pragmatic constituents that do not correspond to any syntactic element of the sentence and yet are part of its semantic interpretation. More broadly, "contextualism" may be used to refer to a family of views which includes moderate contextualism (also called "indexicalism"), radical contextualism and non-indexical contextualism – and which contrasts with semantic minimalism. (shrink)

In her latest book, The End of Progress, Amy Allen embarks on an ambitious and much-needed project: to decolonize contemporary Frankfurt School Critical Theory. As with all of her books, this is an exceptionally well-written and well-argued book. Allen strives to avoid making assertions without backing them up via close and careful textual reading of the thinkers she engages in her book. In this article, I will state why this book makes a central contribution to contemporary critical theory (in the (...) broader sense), after which I pose a few questions. These questions are not meant to prove that there are any serious problems with her argumentation. Instead, they are meant in the spirit of dialogue and allow her to elaborate her work for her audience. (shrink)

In her latest book, The End of Progress, Amy Allen embarks on an ambitious and much-needed project: to decolonize contemporary Frankfurt School Critical Theory. As with all of her books, this is an exceptionally well-written and well-argued book. Allen strives to avoid making assertions without backing them up via close and careful textual reading of the thinkers she engages in her book. In this article, I will state why this book makes a central contribution to contemporary critical theory (in the (...) broader sense), after which I pose a few questions. These questions are not meant to prove that there are any serious problems with her argumentation. Instead, they are meant in the spirit of dialogue and allow her to elaborate her work for her audience. (shrink)

In this article we consider argumentation as an epistemic process performed by an agent to extend and revise her beliefs and gain knowledge, according to the information provided by the environment. Such a process can also generate the suspension of the claim under evaluation. How can we account for such a suspension phenomenon in argumentation process? We propose: (1) to distinguish two kinds of suspensions – critical suspension and non-critical suspension – in epistemic change processes; (2) to introduce a Paraconsistent (...) Weak Kleene logic (PWK) based belief revision theory which makes use of the notion of topic to distinguish the two kinds of suspensions previously mentioned, and (3) to develop a PWK-style argumentation framework and its expansion. By doing that, we can distinguish two kinds of suspensions in an epistemic process by virtue of the notion of topic. (shrink)

Conflicts between our best philosophical theories (BPTs) and our common beliefs are widespread. For example, if eliminativism is our BPT, then our BPT conflicts with common beliefs about the existence of middle-sized composite artifacts. “Compatibilism” is the name usually given to a theoretical attitude, according to which, in the case of a conflict between BPT and a common belief P, we should try to find a reconciliation. The two major variants of compatibilism are “semantic compatibilism” (SC) and “cognitive compatibilism” (CC). (...) According to SC, to be reconciled with BPT is the “real” version of the content of our ordinary assertions; according to CC, to be reconciled with BPT is the mental state we are “really” in while thinking P. In this paper, we present a new kind of compatibilism, epistemic compatibilism (EC). According to EC, to be reconciled with BPT is the explanation of why we believe that P. After presenting EC, we will argue that it fares better than SC and CC for at least two related reasons: EC does not rely on any form of what we call semantic or cognitive “recarving”; thus, EC avoids some sceptical problems that aect the other two versions of compatibilism. (shrink)

The aim of this paper is twofold: First, we present and develop a system of logic for pragmatics including the act of denial. Second, we analyse in our framework the so-called paradox of assertability. We show that it is possible to yield sentences that are not assertable. Moreover, under certain conditions, a symmetric result can be obtained: There is a specular paradox of deniability. However, this paradox is based on the problematic principle of classical denial equivalence.

This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. Simons, and (...) B.-Y. Yi . (shrink)

The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, such as Peirce’s algebraic and graphical logics and the recent modification of the latter termed Assertive Graphs. We identify and discuss the main ‘points’ of these (...) notations on the logical representation of assertions, and evaluate their systems from the perspective of the philosophy of logical notations. Pragmatic assertions turn out to be useful in providing intended interpretations of a variety of logical systems. (shrink)

This Open Peer Commentary on “A Critical Cybernetics” by Klaus Krippendorff outlines that enacting alternative not-yet existing realities goes beyond discourse and can be considered design practice. A Critical Cybernetics for enacting alternative not-yet existing realities, such as Krippendorff proposed, would benefit from associating itself with the expertise in the technicity of society that has been central to cybernetics since its inception.