The perception involves a lot of enigmas, the unity between its content and form not always looking to be assured. Such enigmas are exemplified by the optical illusions, by Molyneux’s famous problem and also, as it interests us here, by the problem of the expression of colors in chromatic models, which express logical incompatibilities, but which refer to the territory of experience itself with colors and pigments. In this paper, we will distinguish two uses of Farbenoktaeder by Wittgenstein by registering (...) the difference, which we consider relevant, between ample incompatibility and restrict incompatibility among colors. (shrink)

Intuitivamente, la realidad está formada por entidades y hechos existentes y concretos. Sin embargo, nuestro lenguaje y pensamiento versa también sobre hechos meramente posibles, sobre cosas inexistentes y entidades abstractas. ¿Cómo es esto posible? ¿Significa ello que cuando hablamos y pensamos de estas otras cosas no hablamos de nada real? ¿o mas bien la realidad está mas poblada de lo que pensábamos y hay diferentes maneras de formar parte de la realidad además de la de existir de manera positiva y (...) concreta? En este libro trataremos de arrojar luz a estas y otras preguntas similares, poniendo atención a las estrategias argumentativas generales que suelen esgrimirse en esta rama de la filosofía. (shrink)

A central problem in the interpretation of non-relativistic quantum mechanics is to relate the conceptual structure of the theory to the classical idea of the state of a physical system. This paper approaches the problem by presenting an analysis of the notion of an elementary physical proposition. The notion is shown to be realized in standard formulations of the theory and to illuminate the significance of proofs of the impossibility of hidden variable extensions. In the interpretation of quantum mechanics that (...) emerges from this analysis, the philosophically distinctive features of the theory derive from the fact that it seeks to represent a reality of which complete knowledge is essentially unattainable. (shrink)

First I will explore the importance granted by Wittgenstein, in the middle period, to memory, in the primary/phenomenological world. According to him, memory is the source of time , past , knowledge and identity . The main objective of this article is to present Wittgenstein's reasons for the rejection of the phenomenological project, using as backdrop his analysis about time (and the abandonment of the semantical and epistemological roles granted to memory). For this purpose it will be crucial to understand (...) a false analogy, that according to him was the cause for the quest for an ideal language. This false analogy can be interpreted as the attribution of a mistaken status to memory (in the phenomenological sense), that leads to the illusion of a criteria of exactitude for the phenomenological description. At the end of this article, I will point out briefly the importance of those ideas to the understanding of the so called "private language argument". (shrink)

This paper aims to explain how the Tractatus attempts to unify logic by deriving the truth-functionality of logical necessity from the thesis that a proposition shows its sense. I first interpret the Tractarian notion of showing as the displaying of what is intrinsic to an expression (or a symbol). Then I argue that, according to the Tractatus, the thesis that a proposition shows its sense implies the determinacy of sense, the possibility of the complete elimination of non-primitive symbols, the analyticity (...) thesis and the strong analyticity thesis. The picture theory emerges as what provides the only acceptable account of an elementary proposition, subject to the constraint that a proposition must show its sense. The picture theory and the analyticity thesis then entail the contingency thesis (that an elementary proposition is contingent) and the independence thesis (that elementary propositions are mutually logically independent) which, together with the strong analyticity thesis, imply that all logical propositions are tautologies. (shrink)

Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The condition is: (...) logical space is a power of two. In Sections 3 and 4, I outline the colour-exclusion problem, and then show how the cardinality-condition supplies a response to exclusion problems. In Section 5, I explain how this amounts to a distillation of a proposal due to Moss, which goes back to Carruthers. And in Section 6, I show how all this vindicates Wittgenstein’s ultimate rejection of the atomist picture. The brief reason is that we have no guarantee that there are any solutions to a given exclusion problem but, if there are any, then there are far too many. (shrink)

Humeans have a problem with quantities. A core principle of any Humean account of modality is that fundamental entities can freely recombine. But determinate quantities, if fundamental, seem to violate this core principle: determinate quantities belonging to the same determinable necessarily exclude one another. Call this the problem of exclusion. Prominent Humeans have responded in various ways. Wittgenstein, when he resurfaced to philosophy, gave the problem of exclusion as a reason to abandon the logical atomism of the Tractatus with its (...) free recombination of elementary propositions. Armstrong promoted a mereological solution to the problem of exclusion; but his account fails in manifold ways to provide a general solution to the problem. Lewis studiously avoided committing to any one solution, trusting simply that, since Humeanism was true, there had to be some solution. Abandonment; failure; avoidance: we Humeans need to do better. -/- In this paper, I present what I take to be the best account of quantities, tailoring it where needed to meet Humean demands as well as my own prior commitment to quidditism, and my own comparativist inclinations. In short: determinables, not determinates, are the fundamental properties, and freely recombine; determinates arise from the instantiation of determinables in an enhanced world structure; determinate quantities may be local (in a sense to be explained), but they are not intrinsic. Is the account I end up with Humean? Not, unfortunately, as it stands: the problem of exclusion still rears its ugly head. After dismissing a failed attempt at a solution, I consider in the final section the two viable Humean options. One attributes the source of the necessary exclusions to conventional definition, the other attributes it to logic. The first is safe and familiar, but not a response I can accept given my other commitments. The second is more radical and less familiar; but I am convinced it is on the right track. I don’t have space to develop it much here, but I put it out for future research. (shrink)

After Tractatus Logico-Philosophicus, Wittgenstein realized that elementary propositions may logically conflict with each other, due to the fact that the most elementary measurements may contradict each other. This led to the view that logic consists of various calculi. A calculus consists of measurement scales, each scale being a rule for the application of numbers. These scales determine logical relationships between elementary propositions by reason of arithmetical relations. Attempts to reject Wittgenstein's change in viewpoint, which ignore the relevance of measurement and (...) arithmetic, are remiss. In this light, I discuss Sarah Moss’s criticism of intermediate Wittgenstein. (shrink)

This article considers an interpretative model for the study of Heraclitus, which was first put forward by Alexander Mourelatos in 1973, and draws upon a related model put forward by Julius Moravcsik beginning in 1983. I further develop this combined model and provide a motivation for an interpretation of Heraclitus. This is also of interest for modern metaphysics due to the recurrence of structurally similar problems, including the ‘colour exclusion’ problem that was faced by Wittgenstein. Further, I employ the model (...) to shed new light on Heraclitus’ image of the river, while relating potential readings to various contemporary metaphysical views. (shrink)

This article is about the history of logic in Australia. Douglas Gasking (1911?1994) undertook to translate the logical terminology of John Anderson (1893?1962) into that of Ludwig Wittgenstein's (1921) Tractatus. At the time Gilbert Ryle (1900?1976), and more recently David Armstrong, recommended the result to students; but it is reasonable to have misgivings about Gasking as a guide to either Anderson or Wittgenstein. The historical interest of the debate Gasking initiated is that it yielded surprisingly little information about Anderson's traditional (...) (syllogistic or Aristotelian) logic and its relation to classical (first-order predicate or Russellian) logic, the ostensible topic; but the materials now exist to interpret Anderson's logic in classical logic, possibly as an algebra of classes. This would be of little interest to contemporary logicians, but it might shed some light on Anderson's philosophy. (shrink)

In the analysis of Anaxagoras’ physics in view of the relation between his teachings on multitude and heterogeneity, two central questions emerge: 1) How can the structure of the universe considered purely mereo-topologically help us explain that at the first cosmic stage no qualitative difference is manifest in spite of the fact that the entire qualitative heterogeneity is supposedly already present there? 2) How can heterogeneity become manifest at the second stage, resulting from the noûs intervention, if according to fragment (...) B 6 such a possibility requires the existence of “the smallest”, while according to the general principle stated in fragment B 3 there is not “the smallest” but always only “a smaller”? This paper showcases the perplexity of these two questions but deals only with the former. The answer follows from Anaxagoras’ being a thoroughgoing infinitist in the way in which no Greek physicist was: the principle of space isotropy operative in geometry is extended to physics as well. So any two parts of the original mixture are similar to each other not only in view of the smaller-larger relation but also because each contains everything that the other one contains. This in effect means that at the stage of maximal possible heterogeneity each part of any part contains infinitely many heterogeneous parts of any kind whatsoever. So, neither can there be homogeneous parts in view of any qualitative property, nor can there be predominance in quantity of parts of any kind that would make some property manifest. (shrink)

ABSTRACTIn 1931 Wittgenstein wrote: ‘the limit of language manifests itself in the impossibility of describing the fact that corresponds to a sentence without simply repeating the sentence’. Here, Wittgenstein claims, ‘we are involved … with the Kantian solution of the problem of philosophy’. This paper shows how this remark fits with Wittgenstein's early account of the substance of the world, his account of logic, and ultimately his view of philosophy. By contrast to the currently influential resolute reading of the Tractatus, (...) the paper argues that the early Wittgenstein did not aim at destroying the idea of a limit of language, but that the notion lies at the very heart of Wittgenstein's early view. In doing so, the paper employs and defends the Kantian interpretation of Wittgenstein's early philosophy. (shrink)

Although Wittgenstein’s most extensive discussion of aspect‐recognition appears in Part II of the Philosophical Investigations, aspect‐recognition was of interest to Wittgenstein almost from the beginning of his engagement with philosophy at Cambridge in 1912. However, the nature of that interest changes upon his return to Cambridge in 1929, and that change in turn is connected with the inter‐related ideas that philosophical clarity rests on recognising aspects of our grammar and that mathematical proof leads us to recognise new aspects of mathematical (...) expressions. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

This book attempts to explicate and expand upon Frank Ramsey's notion of the realistic spirit. In so doing, it provides a systematic reading of his work, and demonstrates the extent of Ramsey's genius as evinced by both his responses to the Tractatus Logico-Philosophicus , and the impact he had on Wittgenstein's later philosophical insights.

I discuss the account of logical consequence advanced in Wittgenstein's Tractatus. I argue that the role that elementary propositions are meant to play in this account can be used to explain two remarkable features that Wittgenstein ascribes to them: that they are logically independent from one another and that their components refer to simple objects. I end with a proposal as to how to understand Wittgenstein's claim that all propositions can be analysed as truth functions of elementary propositions.

It is argued that the Tractatus Project of Logical Atomism, in which the world is conceived of as the totality of independent atomic facts, can usefully be understood by conceiving of each fact as a bit in logical space. Wittgenstein himself thinks in terms of logical space. His elementary propositions, which express atomic facts, are interpreted as tuples of co-ordinates which specify the location of a bit in logical space. He says that signs for elementary propositions are arrangements of names. (...) Here, the names are understood as numerical symbols specifying coordinates. It is argued that, using this approach, the so-called colour-exclusion problem, which was Wittgensteins reason for abandoning the Tractatus, is in fact soluble. However, if logical space is a continuum then some coordinates will need to be expressed by numerical symbols that are infinite in size. How is this to be understood in Tractatus terms? It is shown that, in the Tractatus, Wittgenstein did recognise the possibility of infinite propositions and sentences expressing them. At first sight his approach to infinite sentences, and the approach of the present paper, seem to differ, but it is argued that the difference is superficial. Finally, we address the question of whether Logical Atomism is viable and this raises issues concerning its relationship to natural science. (shrink)

Statements of degree appear to falsify basic doctrines in Tractatus Logico-Philosophicus. I offer a fresh formulation of the challenge and assess a solution proposed on Wittgenstein’s behalf by Sarah Moss. I find that Moss’s proposal fails. The proposal rides in part on novel interpretations of pronouncements by Wittgenstein on the nature of the elementary proposition. I find that the interpretations cannot be sustained but that Moss’s textual case hints at important and overlooked features of the Tractarian program. I develop Wittgenstein’s (...) comparison of propositions to measuring instruments and apply it throughout, showing that it captures philosophical commitments in Tractatus that otherwise tend to slip from view. (shrink)

Logical structure may explain the necessity and a priori knowability of such truths as that if A is red then A is either red or green. But this explanation cannot be extended to sentences that, while necessary and knowable a priori, do not wear the appropriate logical structure on their sleeves – sentences like ''''if A is a point and A is red, then A is not green,'''' or ''''if A is a sphere, then A is not a cube.'''' The (...) real origin of these sentences'' necessity and a priori knowability is a relationship between the meanings of their component atomic sentences – a relationship which cannot be systematically reduced to logical structure by translating those atomic sentences into any kind of ''''ideal'''' language. Moreover, this kind of relationship is one to which any atomic sentences are susceptible if they have a classifying, or comparison-implying, content. Arguably, then, all atomic sentences are capable of being related to others in ways that are necessary and knowable a priori. (shrink)

Philosophical Investigations, Volume 44, Issue 4, Page 372-402, October 2021.

The article argues for a contextualised reading of Wittgenstein’s Tractatus. It analyses in detail the role that use and application play in the text and how that supports a conception of transcendentality of logic that allows for contextualisation. The article identifies a tension in the text, between the requirement that sense be determinate and the contextual nature of application, and suggests that it is this tension that is a major driver of Wittgenstein’s later ideas.

A logic focusing on the analytic a priori and explicitly rejecting the synthetic a priori developed in the early decades of the 20th century, largely through the efforts of the Logical Empiricists. This group was very influenced by Wittgenstein's early work Tractatus Logico-Philosophicus. But Wittgenstein himself, later on, departed from the Tractatus in significant ways that the Logical Empiricists did not follow. Wittgenstein came later to accept the synthetic a priori, and out of this insight comes a non-analytic logic that (...) differs from standard 20th century logic in many distinct ways. This paper details these differences. (shrink)

O artigo aplica tópicos do inferencialismo semântico de Brandom para iluminar o verificacionismo do Wittgenstein Intermediário, como o papel expressivista da negação, o holismo semântico do inferencialismo e a não-redutibilidade de relações conceituais de incompatibilidade em termos de relações puramente formais. Para tanto, introduz uma leitura normativa do problema da exclusão de cores e do seu impacto no meio notacional tractariano como motivação para o verificacionismo e suas relações com o inferencialismo e o expressivismo. Finalizo mostrando que o poder expressivo (...) de tabelas de verdade pode ser aumentado a partir de mutilações sistemáticas de suas linhas. (shrink)

Here, the logical behaviour of negation in Wittgenstein's Tractatus is compared with Demos' account of denial. Even if we hold negation as a pure syntactical device, at least in some context, it brings a handful of complex semantic information – potentially an infinite amount. We advocate then the existence of at least two negations due to the existence of two different and non-reducible types of exclusion. The first negation is a Tractarian and classical one, based on the notion of contradiction, (...) whereas the second is a non-classical negation, based on the notion of contrariety. (shrink)

Argues for a causal-psychological account of acting for reasons. This view is distinguished from a more ambitious causal theory of action, clarified as far as possible, and motivated—against non-reductive, teleological, and behaviourist alternatives—on broadly metaphysical grounds.

Wittgenstein took the _Tractatus Logico-Philosophicus_ to be eventually invalidated by logical atomism. Our main thesis is that it can be revalidated, provided that we subtract the thesis 2.02 (“The object is simple.”) from it: atoms are not simple objects but, rather, bits of information the objects are made of. Starting from an introductory discussion about what is meant by a ‘logic of colors’, an explanatory framework is then proposed in the form of a partition semantics. The philosophical problem of Wittgenstein’s (...) color-statements is reformulated accordingly, thus overcoming the trouble with logical atomism. A Boolean treatment is advanced to solve the initial difficulty and leads to two final results: Wittgenstein’s logic of colors requires a mereological understanding of the relations between colors in order to make sense; the analysis of psychophysical concepts like colors casts some additional doubt about the analytic–synthetic distinction, to the point of treating relations between colors as analytic a posteriori judgments. (shrink)

del's appeal to mathematical intuition to ground our grasp of the axioms of set theory, is notorious. I extract from his writings an account of this form of intuition which distinguishes it from the metaphorical platonism of which Gödel is sometimes accused and brings out the similarities between Gödel's views and Dummett's.

It is often held that Wittgenstein had to introduce numbers in elementary propositions due to problems related to the so-called colour-exclusion problem. I argue in this paper that he had other reasons for introducing them, reasons that arise from an investigation of the continuity of visual space and what Wittgenstein refers to as ‘intensional infinity’. In addition, I argue that the introduction of numbers by this route was prior to introducing them _via_ the colour-exclusion problem. To conclude, I discuss two (...) problems that Wittgenstein faced in the writings before _Some Remarks on Logical Form _, problems that are independent of the colour-exclusion problem but dependent on the introduction of numbers in elementary propositions. (shrink)

In the present work are identified the main features of the algebraic structure with respect to the logical operations, of the set of all the quantum mechanical utterances for which can be specified a factual counterpart and factual rules for truth valuation. This structure is found not to be a lattice. It depends crucially on the spacetime features of the operations by which the observer prepares the studied states and performs measurements on them.

In previous works we have established that the spacetime probabilistic organization of the quantum theory is determined by the spacetime characteristics of the operations by which the observer produces the objects to be studied (“states” of microsystems) and obtains qualifications of these. Guided by this first conclusion, we have then built a “general syntax of relativized conceptualization” where any description is explicitly and systematically referred to the two basic epistemic operations by which the conceptor introduces the object to be qualified (...) and then obtains qualifications of it. Inside this syntax there emerges a general typology of the relativized descriptions. Here we show that with respect to this typology the type of the predictive quantum mechanical descriptions acquires a precise definition. It appears that the quantum mechanical formalism has captured and has expressed directly in a mathematical language the most complex form in which can occur a first descriptional phase that lies universally at the bottom of any chain of conceptualization. The main features of the Hilbert-Dirac algorithms are decoded in terms of the general syntax of relativized conceptualization. This renders explicit the semantical contents of the quantum mechanical representations relating each one of these to its mathematical quantum mechanical expression. Basic insufficiencies are thus identified and, correlatively, false problems as well as answers to these, or guides toward answers. Globally the results obtained provide a basis for future attempts at a general mathematical representation of the processes of conceptualization. “Il pourrait, en effet, être dangereux pour l'avenir de la Physique qu'elle se contente trop facilement de purs formalismes, d'images floues et d'explications toutes verbales s'exprimant par des mots à signification imprécise”—Louis de Broglie,Certitudes et Incertitudes de la Science (Albin Michel, Paris, 1965). (shrink)

It is commonly held that Wittgenstein abandoned the Tractatus largely because of a problem concerning color incompatibility. My aim is to solve this problem on Wittgenstein’s behalf. First I introduce the central program of the Tractatus (§1) and the color incompatibility problem (§2). Then I solve the problem without abandoning any Tractarian ideas (§3), and show that given certain weak assumptions, the central program of the Tractatus can in fact be accomplished (§4). I conclude by distinguishing my system of analysis (...) from others and by explaining the historical underpinnings of my understanding of the nature of elementary propositions (§5). (shrink)

In speaking of the social dimensions of human experience, we inevitably become involved in the debate regarding how they are to be studied. Should we embrace the first-person perspective, which is that of the phenomenologists, and begin with the experiences composing our directly experienced lifeworld? Alternately, should we follow the lead of natural scientists and take up the third-person perspective? This is the perspective that asserts that we must begin with what is true for everyone, i.e., with what is available (...) to both me and Others. Both perspectives are one sided in that each presupposes the other for its intelligibility. The third-person perspective is Cartesian and, as I show, privileges space, while the first-person perspective is social in Levinas’s sense and presupposes time. Our reality, I argue, embraces both perspectives and is, in fact, set by their intertwining. (shrink)

Wittgenstein est mort en 1951 et on attend toujours une édition de ses œuvres complètes. Ce n'est qu'en 1994 que sont parus, accompagnés d'un volume d'introduction à l'ensemble du projet d'édition de la main du directeur de publication, Michael Nedo, les deux premiers d'une série de quinze volumes, les Wiener Ausgabe, qui reproduiront l'intégralité des écrits de Wittgenstein, de son retour à Cambridge en janvier 1929 à la première version du Big Typescript en 1933, avec index et concordances. D'après le (...) catalogue établi par Georg Henrik von Wright, il s'agit des articles suivants: MS 105 à 114 et 153 à 155, TS 208 à 218. Ces deux premiers volumes reproduisent les manuscrits écrits entre janvier ou février 1929 et l'été 1930, soit les MS 105, 106, 107 et 108. Ils constituent l'aboutissement d'une véritable saga entourant l'œuvre posthume de Wittgenstein, dont il vaut la peine de rapporter ici quelques-uns des faits marquants. (shrink)

In his last papers about deontic logic, von Wright sustained that there is no genuine logic of norms. We argue in this paper that this striking statement by the father of deontic logic should not be understood as a death sentence to the subject. Rather, it indicates a profound change in von Wright's understanding about the epistemic and ontological role of logic in the field of norms. Instead of a logical constructivism of deontic systems revealing a necessary structure of prescriptive (...) discourse, which marked his earlier efforts, he adopted the view that such systems should be seem as mere objects of comparison, i.e. as providing practical standards of rationality for normgiving activity. Within such view he proposed an interpretation of standard deontic logic in such a way to free deontic logicians from the philosophical difficulties related to the so-called Jørgensen's dilemma and deontic paradoxes. This effort, as we claim in the present paper, is an application of Wittgenstein's therapeutic method to dissolve philosophical difficulties caused by the use of logical tools to model relations between norms. (shrink)

The contemporary Humean programme that seeks to combine property realism with the denial of necessary connections between distinct existences is flawed. Objects and properties by their very natures are entangled in such connections. It follows that modal notions cannot be reductively analysed by appeal to the concept property, not even if the reducing theory posits an abundant supply of entities to fall under that concept.

Study of Wittgenstein's claim in the Preface of the Tractatus that his thoughts are unassailably true and his declaration at the end of the work that his propositions are nonsensical.

The present article proposes an Informational-Theoretic interpretation of logical analysis applied to natural language in Tractatus Logico-Philosophicus. Natural language is characterized by descriptive definitions in order to compress information according to empirical regularities. However, notations fitted to empirical patterns do not explicitly reflect the logical structure of language that enables it to represent those very patterns. I argue that logical analysis is the process of obtaining incompressible and uniformly distributed codes, best fitted to express the possible combinations of facts instead (...) of eventual empirical regularities. That implies mutual translatability between different representations of the same facts, which justifies the possibility to decompose natural language and to rebuild it in mathematized ideographical languages, such as physics. Logical analysis decomposition process, then, results in a reductionism that sets the basis for conceptions of logic and language not only in Tractatus, but also in Some Remarks on Logical Form, which, in turn, is shown to be unattainable in Philosophical Remarks. That posterior book introduces a fragmentation of linguistic systems and analytical methods that can no longer be interpreted under computation theory alone. (shrink)

Wittgenstein's Tractatus carefully distinguished the concept all from\nthe notion of a truth-function, and thereby from the quantifiers.\nI argue that Wittgenstein's rationale for this distinction is lost\nunless propositional functions are understood within the context\nof his picture theory of the proposition. Using a model Tractatus\nlanguage, I show how there are two distinct forms of generality implicit\nin quantified Tractatus propositions. Although the explanation given\nin the Tractatus for this distinction is ultimately flawed, the distinction\nitself is a genuine one, and the forms of generality that (...) Wittgenstein\nindicated can be seen in the quantified sentences of contemporary\nlogic. (shrink)

In this paper, I explore Wittgenstein’s inheritance of one specific strand of Kant’s criticism, in the Critique of Pure Reason, of reason’s inherent pretensions to totality. This exploration reveals new critical possibilities in Wittgenstein’s own philosophical method, challenging existing interpretations of Wittgenstein’s political thought as “conservative” and exhibiting the closeness of its connection to another inheritor of Kant’s critique of totality, the Frankfurt school’s criticism of “identity thinking” and the reification of reason to which it leads. Additionally, it shows how (...) Wittgenstein’s linguistic philosophy offers to challenge and undermine, in a historically novel way, the metaphysical assumptions underlying some of our most characteristic and ubiquitous social practices. (shrink)