Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the (...) meaning of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

The central pillar of Austin’s theory of speech acts is the three-way distinction between locutionary acts like saying, illocutionary acts like asserting, and perlocutionary acts like persuading (Austin 1962: VIII-IX). While the latter distinction has been widely accepted, the former distinction has been frequently rejected due to Searle’s objections, who argued that since Austin’s locutionary acts are supposed to be forceful in the sense contrasting with neutral expression of a content and all force is by Austin’s own definition illocutionary, (...) the notion of a locutionary act collapses into that of an illocutionary act (Searle 1968). In this paper, I provide an interpretation of Austin’s distinction between locutionary and illocutionary acts and defend it against Searle’s objections. I argue that Searle’s main objection relies on mistakenly running together two notions of ‘force’: the Fregean notion of representational force as presentation-as-true and the Austinian notion of illocutionary force as the social-communicative significance of the speech act. Once we distinguish these we can see that although Searle is correct that Austin’s locutionary acts are forceful in the former sense, he’s mistaken in thinking that such force is illocutionary. Given this, his objection that locutionary acts collapse into illocutionary acts misses its mark. (shrink)

Meontology of Gorgias vs. Nihilism. The purpose of this paper is to challenge Gorgias’ image of a “nihilist existentialist”. The original thesis ouden estin, too frequently rendered as „nothing exists”, thus reducing the verb “to be” to denote “bare” existence, and ouden to denote “nothingness”. On close inspection, it turns out that, in Gorgias, neither do we have a negation of reality nor an affirmative treatment of the word “nothingness”.Therefore, ouden” should not be understood as a negation of all reality (...) or a kind of affirmative “nothingness”, whereas “estin” should not be reduced to “bare” existence. (When existence is negated what we obtain is annihilation). Such practices still affect the various translations of Gorgias’ treaty On the non-being or on Nature. Gorgias’ “sophist” thought is typically interpreted as a joke or a parody of dialectical thinking of the Eleatics. In fact, as it turns out, he made no parody of dialectic but applied the elenctic, apagogic method in Zeno’s masterly manner. He did so not for an artificial purpose but to prove the absurdity of the hypothesis of absolute, transcendent (hence incognizable) one Truth-Being, which eliminates the non-being of becoming as absolute non-being. Gorgias argued in earnest in favour of relative being as such, Becoming as the only reality, which from the point of view of absolute being is after all non-being, but not-this-being, or relative non-being but not non-relative non-being, as the Eleatics had claimed. Gorgias’ positions appears to be an apologia of non-being which is, that is of Becoming. We do not transform the “nothing” into a “no thing”. The main question of the treaty is: what is predicated by the word “nothing”? Gorgias’ position can be recapitulated as “nothing is sc. true, there is no criterion because, after all, everything is opinion. It is reinforced further by meontological, i.e. anti-eleatic Gorgias’ emphasis: “No thing is Being (substance)”, because everything is Becoming. Thus the title if Gorgias’ treaty can thus be treated as as an antithesis to that of Melissos’, which – in our opinion – is to emphasize the “non-beingness” of nature, the non-substantiality of things. Therefore, if Gorgias’ text was polemical, and it questioned (while at the same time maintaining the positivity of Becoming as non-being) only the immutability of things, and thus we cannot speak of the existence or the cognizability of natures or of essences of things. In sum, the reasoning of Zeno and Melissos was of a kind that is apt to cut both ways, and that is what Gorgias showed. The argument given as peculiar to himself was to this effect. “What is not” is not, so, it is just as much as “what is”. It is as if the onset of the issues that Plato will take up in The Sophist as the problem of non-being understood as difference. The axis of Gorgias’s anti-eleatic critique, in our view, is his polemic with Parmenides’ famous thesis B3 regarding the relationship of identity or equality between noein and einai. It is an additional and perhaps the most important point of his critique that aims at demonstrating that such relationship is impossible. In brief, things are not words just as thoughts are not words. (shrink)

This paper explores whether terrorist violence could be morally justified or excused. It defends the absolute immunity of innocent people against those who might want to sacrifice them for other goals. The defense is based on recognizing people’s stringent natural duty of nonmaleficence, which entails an obligation on moral agents to refrain from intentionally bringing about harm or significant risk of it to the innocent. The paper is divided into two parts. The first part distinguishes between unconditional and conditional critics’ (...) arguments regarding the use of terrorist violence, and between a narrow and a broad definition of terrorism. While unconditional critics accept the narrow definition or one akin to it because they equate terrorism with murder, conditional critics accept the broad definition or one akin to it because they attempt to justify or excuse the use of terrorism based, e.g., on an analogy with a just war approach, consequentialism, moral relativism, supreme emergency or last resort. Exception is taken with the latter arguments since they attempt to justify or excuse morally unjustifiable and inexcusable actions such as the deliberate use of violence against the innocent. The second part explores plausible conditional critics’ reasons for justifying or excusing the 9/11/01 attacks and find them wanting. If the argument works, then, with minor modifications, it could also apply to the 3/11/04 attacks in Madrid, the 7/7/05 attacks in London, and similar attacks elsewhere. (shrink)

A formulational debate is a debate over whether certain definitions of scientific realism and antirealism are useful or useless. By contrast, an epistemological debate is a debate over whether we have sufficient evidence for scientific realism and antirealism defined in a certain manner. I argue that Hilary Putnam’s definitions of scientific realism and antirealism are more useful than Bas van Fraassen’s definitions of scientific realism and constructive empiricism because Putnam’s definitions can generate both formulational and epistemological debates, whereas van Fraassen’s (...) can generate only formulational debates. (shrink)

Our time is characterized by what seems like an unprecedented process of intense global homogenization. This reality provides the context for exploring the nature and value of toleration. Hence, this essay is meant primarily as a contribution to international ethics rather than political philosophy. It is argued that because of the non-eliminability of differences in the world we should not even hope that there can be only one global religion or ideology. Further exploration exposes conceptual affinity between the concepts of (...) intolerance, ideology, and doctrinal evil. The last concept is developed in contrast to pure evil and average evil, and under the assumption of the metaphysical necessity of free will. Doctrinal evil is found to represent the main source of intolerance as a result of a mechanism that tends to confuse doctrinal evil (or the competing conceptions of the good) with pure evil. This connection between doctrinal evil and pure evil provides ideologies with their forcefulness. Tolerance cannot be properly understood in terms of a simple opposition to intolerance, however. Tolerance emerges as a sort of vigilance, conscientiousness, and non-negligence based not on a supposedly correct interpretation of the good, but rather on the acceptance of the fallibility of any such attempted definition. Conversely, the principal evil in doctrinal evil is found in arrogance that accompanies the intolerance-inducing irresponsible thoughtlessness. With this conceptual topology in mind the paper also addresses questions regarding religious tolerance, the ideology of human rights and democracy, the right to self-defense, ways to face evil, the dialectics of using old names for novel evils, and related issues. (shrink)

Many differences exist between the logical relations “equality” and “equivalence”. In this monograph I point out differences that concern definition, linguistics, computational gates and tables, denotation, application, negation of terms, negation of the relation, relations to other relations, the laws of symmetry, transitivity and reflexivity, the laws of commutation and permutation, the law of tautology, the law of distribution, the law of association, propositional meaning, and “genesis”. I also point out a form of “symmetry breaking”: the negation of some (...) equality may yield some non-equality, while the negation of that non-equality might not yield the same equality. (For full access: use the website link of the title page. -- Copyright License: CC BY-NC-ND. -- DOI: 10.17026/dans-zh3-h2b2 --). (shrink)

This paper is part of a larger project to better understand the limitations of the economic theory of agency and incentives.1 The economic approach focuses on extrinsic incentives whereas a better understanding of human organization requires an understanding of intrinsic motivation and the complementary or substitutive relationships with extrinsic motivation. I will focus on different treatments of informational or “panoptic” questions regarding transparency or non-transparency in the management of firms or other human organizations. This context will give the questions definiteness (...) but the ideas might also be applied in a broader social context. As a conceptual framework, I will use the seminal work of Douglas McGregor. The economic approach to agency and incentives theory is based essentially on what McGregor called the “Theory X” worldview, and the alternative explored here is essentially what he called the “Theory Y” view of individuals in organizations. (shrink)

Extensional scientific realism is the view that each believable scientific theory is supported by the unique first-order evidence for it and that if we want to believe that it is true, we should rely on its unique first-order evidence. In contrast, intensional scientific realism is the view that all believable scientific theories have a common feature and that we should rely on it to determine whether a theory is believable or not. Fitzpatrick argues that extensional realism is immune, while intensional (...) realism is not, to the pessimistic induction. I reply that if extensional realism overcomes the pessimistic induction at all, that is because it implicitly relies on the theoretical resource of intensional realism. I also argue that extensional realism, by nature, cannot embed a criterion for distinguishing between believable and unbelievable theories. (shrink)

Jag tror att det är ett misstag att kräva av humanvetenskaperna (d.v.s. humaniora, samhälls- och beteendevetenskaperna) att de imiterar naturvetenskapernas forskningsmetodik. Humanvetenskaperna studerar meningsfulla fenomen vilkas natur är på ett grundläggande sätt annorlunda än de blott fysiska fenomen som naturvetenskapen studerar. Den största skillnaden är att meningsfulla fenomen inte uppenbarligen är lagbundna på samma sätt som fysiska fenomen och uppvisar därför inte samma regelbundenhet och förutsägbarhet som fysiska fenomen. För att studera meningsfulla fenomen krävs därför andra forskningsmetoder. Trots att humanvetenskaperna (...) studerar fenomen som inte är lagbundna och är på ett visst sätt subjektiva, så vill jag mena att de studerar objektivt verkliga fenomen och kan få giltig kunskap om dem. Att subjektiva fenomen också kan vara objektivt verkliga kan låta märkligt för vissa läsare, varför jag rundar av med en diskussion om vad det egentligen innebär för något att vara objektivt verkligt. Enligt den definition jag föreslår så framstår att meningsfulla fenomen, också de som kallas ”sociala konstruktioner”, kan förstås som objektivt verkliga företeelser trots att de på ett betydelsefullt sätt också är subjektiva. (shrink)

DOI: 10.1080/00031305.2018.1564697 When the editors of Basic and Applied Social Psychology effectively banned the use of null hypothesis significance testing (NHST) from articles published in their journal, it set off a fire-storm of discussions both supporting the decision and defending the utility of NHST in scientific research. At the heart of NHST is the p-value which is the probability of obtaining an effect equal to or more extreme than the one observed in the sample data, given the null hypothesis and (...) other model assumptions. Although this is conceptually different from the probability of the null hypothesis being true, given the sample, p-values nonetheless can provide evidential information, toward making an inference about a parameter. Applying a 10,000-case simulation described in this article, the authors found that p-values’ inferential signals to either reject or not reject a null hypothesis about the mean (α = 0.05) were consistent for almost 70% of the cases with the parameter’s true location for the sampled-from population. Success increases if a hybrid decision criterion, minimum effect size plus p-value (MESP), is used. Here, rejecting the null also requires the difference of the observed statistic from the exact null to be meaningfully large or practically significant, in the researcher’s judgment and experience. The simulation compares performances of several methods: from p-value and/or effect size-based, to confidence-interval based, under various conditions of true location of the mean, test power, and comparative sizes of the meaningful distance and population variability. For any inference procedure that outputs a binary indicator, like flagging whether a p-value is significant, the output of one single experiment is not sufficient evidence for a definitive conclusion. Yet, if a tool like MESP generates a relatively reliable signal and is used knowledgeably as part of a research process, it can provide useful information. (shrink)

The complexity definition has appeared during analysis of visual structures perception. The binary model of visual impacts finding was essential here for a possibility of the general (abstract) research. The Abstract Complexity Definition is one of the research results. The definition meets intuitive complexity criterion and could be a common surface for all existing definitins of complexity.

Alireza Bagheri supports a policy on organ procurement where individuals could choose their own definition of death between two or more socially accepted alternatives. First, we claim that such a policy, without any criterion to distinguish accepted from acceptable definitions, easily leads to the slippery slope that Bagheri tries to avoid. Second, we suggest that a public discussion about the circumstances under which the dead donor rule could be violated is more productive of social trust than constantly moving (...) the line between life and death. (shrink)

Anselm is known for offering a distinctive definition of freedom of choice as “the ability of preserving uprightness of will for its own sake.” When we turn to Anselm’s account of the devil’s fall in De Casu Diaboli, however, this idiosyncratic understanding of freedom is not at the forefront. In that text, Anselm seemingly assumes a traditional understanding of free will defined in terms of alternative possibilities for the angels. These alternative possibilities must be present so the angels can (...) engage in ‘self-determination.’ God, however, does not face alternative possibilities to achieve His self-determination. Anselm thus explicates his notion of free will in terms of three different concepts: his distinctive definition of free choice, self-determination, and the principle of alternative possibilities. Despite attempts (by both scholars and Anselm) to explain how these three concepts are related, I argue that their relationship is problematic. In particular, I argue that Anselm is guilty of conflating and equivocating with regard to these concepts. I further importantly claim that the conflation obscures the fact that his understanding of self-determination calls into question God’s excellence over that of the good angels. (shrink)

Kripke (1977) presents an argument designed to show that the considerations in Donnellan (1966) concerning attributive and referential uses of (definite) descriptions do not, by themselves, refute Russell’s (1905) unitary theory of description sentences (RTD), which takes (utterances of) them to express purely general, quantificational, propositions. Against Kripke, Marga Reimer (1998) argues that the two uses do indeed reflect a semantic ambiguity (an ambiguity at the level of literal truth conditions). She maintains a Russellian (quantificational) analysis of utterances involving attributively (...) used descriptions but attempts to defend the following two claims about utterances involving referentially used descriptions (referential utterances) (1998, p. 89). (shrink)

In this paper, I consider Ripstein and Dan-Cohen's critiques of the 'harm principle'. Ripstein and Dan-Cohen have asserted that the harm principle should be jettisoned, because it allegedly fails to provide a rationale for criminalising certain harmless wrongs that ought to be criminalised. They argue that Kant's second formulation of the categorical imperative and his concept of 'external freedom' are better equipped for ensuring that criminalisation decisions meet the requirements of fairness. Per contra, I assert that Kant's deontological theory is (...) about identifying morally wrongful and rightful conduct: it does not tell the legislature which of those wrongs justify a criminal law response in accordance with the requirements of fairness and justice. Some wrongdoers deserve censure and the stigma that results from criminalisation, but others do not. Kant's deontological theory does not limit the scope of the criminal law merely to those wrongs that deserve a criminal law response. Fair and principled criminalisation requires more than mere wrongdoing. I assert that it is only fair to criminalise wrongs when further normative reasons can be invoked to justify the use of the criminal law as a means for deterring the unwanted conduct. While 'harm to others' is not the only normative reason that can be used to demonstrate that it is fair to criminalise a given act, it is the justification that has the greatest reach. It would not be fair to criminalise mere wrongdoing (that is, every violation of freedom: trespass to goods etc. or every violation of the categorical imperative: every false promise etc.). Nor is it possible to distinguish one violation of freedom from the next, as freedom is not measurable. Thus, murder and trespass to goods would be equally wrong and equally criminalisable in Kant's scheme. A further problem with Dan-Cohen's use of the second formulation of Kant's categorical imperative is that it aims to be an inclusive criterion for identifying conduct that is prima facie criminalisable, but this inclusive approach does not explain the wrongfulness (or in Dan-Cohen's use of the categorical imperative the criminalisableness) of harming animals. In this paper, I demonstrate that the harm principle is able to meet the challenges raised by Ripstein and Dan-Cohen. I also demonstrate that it offers superior criteria for ensuring that criminalisation decisions are fair, just and principled than is offered by Kant's deontological theory. (shrink)

A large part of the controversy surrounding the publication of DSM-5 stems from the possibility of replacing the purely descriptive approach to classification favored by the DSM since 1980. This paper examines the question of how mental disorders should be classified, focusing on the issue of whether the DSM should adopt a purely descriptive or theoretical approach. I argue that the DSM should replace its purely descriptive approach with a theoretical approach that integrates causal information into the DSM’s descriptive diagnostic (...) categories. The paper proceeds in three sections. In the first section, I examine the goals (viz., guiding treatment, facilitating research, and improving communication) associated with the DSM’s purely descriptive approach. In the second section, I suggest that the DSM’s purely descriptive approach is best suited for improving communication among mental health professionals; however, theoretical approaches would be superior for purposes of treatment and research. In the third section, I outline steps required to move the DSM towards a hybrid system of classification that can accommodate the benefits of descriptive and theoretical approaches, and I discuss how the DSM’s descriptive categories could be revised to incorporate theoretical information regarding the causes of disorders. I argue that the DSM should reconceive of its goals more narrowly such that it functions primarily as an epistemic hub that mediates among various contexts of use in which definitions of mental disorders appear. My analysis emphasizes the importance of pluralism as a methodological means for avoiding theoretical dogmatism and ensuring that the DSM is a reflexive and self-correcting manual. (shrink)

Numismatics is a broad and complex area of study connecting with many different areas of human endeavor, including philosophical analysis. This paper critically discusses some of the practical and conceptual issues involved in applying the obverse- vs. reverse-side distinction to coins. We may not be able to come up with precise definitions which take care of all the counterexamples, but we still must be careful in how we define the terms within the discipline and how we use these terms.

Throughout this paper, we prove TC + CON(TC*)ͰP ≠ NP. To do that, firstly we introduce the definition of scope∗ . This definition is based on the practical situation of computation in the real world. In the real world and real computational activities, we face finite number of efficient computable functions which work in a limited time. Inspired by this fact and considering time as a fuzzy concept, we have the definition. By employing this definition, we (...) reach to a world of computation, in which our time is non-classical and fuzzy, so we have random generations, but the set of all computations (our computational world) is the same as we have in classical time (TC). The result will be P ≠ NP and P* ≠ NP*. Throughout this article, we discuss around the impact of TC* on TC. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. Her (...) development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

On the few occasions that Kant addresses the subject of truth, he usually does so in relation to the problems involved in the nominal definition of truth and in the search for a truth criterion. The aim of this paper is to provide a synoptic view of the way in which Kant poses these two issues. In the first section of the paper I address the topic of the definition of truth. I begin by explaining what a (...) definition is and what does this entail for the definition of truth. I then present the consequences and problems that Kant draws from this. In the second section of the paper I develop the topic of the criterion of truth. First, I set out Kant's expectations for such criterion and show the limits he encounters. Then I provide a classification and an explanation of the truth criteria that he mentions throughout his work. -/- En las pocas ocasiones en que Kant aborda el tema de la verdad, lo suele hacer en función de los problemas implicados en la definición nominal de verdad y en la búsqueda de un criterio de verdad. El objetivo de este trabajo es ofrecer una visión sinóptica del modo en que Kant plantea estas dos cuestiones. En la primera sección del trabajo se aborda el tema de la definición de la verdad. Primero explico qué es una definición y qué implica esto para el caso de la verdad. Tras esto, expongo las consecuencias y problemas que Kant extrae al respecto. En la segunda sección del trabajo se desarrolla el tema del criterio de verdad. Para comenzar expongo las expectativas de Kant respecto de dicho criterio y los límites con que se encuentra. Tras esto ofrezco una clasificación y explicación de los criterios de verdad que menciona a lo largo de su obra. (shrink)

In this essay, I consider some logical treatises and commentaries from the first decades of the 12th century (many of which are still unedited) which contain a discussion on modalities and modal logic. After presenting a short catalogue of these sources and a description of their common features, I shall focus on some definitions of the modal term “necessarium” which are provided in them. As we will see, Abelard and logicians of his time advanced three different characterizations of this term: (...) necessity was either defined in terms of unavoidability (ineuitabilitas), or in terms of immutability and omnitemporality (impermutabilitas, sempiternitas), or again in terms of absolute necessity as opposed to conditioned one (necessitas absoluta vs. determinata). I argue that the temporal understanding of necessity in terms of omnitemporality, inherited from ancient sources and extensively used by Abelard and others in the first years of the twelfth-century, started to disappear in texts datable from around the 1120, perhaps due to several difficulties that were related to this definition when applied in logical contexts. I also discuss how the notion of necessitas determinata was used by Abelard’s contemporaries to qualify the modal status of present and past events, which were generally believed to be necessary only in a “weak” and harmless sense that did not prevent them from being contingent. -/- . (shrink)

The common use of Shannon’s information, specified for the needs of telecommunications, gives rise to many misunderstandings outside of this context. (e.g. in conceptions of such well-known theorists as C.F. Weizsäcker and J. A. Wheeler). This article shows that the terms of the general definition of information meet the structural information, and Shannon’s information is a special case of it. Similarly, complexity is misunderstood today as exemplified by the concepts of reputable computer scientists, such as S. Lloyd, S. Wolfram (...) and J. Schmidhuber. These theorists use an algorithmic definition of complexity and the so-called logical depth, neither of which meets the intuitive criterion of complexity. Hence, their misconceptions of beauty, art and the universe. It will be shown that the intuitive criterion is met by Abstract Complexity Definition. This definition also fulfils the criterion for a general complexity definition, as it defines complexity of the most general/abstract structure of our reality, that is, binary structure. It also explains such fundamental issues of information theory as the information–energy relationship and the value of information, which are still discussed and need to be clarified. (shrink)

In Fact, Fiction and Forecast, Nelson Goodman claims that the problem of justifying induction is not something over and above the problem of describing valid induction. Such claim, besides suggesting his commitment to the collapse of the distinction between the context of description and the context of justification, seems to open the possibility that the new riddle of induction could be addressed empirically. Discoveries about psychological preferences for projecting certain classes of objects could function as a criterion for determining (...) which predicates are after all projectible. In this paper, I argue that Goodman's claim must be construed within his project for constructional definitions, which is methodologically oriented by reflective equilibrium. The description of inductive practice is committed to the articulation of the extension of the class selected by the predicate ‘valid induction’. The mutual adjustment between theoretical considerations and inductive practice involved in the proposal of a definition of ‘valid induction’ must preserve that practice as much as possible, there is no way to get rid of entrenchment. Empirical discoveries about the psychological mechanism that underlies projections may help that adjustment but they cannot substitute the role played by the entrenchment of predicates. (shrink)

Aristotle's General Definition of the Syllogism may be taken as consisting of two parts: the Inferential Conditions and the Final Clause. Although this distinction is well known, traditional interpretations neglect the Final Clause and its influence on syllogistic. Instead, the aforementioned tradition focuses on the Inferential Conditions only. We intend to show that this neglect has severe consequences not just on syllogistic but on the whole exegesis of Aristotle's Prior Analytics I. Due to these consequences, our objective is to (...) analyse the General Definition's Final Clause and its consequences on syllogistic. We propose a reading of the Final Clause as an additional criterion for distinguishing some arguments as properly syllogistic ones and as a main theme which connects all parts of the Prior Analytics I into one coherent piece of work. (shrink)

Gödel’s slingshot-argument proceeds from a referential theory of definite descriptions and from the principle of compositionality for reference. It outlines a metasemantic proof of Frege’s thesis that all true sentences refer to the same object—as well as all false ones. Whereas Frege drew from this the conclusion that sentences refer to truth-values, Gödel rejected a referential theory of definite descriptions. By formalising Gödel’s argument, it is possible to reconstruct all premises that are needed for the derivation of Frege’s thesis. For (...) this purpose, a reference-theoretical semantics for a language of first-order predicate logic with identity and referentially treated definite descriptions will be defined. Some of the premises of Gödel’s argument will be proven by such a reference-theoretical semantics, whereas others can only be postulated. For example, the principle that logically equivalent sentences refer to the same object cannot be proven but must be assumed in order to derive Frege’s thesis. However, different true (or false) sentences can refer to different states of affairs if the latter principle is rejected and the other two premises are maintained. This is shown using an identity criterion for states of affairs according to which two states of affairs are identical if and only if they involve the same objects and have the same necessary and sufficient condition for obtaining. (shrink)

Finding the demarcation criterion for the identification of scientific knowledge is the most important task of normative epistemology. Pseudoscience is not a harmless leisure activity, it can pose a danger to the functioning of liberal democratic societies and the well-being of their citizens. First, there is an outline of how to define science instrumentally without slipping into the detrimental heritage of conceptual essentialism. The second part is dedicated to Popper’s falsification criterion and the objections of its opponents, which (...) eventually led to the abandonment of “naïve” falsificationism. Then I present two promising solutions to the problem, namely the ostensive definition of pseudoscience and the cognitive research of pseudoscientific thinking. In conclusion, I suggest to further extend the typology of alternatives to science to include parascience. (shrink)

Veblen's concept of conspicuous consumption, although widely known and commonly invoked, has rarely been examined critically; the associated "theory" has never been tested. It is suggested that the reason for this lies in the difficulty of determining the criterion that defines the phenomenon, a difficulty that derives from Veblen's failure to integrate two contrasting conceptual formulations. These are, first, an interpretive or subjective version that conceives of conspicuous consumption as action marked by the presence of certain intentions, purposes, or (...) motives, and second, a functionalist formulation in which conspicuous consumption is viewed as a form of behavior characterized by particular end results or outcomes. Consideration of each of these strands reveals major difficulties that prevent the construction of an operational definition of conspicuous consumption and hence the extraction of a workable theory from Veblen's discussion. (shrink)

Bioethics, neuroscience, medicine are contributing to a debate on the definition and criteria of death. This topic is very controversial, and it demonstrates clashing views on the meaning of human life and death. Official medical and legal positions agree upon a biological definition of death as irreversible cessation of integrated functioning of the organism as a whole, and whole-brain criterion to ascertain death. These positions have to face many criticisms: some scholars speak of logical and practical inconsistency, (...) some others of invalid scientific theory about the supreme integrator. In this paper some criticisms are exposed and discussed in order to reconstruct the state of the art in bioethical debate. -/- . (shrink)

This book is a general defence of Donald Davidson's and G.E.M. Anscombe's 'unifying' approach to the individuation of actions and other events against objections raised by Alvin I. Goldman and others. It is argued that, ironically, Goldman's rival 'multiplying' account is itself vulnerable to these objections, whereas Davidson's account survives them. Although claims that the unifier-multiplier dispute is not really substantive are shown to be unfounded, some room for limited agreement over the ontological status of events is indicated. Davidson's causal (...) criterion of event identity is then defended against charges of triviality or inadequacy. It is concluded that Davidson's criterion is not primarily a criterion for arriving at particular judgments of individuation, but a metaphysical standard for the correctness of such judgments, however arrived at. Contents: Unifiers vs. Multipliers - Davidson's individuation of events - Goldman's act generation - causal, 'by'-relational, and temporal problems - ontology and event constituents - Davidson's causal criterion. This book is unique in providing a detailed survey and analysis of the recent unifier-multiplier dispute, and will be of interest to all researchers in action theory, as well as those working more broadly in metaphysics, philosophy of language, and philosophy of mind. (shrink)

Any account of Spinoza's understanding of attribute must be able to satisfy his definition criterion; that is, it must coherently accommodate the elements involved in his definition of attribute as “what the intellect perceives of a substance as constituting its essence” (E1d4). But this is not enough. There are several available readings that satisfy this criterion and are mutually incompatible. To know what Spinoza means we must supplement his definition criterion with a criterion (...) aiming at consistency with other principles in his system. With the definition and consistency criteria in the backdrop, the aim of this paper is to offer a critical overview of the current state of the debate on Spinoza's theory of attributes. (shrink)

A distorted representation of one's own body is a diagnostic criterion and core psychopathology of both anorexia nervosa (AN) and bulimia nervosa (BN). Despite recent technical advances in research, it is still unknown whether this body image disturbance is characterized by body dissatisfaction and a low ideal weight and/or includes a distorted perception or processing of body size. In this article, we provide an update and meta-analysis of 42 articles summarizing measures and results for body size estimation (BSE) from (...) 926 individuals with AN, 536 individuals with BN and 1920 controls. We replicate findings that individuals with AN and BN overestimate their body size as compared to controls (ES= 0.63). Our meta-regression shows that metric methods (BSE by direct or indirect spatial measures) yield larger effect sizes than depictive methods (BSE by evaluating distorted pictures), and that effect sizes are larger for patients with BN than for patients with AN. To interpret these results, we suggest a revised theoretical framework for BSE that accounts for differences between depictive and metric BSE methods regarding the underlying body representations (conceptual vs. perceptual, implicit vs. explicit). We also discuss clinical implications and argue for the importance of multimethod approaches to investigate body image disturbance. (shrink)

This article offers an interpretation of a controversial aspect of Frege’s The Foundations of Arithmetic, the so-called Julius Caesar problem. Frege raises the Caesar problem against proposed purely logical definitions for ‘0’, ‘successor’, and ‘number’, and also against a proposed definition for ‘direction’ as applied to lines in geometry. Dummett and other interpreters have seen in Frege’s criticism a demanding requirement on such definitions, often put by saying that such definitions must provide a criterion of identity of a (...) certain kind. These interpretations are criticized and an alternative interpretation is defended. The Caesar problem is that the proposed definitions fail to well-define ‘number’ and ‘direction’. That is, the proposed definitions, even when taken together with the extra-definitional facts, fail to fix unique semantic extensions for ‘number’ and ‘direction’, and thereby fail to fix unique truth-values for sentences like ‘Caesar is a number’ and ‘England is a direction’. A minor modification of the criticized definitions well-defines ‘0’, ‘successor’ and ‘number’, thereby avoiding the Caesar problem as Frege understands it, but without providing any criterion of number identity in the usual sense. (shrink)

We make physical efforts when we swim, carry shopping bags, push heavy doors, or cycle up hills. A growing concern among philosophers and scientists in related fields is the absence of a well-defined concept for physical efforts. This paper addresses this issue by presenting a force-based definition of physical efforts. In Sect. 1, we explore the shortcomings of existing definitions of effort. Section 2 introduces the force-based account of efforts according to which making an effort consists in exerting a (...) force so as to make an object move or stay at rest. Section 3 introduces three central distinctions stemming from the account: failed vs. successful efforts; resisted vs. unresisted efforts; and efforts vs. effortful actions. Section 4 presents a key objection, to the effect that the force-based theory cannot account for the difficulty of efforts: efforts usually feel difficult, but effort’s difficulty is not always a function of the magnitude of force(s) exerted. Section 5 argues that the most in-depth account of difficulty so far, that developed by Bradford ( 2015 ), cannot account for the difficulty of efforts. Sections 6 & 7 develop a novel account of effort’s difficulty. (shrink)

W. V. Quine’s criterion of ontological commitment is commonly presented as the slogan: “to be is to be the value of a variable”. More specifically, to be is to be in the domain of values of a bound variable attached to a existential quantifier in the body of a theory. If a sentence of our best available theory quantifies over bachelors, so we conclude that, according to it, there are bachelors. Simplicity and the use of logical apparatus for determining (...) this criterion are responsible for many philosophers to adhere to this standpoint within analytical metaphysics. I will argue that despite this strong influence of the Quinean criterion of ontological commitment in many debates, we find at least three interlinked problems in its original formulation: (1) The criterion depends of a clear definition of theory for the determination of the quantifications counting as entailers of ontological commitments. However, Quine does not present such clear concept of what would be a theory and of how to formalize it. Quine develops this notion under just the metaphor of the knowledge fabric, in which we have a group of sentences, which does not suffice for the required account of ontological commitment. (2) There are distinct possibilities of quantifying over given sentences, which leaves room for different ontological commitments associated with the same statement. In that sense, someone could argue that the Quinean solution would be to endorse just the first order predicate logic. Nonetheless, the Quinean should explain why we ought to be restricted to this logic. (3) The previous problems lead to a possible explosion of the Quinean criterion of ontological commitment, making it trivial, because it permits the quantification over any supposed entities and, hence, that anything can exist. Thus, I will discuss Quine’s criterion of ontological commitment in the light of the abovementioned problems, showing that, unless the Quinean presents a more specific definition of theory beyond just a group of sentences, he leads to an explosion of commitments with different entities. I will conclude that, if you understand ‘theory’ as Alonzo Church’s concept of ‘formalized language’, this knot can be undone. However, Church’s concept is much more akin to Carnap’s linguistic framework than to a notion of knowledge fabric “without borders” as the one proposed by Quine. (shrink)

English translation of an entry on pages 137–42 of the Spanish-language dictionary of logic: Luis Vega, Ed. Compendio de Lógica, Argumentación, y Retórica. Madrid: Trotta. -/- DEDICATION: To my friend and collaborator Kevin Tracy. -/- This short essay—containing careful definitions of ‘counterargument’ and ‘counterexample’—is not an easy read but it is one you’ll be glad you struggled through. It contains some carefully chosen examples suitable for classroom discussion. -/- Using the word ‘counterexample’ instead of ‘counterargument’ in connection with Aristotle’s invalidity (...) proofs leads to a misinterpretation of Aristotle’s intentions. The two relations expressed by these two words are drastically different—as explained in this essay. There is however a subtle overlap: Every argument that is a counterargument for a given argument is a counterexample to the universal proposition that every argument in the same form as the given argument is valid. The word ‘counterexample’ was coined in the 1800s. The word ‘counterargument’ was given this sense in the 1960s. Saying that one argument is a counterexample for another argument is bad English—taking the word ‘counterexample’ in its Standard English sense. The word ‘counterinstance’ is an exact synonym for ‘counterexample’. Which logic books define ‘counterinstance’ or ‘counterexample’? Who started using ‘counterinstance’ or ‘counterexample’ in the sense of ‘counterargument’? Did they note that they were not using the word in the Standard sense? Why did it catch on? -/- Also see: https://www.academia.edu/8840909/Argumentations_and_logic_1989_ . (shrink)

Raftopoulos’s most recent book argues, among other things, for the cognitive impenetrability of early vision. Before we can assess any such claims, we need to know what’s meant by “early vision” and by “cognitive penetration”. In this contribution to this book symposium, I explore several different things that one might mean – indeed, that Raftopoulos might mean – by these terms. I argue that whatever criterion we choose for delineating early vision, we need a single criterion, not a (...) mishmash of distinct criteria. And I argue against defining cognitive penetration in partly epistemological terms, although it is fine to offer epistemological considerations in defending some definitions as capturing something of independent interest. Finally, I raise some questions about how we are to understand the “directness” of certain putative cognitive influences on perception and about whether there’s a decent rationale for restricting directness in the way that Raftopoulos apparently does. (shrink)

1. Introduction: a look back at the reasons vs. causes debate. 2. The interventionist account of causation. 3. Four objections to interventionism. 4. The counterfactual analysis of event causation. 5. The role of free agency. 6. Causality in the human sciences. -- The reasons vs. causes debate reached its peak about 40 years ago. Hempel and Dray had debated the nature of historical explanation and the broader issue of whether explanations that cite an agent’s reasons are causal or not. Melden, (...) Peters, Winch, Kenny and Anscombe had contributed their anticausal conceptions. The neo-Wittgensteinians seemed to be winning the day when in 1963 Donald Davidson published his seminal paper “Actions, Reasons, and Causes”. Davidson’s paper devastated the Wittgensteinian camp. It contained, among other things, a powerful attack on the logical connection argument. Davidson argued that the existence of a logical or conceptual connection between descriptions can never eliminate a causal relation, which holds between events simpliciter, not between events under certain descriptions. Davidson maintained that in a way, reasons can be causes. When somebody acts for a certain reason, his intentional attitudes, or rather changes in his attitudes, cause his bodily movements. Davidson also argued that rationalization is a species of causal explanation. For the definition of action, he argued that intentional actions are bodily movements caused in the right way by beliefs and desires that rationalize them. Davidson’s paper paved the way for causal theories of action, which superseded neo-Wittgensteinian analyses in the following decades. The causal theory was rapidly adopted by Alvin Goldman, David Armstrong, Paul Churchland, Myles Brand and many others, entering the mainstream and dominating the philosophy of action to this very day. In 1971 Georg Henrik von Wright published his book "Explanation and Understanding". The second chapter did not deal with agency, but with causation. It developed a new account of causation, the interventionist or experimentalist account. Focusing on causation, von Wright remedied a major shortcoming of the reasons vs. causes debate. The concept of causality, and the nature of the causal relation, received little attention in this debate, a fact that holds true for both camps. Mostly it was simply taken for granted that, as Hempel had declared, “causal explanation is a special type of deductive-nomological explanation”. One camp then aligned intentional explanations with D-N explanations, while the other camp insisted on their disparity. So strictly speaking, the label “reasons/causes debate” was a misnomer. The controversy dealt primarily with the question as to whether intentional explanations can take the form of D-N explanations, while the notion of causation, and the metaphysics of the causal relation, were left obscured. With von Wright’s new approach, the situation changed. Von Wright was primarily concerned with causation, but his approach contained an implicit attack on the causal theory of action as well. His core idea was that the notion of causality is intimately linked with, or even derived from, the notion of intentionally making something happen. Other philosophers, even Hume, had considered such a connection before, but often just to reject this view, regarding it as a kind of myth belonging to the infancy of the human mind. Von Wright took the idea seriously. He submitted the analysis that p is the cause of q if and only if by doing p we could bring about q. The causal theory of action was also concerned with the relation between causation and agency, to which its name bears witness. The causal theory of action holds that actions are bodily movements with a certain causal history. This is why von Wright’s account constituted a momentous challenge to the causal theory: it reversed the direction of conceptual dependency between both notions. Davidson and his followers tried to define what an intentional action is by using the notion of causation. The causal condition which the causal theory sets is part of the definition of “doing something intentionally”. Von Wright claimed that the conceptual dependency is the other way round. He used the notions of doing, and bringing about, to explain what causal relations are. So, instead of a causal theory of action, he advocated an agency theory of causation, as it may be dubbed. It is remarkable how seldom this clash of opinions about conceptual primacy is reflected in the literature. There are few exceptions: Fred Stoutland noticed the conflict, and he published a number of papers in which he compared Davidson’s and von Wright’s views. Von Wright’s book "Explanation and Understanding" was widely read and discussed in the seventies, especially in Europe. But it strikes me that especially in North America, where the causal theory of action became the orthodoxy of the day, von Wright’s challenge went largely unnoticed. Even Davidson did not seem to take it seriously. He nowhere takes notice of the interventionist theory of causation, while he does discuss von Wright’s earlier book "Norm and Action". As is well-known, Davidson favoured an alternative account of causation, based on “the principle of the nomological character of causality”, as he somewhat clumsily called it, or, later and less clumsily, “the cause-law thesis”. Davidson’s firm adherence to a nomological theory of causality may explain why he did not take much interest in alternative accounts. [...] -/- . (shrink)

We are on Mars again – the favourite laboratory for philosophical experiments. Our host colleagues introduce us to some Martian stuff referred to as “T”, and ask us to help them to identify T on other possible worlds. Or, technically speaking, we are asked to determine the intension of “T”, i.e., what the term designates with respect to different possible worlds. Following a short series of experiments on the planet, we conclude that the intension of “T” depends upon three factors: (...) (1) The semantic rule linked with the term, i.e., the way in which the term is designed to pick out its referent with respect to different possible worlds (e.g., as a definite description, or as a proper name, or as an actualised description etc.); (2) The properties of the referent of “T” in the actual world; and, (3) What we shall call ‘the metaphysical background of the universe’, i.e., what counts as a thing vs. what counts as a property of things (e.g., whether the universe is such that it contains material objects that merely happen to have their manifest properties, or whether the universe primarily contains manifest objects that merely happen to have their material constitution). As our experiments show, changing the values of any of these variables will result in a change in the reference of the term with respect to different possible worlds, viz., it will result in a change in the intension of the term. We then demonstrate how the three variables are interrelated, and specify how exactly they combine to produce a particular intension of a term. We conclude with a general “formula” that determines what will deserve to be called “T” relative to the different values of the above variables, i.e., we come up with a calculator of intensions. Finally, we also draw some morals about rigidity. (shrink)

Engaging with the question of the extent to which the so-called human, economic or social sciences are actually sciences, this book moves away from the search for a criterion or definition that will allow us to sharply distinguish the scientific from the non-scientific. Instead, the book favours the pursuit of clarity with regard to the various enterprises undertaken by human beings, with a view to dissolving the felt need for such a demarcation. In other words, Read pursues a (...) ‘therapeutic’ approach to the issue of the status and nature of these subjects. Discussing the work of Kuhn, Winch and Wittgenstein in relation to fundamental question of methodology, Wittgenstein among the Sciences undertakes an examination of the nature of (natural) science itself, in the light of which a series of successive cases of putatively scientific disciplines are analysed. A novel and significant contribution to social science methodology and the philosophy of science and ‘the human sciences’, this book will be of interest to social scientists and philosophers, as well as to psychiatrists, economists and cognitive scientists. (shrink)

Considering the existing definitions of violence one can point out a lack of terminological unity, which is associated with a lack of objective criteria. As a basis author uses own definition of violence as actions with property without the consent of the owner. Such a definition has an unambiguously defined criterion - the presence or absence of the owner's consent to actions with the object. On the basis of this definition, examples of existing violence from the (...) side of society towards its members are considered. These examples give an idea of what issues in social life are yet violent and how violence can be eliminated. Democracy, the main feature of which is the co-ownership of state property by citizens in equal shares, is considered as an institute that ensures overcoming violence in society. The necessary conditions for ensuring such co-ownership are given. As an example, a state structure is given that provides the necessary features of a democratic state, the main purpose of which is to protect citizens from any encroachment on their property, i.e. protection from violence. (shrink)

Philosophers of science have given up on the quest for a silver bullet to put an end to all pseudoscience, as such a neat formal criterion to separate good science from its contenders has proven elusive. In the literature on critical thinking and in some philosophical quarters, however, this search for silver bullets lives on in the taxonomies of fallacies. The attractive idea is to have a handy list of abstract definitions or argumentation schemes, on the basis of which (...) one can identify bad or invalid types of reasoning, abstracting away from the specific content and dialectical context. Such shortcuts for debunking arguments are tempting, but alas, the promise is hardly if ever fulfilled. Different strands of research on the pragmatics of argumentation, probabilistic reasoning and ecological rationality have shown that almost every known type of fallacy is a close neighbor to sound inferences or acceptable moves in a debate. Nonetheless, the kernel idea of a fallacy as an erroneous type of argument is still retained by most authors. We outline a destructive dilemma we refer to as the Fallacy Fork: on the one hand, if fallacies are construed as demonstrably invalid form of reasoning, then they have very limited applicability in real life. On the other hand, if our definitions of fallacies are sophisticated enough to capture real-life complexities, they can no longer be held up as an effective tool for discriminating good and bad forms of reasoning. As we bring our schematic “fallacies” in touch with reality, we seem to lose grip on normative questions. Even approaches that do not rely on argumentation schemes to identify fallacies fail to escape the Fallacy Fork, and run up against their own version of it. (shrink)

This paper commences from the critical observation that the Turing Test (TT) might not be best read as providing a definition or a genuine test of intelligence by proxy of a simulation of conversational behaviour. Firstly, the idea of a machine producing likenesses of this kind served a different purpose in Turing, namely providing a demonstrative simulation to elucidate the force and scope of his computational method, whose primary theoretical import lies within the realm of mathematics rather than cognitive (...) modelling. Secondly, it is argued that a certain bias in Turing’s computational reasoning towards formalism and methodological individualism contributed to systematically unwarranted interpretations of the role of the TT as a simulation of cognitive processes. On the basis of the conceptual distinction in biology between structural homology vs. functional analogy, a view towards alternate versions of the TT is presented that could function as investigative simulations into the emergence of communicative patterns oriented towards shared goals. Unlike the original TT, the purpose of these alternate versions would be co-ordinative rather than deceptive. On this level, genuine functional analogies between human and machine behaviour could arise in quasi-evolutionary fashion. (shrink)

Can there be a global demos? The current debate about this topic is divided between two opposing camps: the “pessimist” or “impossibilist” camp, which holds that the emergence of a global demos is either conceptually or empirically impossible, and the “optimist” or “possibilist” camp, which holds that the emergence of a global demos is conceptually as well as empirically possible and an embryonic version of it already exists. However, the two camps agree neither on a common working definition of (...) a global demos, nor on the relevant empirical facts, so it is difficult to reconcile their conflicting outlooks. We seek to move the debate beyond this stalemate. We argue that existing conceptions of a demos are ill-suited for capturing what kind of a global demos is needed to facilitate good global governance, and we propose a new conception of a demos that is better suited for this purpose. We suggest that some of the most prominent conceptions of a demos have focused too much on who the members of a demos are and too little on what functional characteristics the demos must have in order to perform its role in facilitating governance within the relevant domain. Our new proposal shifts the emphasis from the first, “compositional” question to the second, “performative” one, and provides a more “agency-based” account of a global demos. The key criterion that a collection of individuals must meet in order to qualify as a demos is that it is not merely demarcated by an appropriate membership criterion, but that it can be organized, democratically, so as to function as a state-like agent. Compared to the existing, predominantly “compositional” approaches to thinking about the demos, this agency-based approach puts us into a much better position to assess the empirical prospects for the emergence of a global demos that can facilitate good global governance. (shrink)

I propose that Leibniz did not state Leibniz’s Law, the logically and metaphysically robust principle that is typically understood as the following biconditional: ∀x ∀y [(x = y) ↔ ∀P (Px ↔ Py)]. To arrive at this conclusion, I examine the three principles that have become associated with Leibniz’s Law: the Substitutivity Principle (salva veritate), the Indiscernibility of Identicals, and the Identity of Indiscernibles. I show that Leibniz intended salva veritate as a semantic principle, never explicitly stated the Indiscernibility of (...) Identicals, and understood the Identity of Indiscernibles as a metaphysical principle. In the debate about Leibniz’s Law, I focus on four commentators: (1) W. V. O. Quine’s construal of salva veritate as the Indiscernibility of Identicals, (2) Nicholas Rescher’s contention that both the Identity of Indiscernibles and salva veritate may be construed as Leibniz’s Law, (3) Fred Feldman’s argument that Leibniz did not state a law or definition of identity, but only a criterion of identity for concepts, and (4) Edwin Curley’s response to Feldman, that Feldman’s assumptions, along with passages in Leibniz, show Leibniz did state Leibniz’s Law. I argue that Feldman’s position is not completely correct but can be amended with insights from Quine, Rescher, and Curley and by reference to Leibniz’s Complete Concept Theory. (shrink)

My goal in this paper is, to tentatively sketch and try defend some observations regarding the ontological dignity of object references, as they may be used from within in a formalized language. -/- Hence I try to explore, what properties objects are presupposed to have, in order to enter the universe of discourse of an interpreted formalized language. -/- First I review Frege′s analysis of the logical structure of truth value definite sentences of scientific colloquial language, to draw suggestions from (...) his saturated vs. unsaturated sentence components paradigm. -/- Next try investigate, in how far reference to non pure math objects might allow for a role as argument of a truth value function. Object kinds to be considered are: common sense objects, technical objects, humanities object kinds (social, psychical, ...), objects of art, ... , be they abstract, concrete, or in this respect mixed objects. -/- Then have a comment on the just referenced label abstract objects. -/- Next try to get an idea wrt the ontological significance of the fact, that pure math objects and functions in some important classical cases can be uniquely defined by means of categorical theories. Here, in the course of my argument, I have a little corollary wrt the standard model of first order Peano arithmetic, reducing the epistemological significance of the existence of the non standard models. -/- Next, wrt a special concept of a formalized empirical theory, I care for whether the impure math objects and mixed objects described here, and complying best with truth value function mapping, are also reliable candidates for the ontological commitment of such theories: and discuss an alternative, which reduces the ontological significance of the universe of discourse of the theories intended models. -/- In the end I sum up what is - from my point of view - the status quo, according to my respective findings. (shrink)

What is cognition? Equivalently, what is cognition good for? Or, what is it that would not be but for human cognition? But for human cognition, there would not be science. Based on this kinship between individual cognition and collective science, here we put forward Isbell conjugacy---the adjointness between objective geometry and subjective algebra---as a scientific method for developing cognitive science. We begin with the correspondence between categorical perception and category theory. Next, we show how the Gestalt maxim is subsumed by (...) the mathematical construct of colimit, a generalization of summation. The universal mapping property definitions of mathematical constructs, by virtue of being the best with respect to the universe of discourse, can be learned using reinforcement learning algorithms, which raises the possibility of abstracting the architecture of mathematics by artificial intelligence. Subsequently, we present naturality (to be contrasted with miracles), understood as 'Becoming consistent with Being', which governs the transformations of both things and their theories, as the zeroth law of change. Furthermore, the contrast---physical [mechanism] vs. biological [organism]---is smoothed via natural transformation, wherein transformations are respectful of the cohesion of the objects transformed. In closing, upon recognizing the scientific value of learning difficult-to-master differential calculus by physicists, of learning a strange four-letter language by biologists, and of learning the grammar of our respective mother tongues, we make a case for learning the theory of naturality / category theory for developing cognitive science. (shrink)

Naturalistic accounts of mental disorder aim to identify an objective basis for attributions of mental disorder. This goal is important for demarcating genuine mental disorders from artificial or socially constructed disorders. The articulation of a demarcation criterion provides a means for assuring that attributions of 'mental disorder' are not merely pathologizing different forms of social deviance. The most influential naturalistic and hybrid definitions of mental disorder identify biological dysfunction as the objective basis of mental disorders: genuine mental...

I argue that all rights exist by convention. According to my definition, a right exists by convention just in case its justification appeals to the rules of a socially shared pattern of acting. I show that our usual justifications for rights are circular, that a right fulfills my criterion if all possible justifications for it are circular, and that all existing philosophical justifications for rights are circular or fail. We find three non-circular alternatives in the literature, viz. justifications (...) of rights by consequences, by autonomy or by divine commands. I show that all three alternatives fail, and I conclude that all rights exist by convention. This ontological result has a surprising and beneficial consequence. A common argument against conventionalism is that it implies cultural relativism. I finish by showing that the suggested conventionalism is incompatible with cultural relativism. (shrink)