What characterizes indexical thinking is the fact that the modes of presentation through which one thinks of objects are context-bound and perspectival. Such modes of presentation, I claim, are mental files presupposing that we stand in certain relations to the reference : the role of the file is to store information one can gain in virtue of standing in that relation to the object. This raises the communication problem, first raised by Frege : if indexical thoughts are context-bound and relation-based, (...) how is it possible to communicate them to those who are not in the same context and do not stand in the right relations to the object? Following Frege, I argue that the solution comes from an important distinction between linguistic and psychological modes of presentation. Psychological modes of presentation are mental files. They are perspectival and context-bound. But linguistic modes of presentation are fixed by the conventions of the language and they are shared by the language users. They are public and serve to coordinate mental files in communication by constraining them to contain the piece of information they encode. In this way communication takes place even though the indexical thoughts entertained by the speaker are, in some sense, private and cannot be shared by the audience. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

There is much to be said for a diachronic or interpersonal individuation of singular modes of presentation (MOPs) in terms of a criterion of epistemic transparency between thought tokens. This way of individuating MOPs has been discussed recently within the mental files framework, though the issues discussed here arise for all theories that individuate MOPs in terms of relations among tokens. All such theories face objections concerning apparent failures of the transitivity of the ‘same MOP’ relation. For mental files, these (...) transitivity failures most obviously occur because mental files can merge or undergo fission. In this paper I argue that this problem is easily resolved once mental files are properly construed as continuants, whose metaphysics is analogous to that of persons or physical objects. All continuants can undergo fission or fusion, leading to similar transitivity problems, but there are well-established theories of persistence that accommodate this. I suggest that, in particular, the stage theory best suits the purposes of a continuant theory of MOPs. (shrink)

For Perry and many authors, de se thoughts are a species of de re thought ; for Lewis, it is the other way round. To a large extent, the conflict between the two positions is merely apparent: it is due to insufficient appreciation of the crucial distinction between two types of de se thought. In view of this distinction, we can maintain both that de se thought is a special case of de re thought, and that de re thought is (...) a special case of de se thought. Still, I argue, Lewis's position can be criticized on the grounds that it internalizes acquaintance relations. (shrink)

This paper proposes a novel conception of mental files, aimed at addressing Frege puzzles. Classical Frege puzzles involve ignorance and discovery of identity. These may be addressed by accounting for a more basic way for identity to figure in thought—the treatment of beliefs by the believer as being about the same thing. This manifests itself in rational inferences that presuppose the identity of what the beliefs are about. Mental files help to provide a functional characterization of a mind capable of (...) this presupposition, but more must be said to show how it may be rational. I argue that this can be done by drawing out the way in which mental files interact with a thinker's motivational states and so come to have normative functional properties. I show how this theory works better than some other treatments of mental files. (shrink)

I discuss a criterion for successful communication between a speaker and a hearer put forward by Buchanan according to which there is communicative success only if the hearer entertains, as a result of interpreting the speaker's utterance, a thought that has the same truth conditions as the thought asserted by the speaker and, furthermore, does so in virtue of recognizing the speaker's communicative intentions. I argue, against Buchanan, that the data on which it is based are compatible with a view (...) involving Fregean modes of presentation. In the second part of the article I critically discuss Unnsteinsson's claim that communicative success depends on the absence of contextually salient false distinctness beliefs about the subject matter of the conversation. I argue that this thesis leads to clearly counterintuitive consequences and that no fundamental role must be given to the presence or absence of false distinctness beliefs in one's account of successful communication. The upshot is that we should stick with Buchanan's criterion. I conclude by employing Strawson and Recanati's concepts of linking and merging to show how the criterion I favour is compatible with the fact that, when subjects hold no relevant false distinctness beliefs, communicative success does not seem to be disrupted by the hearer seemingly failing to recognize the speaker's intentions. (shrink)

I argue for a theory of the optimal function of the speech act of referring, called the edenic theory. First, the act of singular reference is defined directly in terms of Gricean communicative intentions. Second, I propose a doxastic constraint on the optimal performance of such acts, stating, roughly, that the speaker must not have any relevant false beliefs about the identity or distinctness of the intended object. In uttering a singular term on an occasion, on this theory, one represents (...) oneself as not having any confused beliefs about the object to which one intends to refer. This paves the way for an intentionalist theory of reference that circumvents well-known problems, which have not been adequately addressed before in the literature. (shrink)

Gricean intentionalists hold that what a speaker says and means by a linguistic utterance is determined by the speaker's communicative intention. On this view, one cannot really say anything without meaning it as well. Conventionalists argue, however, that malapropisms provide powerful counterexamples to this claim. I present two arguments against the conventionalist and sketch a new Gricean theory of speech errors, called the misarticulation theory. On this view, malapropisms are understood as a special case of mispronunciation. I argue that the (...) Gricean theory is supported by empirical work in phonetics and phonology and, also, that conventionalism inevitably fails to do this work justice. I conclude, from this, that the conventionalist fails to show that malapropisms constitute a counterexample to a Gricean theory. (shrink)

In 1958, Chaïm Perelman and Lucie Olbrechts-Tyteca published Traité de l'argumentation: La nouvelle rhétorique, the culmination of many years study. A seminal work in philosophy and rhetoric, it aimed to bring classical Aristotelian rhetoric into the modern era and present a model of argumentation that promoted action and reasonableness. One distinctive feature of the dense account found in this work is the claim that the success of argumentation can in part be measured by the responses of the audience for which (...) it is intended. By that standard, the project of the new rhetoric appears unsuccessful, because the audience for whom Perelman (and Olbrechts-Tyteca) expressly wrote was the audience least captivated by .. (shrink)

This paper considers two issues raised by the claim that fictional characters are abstract artifacts. First, given that artifacts normally have functions, what is the function of a fictional character? Second, given that, in experiencing works of fictions, we usually treat fictional characters as concrete individuals, how can such a phenomenology fit with an ontology according to which fictional characters are abstract artifacts? I will indirectly address the second issue by directly addressing the first one. For this purpose, I will (...) rely on the notion of a mental file. I will argue that the function of fictional characters is the generation of mental files of a special kind. I will show that our experience of fictional characters as concrete individuals depends on the kind of mental files that are generated by fictional characters as abstract artifacts. I will conclude that an appreciator of a work of fiction can open two files about a certain fictional character; one about the character as an individual in the fictional world, and the other about the character as an abstract artifact in the actual world. In this sense, our relation to a fictional character is characterized by a duality of files or ‘twofileness’. (shrink)

Social individuals are social entities having a distinctive individuality, often signaled by the use of a proper name to designate them. This article proposes an account of social individuals based on the notion of a mental file, understood as a repository of information about a single individual. First, I consider a variant of the puzzle of the ship of Theseus in which the object having problematic identity conditions is a social individual, namely, a rock band. Then, I argue that we (...) can figure out such identity conditions by considering the mental files concerning this band. In conclusion, I outline a version of social constructionism according to which the existence of social individuals like bands depends on mental files about them. (shrink)

The paper is a rejoinder to a challenge against the particularist version of the mental files framework posed by the relationist approach based on the notion of content coordination [such as recent attempt by Rachel Goodman and Aidan Gray in ]. Relationists argue that important explanatory goals of MFF: could be achieved without positing files as mental particulars, as there is a relationist notion of content coordination at hand that can be aptly used for “filing without files”; and should be (...) so achieved, as there are difficulties that afflict the particularist approach to MFF and the relationist account is simply better. However, both claims should be rejected. The particularist approach to MFF, properly interpreted, would not get into the troubles it is accused of generating. Indeed, it is the relationist approach that gets in trouble. Specifically, it lacks resources for explanation of nuances, which can be easily accounted for in terms of particularist interpretation, and, furthermore, it lowers the interdisciplinary standing of the whole framework. The particularist version is therefore better. (shrink)

This paper initially follows the final part of the debate between singularism and descriptivism to the point of convergence, and discusses the notion of acquaintanceless singular thought. Then a sketch of a mental files model is presented. Firstly, the triggering mechanisms for opening files are discussed. Two kinds of discourse situations, acquaintance-situations and decoding-situations, are identified and different triggering mechanisms are postulated for each. Secondly, a bipartite structure of a file is introduced, combining an objectual part, encompassing what traditionally has (...) been associated with the notion of a mental file, serving the purpose of storing information about the referent of the file, and a metadata part, serving the purpose of storing information about the file itself. Being capable of encoding a variety of types of mental files, this structure is then employed to illustrate how singularity/descriptivity of the files can be manipulated and how we can account for the cognitive discernibility of files containing identical objectual information and grounded with the same acquaintance relations. (shrink)

Nozick provides us with a compelling characterization of romantic love, but, as I argue, he under-describes the phenomenon, for he fails to distinguish it from attitudes that those who are not romantically involved may bear to each other. Frankfurt also offers a compelling characterization of love, but he is sceptical about its application to the case of romantic love. I argue that each account has the resources with which to complete the other. I consider a preliminary synthesis of the two (...) accounts, which I find wanting. The synthesis I then favour relies upon two thoughts: each romantic partner has loving concern for a plural object viz. the two of them, and romantic partners are, in addition, beloved of a plural subject, viz. the two of them. A corollary is that Frankfurt is wrong to think that, whilst self-love is a pure form of love, romantic love is an impure form of love, for romantic love just is a form of self-love. In an appendix, I defend the coherence of the thought that love can have plural relata. (shrink)

The article is primarily concerned with the notion of a truth-maker. An explication for this notion is offered, which relates it to other notions of making something such-and-such. In particular, it is shown that the notion of a truth-maker is a close relative of a concept employed by van Inwagen in the formulation of his Consequence Argument. This circumstance helps understanding the general mechanisms of the concepts involved. Thus, a schematic explication of a whole battery of related notions is offered. (...) It is based on an explanatory notion, introduced by the sentential connector “because”, whose function is examined in some detail. Finally, on the basis of the explication proposed, an argument is developed to the effect that the objects usually regarded as truth-makers are not apt to play this role. (shrink)

ABSTRACTWhat does it take for lawyers and others to think or talk about the same legal topic—e.g., defamation, culpability? We argue that people are able to think or talk about the same topic not when they possess a matching substantive understanding of the topic, as traditional metasemantics says, but instead when their thoughts or utterances are related to each other in certain ways. And what determines the content of thoughts and utterances is what would best serve the core purposes of (...) the representational practice within which the thought or utterance is located. In thus favoring a “relational model” in metasemantics, we share Ronald Dworkin's goal of explaining fundamental legal disagreements, and also his reliance on constructive interpretation. But what we delineate is a far more general and explanatorily resourceful metasemantics than what Dworkin articulated, which also bypasses some controversial implications for the nature of law that Dworkin alleged. (shrink)

The main contribution of this paper is a novel account of ontological dependence. While dependence is often explained in terms of modality and existence, there are relations of dependence that slip through the mesh of such an account. Starting from an idea proposed by Jonathan Lowe, the article develops an account of ontological dependence based on a notion of explanation; on its basis, certain relations of dependence can be established that cannot be accounted by the modal-existential account. Dependence is only (...) one of two main topics of this paper, for it is approached via a discussion of the category of substance. On a traditional view, substances can be characterised as independent entities. Before the background of a modal-existential account of dependence, this idea appears problematic. The proposed notion of explanatory dependence is shown to vindicate the traditional approach to substance. (shrink)

My responses to seven critical reviews of my book *Mental Files* published in a special issue of the journal Disputatio, edited by F. Salis. The reviewers are: Keith Hall, David Papineau, Annalisa Coliva and Delia Belleri, Peter Pagin, Thea Goodsell, Krista Lawlor and Manuel Garcia-Carpintero.

Philosophers of mathematics agree that the only interpretation of arithmetic that takes that discourse at 'face value' is one on which the expressions 'N', '0', '1', '+', and 'x' are treated as proper names. I argue that the interpretation on which these expressions are treated as akin to free variables has an equal claim to be the default interpretation of arithmetic. I show that no purely syntactic test can distinguish proper names from free variables, and I observe that any semantic (...) test that can must beg the question. I draw the same conclusion concerning areas of mathematics beyond arithmetic. This paper is a greatly extended version of my response to Stewart Shapiro's paper in the conference 'Structuralism in physics and mathematics' held in Bristol on 2–3 December, 2006. (shrink)

What capacities for discrimination must a subject possess in order to entertain singular thoughts? Evans has suggested that a subject must be able to discriminate his referent from all other entities in order to be able to do so; what he calls Russell's Principle. Evans' view has few followers, and he has been repeatedly accused of presenting no argument in its favour. In this paper I present what I take to be Evans' argument. I suggest that he has been misinterpreted (...) as introducing Russell's Principle for the purpose of fixing reference. Rather, he introduces it in order to ensure that our conceptual capacities have the functional complexity to allow for objective thought. I suggest that the logical types of our thought are constituted by their inferential potential and argue that, even though singular thought may be possible without the satisfaction of Russell's Principle, singular thought that forms part of an objective world view is not. (shrink)

Paradigm intensional contexts result from the unmarked use of referential expressions as “self‐signs”, signs that refer to themselves as tokens, types, or members of Sellarsian “dot‐quoted” kinds. Self‐signing (but unquoted) linguistic expressions are more difficult to recognize than non‐linguistic self‐signs such as the color of a felt pen's casing that represents the color of ink inside. I will discuss non‐linguistic self‐signing, then examine self‐signing in quotation, in “said that …” contexts and in “believes that … ” contexts. The phenomenon of (...) intensionality may reduce to a kind of equivocation, a matter of notation rather than a necessary feature of language. (shrink)

One of the virtues of the biosemantic view of language is the clarity and simplicity of its description of the general nature of nonrepresentational linguistic constructions. It doesn't follow, however, that it is obvious on this view how these functions should be described individually. After an explanation of the biosemantic approach, initial suggestions are made for analyses of a variety of nonrepresentational constructions that have traditionally been considered problematic. Included are “not”, “is” (of identity), “exists”, “means”, “but”, “if … then”, (...) “possibly” and “true.”. (shrink)

There is a common-sense view of language, which is held by Wittgenstein, Strawson Dummett, Searle, Putnam, Lewis, Wiggins, and others. According to this view a language consists of conventions, it is rule-governed, rules are conventionalised, a language is learnt, there are general learning mechanisms in the brain, and so on. I shall call this view the ‘ ordinary language ’ view of language. Chomsky’s attitude towards this view of language has been rather negative, and his rejection of it is a (...) major motivation for the development of his own theory. In this paper I shall review Chomsky’s long-standing criticisms. I shall show that Chomsky’s argument does not constitute a dismissal of the ‘ordinarylanguage’ view of language, Chomsky’s conclusions about language do not follow from his argument, and the ‘ ordinary language ’ view actually points to a promising way for us to understand the true nature of language and mind. (shrink)

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...) meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures. (shrink)

As a class of terms and mental representations, proper names and mental names possess an important function that outstrips their semantic and psycho-semantic functions as common, rigid devices of direct reference and singular mental representations of their referents, respectively. They also function as abstract linguistic markers that signal and underscore their referents' individuality. I promote this thesis to explain why we give proper names to certain particulars, but not others; to account for the transfer of singular thought via communication with (...) proper names; and, more generally, to support a cognitivist, not acquaintance or instrumentalist, theory of singular thought. (shrink)

Few philosophers believe in the existence of so-called negative properties. Indeed, many find it mind-boggling just to imagine such entities. By contrast, I believe not only that negative properties are quite conceivable, but also that there are good reasons for thinking that some such properties actually exist. In this paper, I would like to explicate a concept of negative properties which I think avoids the logical absurdities commonly believed to frustrate theories of negative existences. To do this, I shall deploy (...) a conceptual approach to ontology: I first evaluate the ontological commitments of ordinary negative statements, before I argue that, from the perspective of conceptual analysis, negative properties are no more suspicious than positive properties. In the second part of this paper, I probe the extent to which one can explain the distinction between positive and negative properties in terms of facts about logico-semantical entailment. (shrink)

This paper is about the meaning and function of identity statements involving proper names. There are two prominent views on this topic, according to which identity statements ascribe a relation: the object-view, on which identity statements ascribe a relation borne by all objects to themselves, and the name-view, on which an identity statement 'a is b' says that the names 'a' and 'b' codesignate. The object- and name-views may seem to exhaust the field. I make a case for treating identity (...) statements as sui generis instead of attempting to explain them by means of the idea that they ascribe a relation. My contention is that once we do this, no analysis is required. -/- I do not wish to insist that we stop saying that identity statements ascribe a relation. The point is that there is a fundamental disanalogy between identity statements and other two-termed statements which we overlook to our peril. This will be seen to parallel the more recognized disanalogy between existence statements and other one-termed statements. One way of registering the fundamental disanalogy is to say that identity statements are not relational, but this is not essential. Following my negative arguments in section 2, I employ some simple diagrammatical models in section 3 to exhibit the fundamental disanalogy. In a final section I respond to some possible objections which may be raised against this kind of approach. (shrink)

Hax-Breno_On-identifying-and-identification.

CRS says that the meanings of expressions of a language or other symbol system or the contents of mental states are determined and explained by the way symbols are used in thinking. According to CRS one.

In recent papers Fred Sommers and Michael Lockwood have independently argued that the distinction between the ‘is’ of predication and the ‘is’ of identity is not well-founded. This claim is somewhat obscure since, on the theories they advocate, it is not only still possible to distinguish between the ‘is’ of predication and the ‘is’ of identity, but important to do so on pain of turning good arguments bad. Sommers' way of putting it, namely that we don't need identity, is no (...) better. Of course we don't need identity since, in second-order quantification logic, identity is definable in terms of predication. Perhaps the best way of putting their point is by means of Sommers' claim that identity statements can be formalized by monadic relations. We can therefore mark the IP-distinction by the essentially polyadic nature of identity. (shrink)

The current view of theoretical statements in science is that they should be literal and precise; ambiguous and metaphorical statements are useful only as pre-theoretical, exegetical, and heuristic devices and as pedagogical tools. In this paper we argue that this view is mistaken. Literal, precise statements apply to those experiential phenomena which can be defined either conventionally by criterial attribution or by internal atomic constitution. Experiential phenomena which are defined relationally and/or functionally, like nursing, in virtue of their nature, require (...) metaphorical description and explanation. In such cases, metaphor is theory-constitutive. Using insights from the philosophies of language and mind, and examples from nursing practice, education, and our own empirical research, we explore the nature of metaphor and its role in theory constitution. We argue that the apparent resistance of certain experiential phenomena to literal description and explanation is not necessarily indicative of pre-theoretic linguistic imprecision. We suggest, rather, that such resistance provides useful insights into the nature of such experiential phenomena. We also suggest that the aim of scientific theory should be methodological or epistemological precision and not merely linguistic precision. (shrink)

Proponents of the predicate view of names explain the reference of an occurrence of a name N by invoking the property of bearing N. They avoid the charge that this view involves a vicious circularity by claiming that bearing N is not itself to be understood in terms of the reference of actual or possible occurrences of N. I argue that this approach is fundamentally mistaken. The phenomenon of ‘reference transfer’ shows that an individual can come to bear a name (...) in virtue of the referential practices of a group of speakers. I develop a picture of name-bearing which captures this fact by treating the extension of name as a function of the way that extension is represented in the presuppositions of groups of speakers. I show that though there is a form of circularity inherent in this approach, it is not vicious circularity. (shrink)

This paper is about how to interpret and evaluate purported evidence for predicativism about proper names. I aim to point out some underappreciated thorny issues and to offer both predicativists and non-predicativists some advice about how best to pursue their respective projects. I hope to establish three related claims: that non-predicativists have to posit relatively exotic, though not entirely implausible, polysemic mechanisms to capture the range of data that predicativists have introduced ; that neither referentialism nor extant versions of predicativism (...) can offer a very plausible account of the interpretive possibilities for singular unmodified definite descriptions containing names ; and that the most plausible version of predicativism would treat bare names as non-anaphoric definite descriptions. (shrink)

Goodsell-Thea_Mental-files-and-their-identity-conditions.

This paper develops a new account of reference-fixing for proper names. The account is built around an intuitive claim about reference fixing: the claim that I am a participant in a practice of using α to refer to o only if my uses of α are constrained by the representationally relevant ways it is possible for o to behave. §I raises examples that suggest that a right account of how proper names refer should incorporate this claim. §II provides such an (...) account. (shrink)

Few if any distinctions are more easily recognisable and assented to than that between _objects_, that is, things which are some ways, and that which they are, that is, _ways for objects to be_ (‘ways of being’ for short). In this paper I present an argument designed to show that this distinction is indeterminate in the sense that the truth-conditions of predicational sentences leave open what should count as an object and a way of being. The bulk of the argument (...) is inspired by the celebrated permutation argument advanced by Quine, Wallace, Putnam and others. (shrink)

This paper investigates the truth conditions of sentences containing indefinite noun phrases, focusing on occurrences in attitude reports, and, in particular, a puzzle case due to Walter Edelberg. It is argued that indefinites semantically contribute the (thought-)object they denote, in a manner analogous to attributive definite descriptions. While there is an existential reading of attitude reports containing indefinites, it is argued that the existential quantifier is contributed by the de re interpretation of the indefinite (as the de re reading adds (...) existential quantification to the interpretation of definites on Kaplan’s analysis). (shrink)

This paper contrasts three different schemes of reference relevant to understanding systems of perceptual representation: a location-based system dubbed "feature-placing", a system of "visual indices" referring to things called "proto-objects", and the full sortal-based individuation allowed by a natural language. The first three sections summarize some of the key arguments (in Clark, 2000) to the effect that the early, parallel, and pre-attentive registration of sensory features itself constitutes a simple system of nonconceptual mental representation. In particular, feature integration--perceiving something as (...) being both F and G, where F and G are sensible properties registered in distinct parallel streams--requires a referential apparatus. Section V. reviews some grounds for thinking that at these earliest levels this apparatus is location-based: that it has a direct and nonconceptual means of picking out places. Feature-placing is contrasted with a somewhat more sophisticated system that can identify and track four or five "perceptual objects" or "proto-objects", independently of their location, for as long as they remain perceptible. Such a system is found in Zenon Pylyshyn's fascinating work on "visual indices", in Dana Ballard's notion of deictic codes, and in Kahneman, Treisman, and Wolfe's accounts of systems of evanescent representations they call "object files". Perceptual representation is a layered affair, and I argue that it probably includes both feature-placing and proto-objects. Finally, both nonconceptual systems are contrasted with the full-blooded individuation allowed in a natural language. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

Beginning from some passages by Vācaspati Miśra and Bhāskararāya Makhin discussing the relationship between a crown and the gold of which it is made, this paper investigates the complex underlying connections among difference, non-difference, coreferentiality, and qualification qua relations. Methodologically, philological care is paired with formal logical analysis on the basis of ‘Navya-Nyāya Formal Language’ premises and an axiomatic set theory-based approach. This study is intended as the first step of a broader investigation dedicated to analysing causation and transformation in (...) non-difference. (shrink)