// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on epistemic (...) modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

Although the idea that sexual violence is a “structural” problem is not new, the lack of specification as to what that entails blocks effective responses to it. This paper illustrates the concept of sexual violence as structural in the sense of containing a type of moral wrong called “structural wrong” and discusses its practical implications. First, I introduce a distinction between two types of moral wrongs—interactional wrongs and structural wrongs—and I argue that the moral problem of sexual violence includes (...) both types, each of which calls for a different set of moral responses. Second, drawing on Iris Marion Young’s social connection model of responsibility, I argue that recognizing the structural-wrong element of sexual violence does not reduce individual perpetrators’ responsibility for it. Instead, it implies that a broader group of agents are required to join collective actions to reform the social structure. I conclude by evaluating some preventive programs against sexual violence through the lens of structural wrongs and providing directions to advance them. (shrink)

The article contains a critical analysis of Wittgenstein’s theory of logical symbolism. According to an influential interpretation, Wittgenstein presented in the Tractatus a new method of solving paradoxes. This method seems a simple and effective alternative to Russell’s type theory. Wittgenstein’s theory of logical symbolism is based on the requirement of clear notation and the context principle: the type of a symbol only “shows” itself in the way we use the signs of our language. The function sign φ(φx) does not (...) express any paradox, because the syntactic rules for its use, written in clear notation, should “show” us that φ(φx) = ψ(φx). Many researchers (Davant, Ishiguro, Mounce, Ruffino, Friedlander, Jolley, Livingston, Ladov, et al.) follow this interpretation. However, the difficulty of such a view on Wittgenstein’s theory of logical symbolism is that there hides the fallacy of petitio principii. Indeed, in examples of a functional sign of the form φ(φx), we are interested not only in the question of whether the functions φ are different symbols, but also in how this functional sign φ(φx) itself excludes the symbolization of the same object by different ways. This interpretation is contrasted with the idea that Wittgenstein’s theory of logical symbolism is in fact a modified analogue of Russell’s simple theory of types. The reciprocality principle becomes the core of Wittgenstein’s theory: the combinatorial potential of the “prototype” of a functional sign is identical to the combinatorial potential of the “prototype” of an argument. According to Wittgenstein, only describing the combinatorial potential of linguistic expressions (symbols) can vanish the illusion of paradoxes. The function cannot be its argument, because the function sign φ(φx) already contains the “prototype” of its argument, “showing” us that φ(φx) = φx. The correctness of this interpretation does not exclude the possibility that the differences between Russell and Wittgenstein are in fact nothing more than façon de parler. (shrink)

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of (...) categories, dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

Over the last two decades there has been a growing interest in the transcendental dialectic of Critique of Pure Reason in Germany. Authors, however, often do not pay enough attention to the fact that Kant’s theory of reason (in the narrow sense) and the concept of ideas derived from it is not limited to this text. The purpose of this article is to compare and analyze the functionality of mind as a subjective ability developed by Kant and Fichte with (...) the Hegelian expansion of the mind to the idea of universal rationality. The relevance of such a comparison is connected with the need to demonstrate how the Hegelian paradigm of absolute rationality causes either the subsequent rejection of reason as a philosophical principle in the 19th and´20th centuries counter-discourse, or reduction of reason to the concept of pragmatic rationality. In the first part of this paper, the author intends to differentiate between at least 7 different types of ideas and their functions in Kant’s works. In the second part, he demonstrates how Fichte tries to systematize them beginning with reason, which at first creates an idea of itself. Special attention is paid to the way that Fichte categorizes them with the help of 5 spheres of action or 5 worldviews. The third and final part of the article discusses how Hegel goes beyond the frame of the transcendental philosophy of consciousness using different demands linked to the concepts of “reason” and “ideas”. Although these requirements are not found in Kant and Fichte, they entail a set of difficulties, which the author considers in conclusion. The author’s interpretation of the theory of ideas and their functions in Kant, Fichte and Hegel demonstrates the dynamic character of the theories of reason in classical German philosophy, as well as the relevance of the 7 types of ideas that retain their significance for philosophy of the 21st century. Keywords: Kant and German idealism, types of ideas, functions of reason, worldviews, the problem of different demands. В Германии на протяжении последних двух десятилетий возрос интерес к трансцендентальной диалектике «Критики чистого разума». Однако авторы часто не обращают внимания на то, что кантовская теория разума (в узком смысле), в которой разворачивается работа с идеями, не ограничивается этим текстом. Целью данной статьи является сравнительный анализ разработанной Кантом и Фихте функциональности разума как субъективной способности с гегелевским расширением разума до идеи всеобщей разумности. Актуальность такого сравнения связана с необходимостью продемонстрировать то, каким образом гегелевская парадигма абсолютной разумности вызывает либо последующий отказ от разума как философского принципа в контрдискурсе XIX–XX вв., либо редукцию разума к понятию прагматической рациональности. В первой части данной статьи вводится различение по меньшей мере семи различных видов идей и связанных с ними функций в философии Канта. Во второй части демонстрируется попытка Фихте их систематизировать исходя из утверждения том, что разум должен сначала создать идею о самом себе. Проанализировано также предложенное Фихте распределение идей на пять сфер действенности или типов мировоззрения. В третьей, итоговой части статьи рассмотрен выход гегелевской мысли за рамки трансцендентальной философии сознания. Автор статьи связывает этот процесс с выдвижением не осуществимых в контексте философии Канта и Фихте требований к понятиям «разум» и «идея» и анализирует ряд сложностей, вызванных этими требованиями. Таким образом, интерпретация учения об идеях и их функциях у Канта, Фихте и Гегеля демонстрирует динамический характер теорий разума в классической немецкой философии и актуальность семи видов идей, которые сохраняют свое значение для философии XXI в. Ключевые слова: Кант и немецкий идеализм, виды идей, функции разума, мировоззрение, проблема различных требований. (shrink)

Commentators such as Kemp Smith (1941), Mendelbaum (1974), and Bricke (1980) have taken the distinctions of reason to pose either a counterexample to or a limitation of scope on the Separability Principle. This has been convincingly addressed by various accounts such as Garrett (1997), Hoffman (2011), and Baxter (2011). However, I argue in this paper that there are two notions of ‘distinction of reason’, one between particular instantiations (token distinctions of reason) and one between general ideas (type distinctions of (...) reason). Discussion of the distinctions of reason in the secondary literature has without fail focused on token distinctions of reason, but I will argue that type distinctions of reason prove problematic for Hume’s Separability Principle. I find a way around this problem that is consonant with Hume’s account of general ideas, but which can hardly be said to be an account which he explicitly or even implicitly endorsed. (shrink)

This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of ‚faith’ and ‚action’, and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter or (...) matters of social importance. After outlining the main ideas and basic assumptions of the theoretical conception of the LF&D as an axiomatic theory, the author introduces some axiom systems for: 1) the logics of faith LF, 2) the logic of deed LD, and 3) certain logics of norms DL connected with „duties” and concerning actions/deeds. Lastly, the paper outlines the scientific LF&D based on the three types of logic 1)–3). (shrink)

Type identity theory was dismissed in 1967 by many philosophers due to Hilary Putnam’s multiple realisability objection seeming fatal. This paper delves into a critique of type identity theory, thereby paving the way for introducing an alternative theory of mind: emergentism. The longstanding philosophical discourse around the mind has been dominated by the binary opposition of classical physicalist and dualist theories. However, the impact of scientific discovery on contemporary thought has sparked an increasing inclination towards reductive physicalist frameworks, with the (...) aim of aligning with the scientific method. Thus, contemporary thinkers have branched out to explore new physicalistic ideas. This paper examines the inherent challenges in all reductive physicalist theories, shedding light on their limitations and proposing potential solutions to overcome the obstacles. This analysis demonstrates that type identity theory, akin to its reductive counterparts, fails to accommodate for the irreducibility of consciousness. This is consciousness as characterised by Thomas Nagel’s “what is it likeness” of experience, which is inherently subjective. Instead, this paper contends that emergentism offers a compelling alternative despite being a physicalist theory. It posits consciousness as a higher-order phenomenon, one that transcends reduction to its constituent components. I argue that this attribute of emergentism makes it a promising theory in the ongoing quest for an understanding of the mind and consciousness. (shrink)

In his genetic phenomenology, Husserl introduces types, pre-predicative frames of experience that guide the perception and cognition of objects. In this essay, I argue that there are two types that are functionally almost identical to Kant’s schemata. To support this conclusion, I first present an interpretation of Kant’s discussion of schemata. I argue that we must see schemata as pure, a priori cognitions that involve only pure intuition, pure concepts of the understanding, and the imagination. I offer two (...) analogies to explain how schemata function to subsume objects under concepts and to anticipate possible objects of experience before moving on to discuss the schema of substance. Next, I present a brief explanation of Husserl’s genetic phenomenology, organizing my presentation around the idea of apperception. This paves the way for a demonstration of how the fundamental type is best understood as standing at the center of a cluster of concepts, including apperception, passive belief, natural bodies, and the one spatio-temporal horizon of experience. I argue that the fundamental type is central to Husserl’s attempt to ground logic in pre-predicative experience. Finally, I compare two specific types with schemata on the grounds cultivated in the previous sections. The first of these types, the fundamental type, functions to pre-predicatively anticipate objects of possible experience, just as schemata do. The second of these types, which is implied by but never discussed in Husserl’s work, serves to mediate between a formal system of rules and an intuitive grasp of the world, just as schemata do. (shrink)

Locke endorses a distinction between passive reflection and voluntary attentive reflection, which he occasionally labels contemplation. Failure to recognize this distinction properly has had an effect on interpretations of Locke’s theory of reflection, and caused puzzlement about the relation between reflection and consciousness. In particular, the function of reflection as a passive internal sense that produces simple ideas of mental operations has been downplayed in favour of the view that reflection in one manner or another involves attention and/or presupposes (...) consciousness of mental operations. This has led a number of scholars to maintain, implicitly or explicitly, that Locke in fact abandons either his doctrine of sensation and reflection as the two exclusive sources of ideas or his doctrine of ideas as the only immediate objects of experience. -/- With the help of a distinction between reflection as a source of ideas and reflection as an operation about ideas I aim to show how Locke can hold to his empiricist maxim about the two sources of ideas and also endorse ideas as the only immediate objects of experience. A proper understanding of Locke’s theory of reflection requires that reflection and consciousness be delineated with respect to one another. I will show how Locke’s notion of consciousness differs from both types of reflection. (shrink)

Granting that there could be true subjunctive conditionals of libertarian freedom (SCLs), I argue (roughly) that there could be such conditionals only in connection with individual "possible creatures" (in contrast to types). This implies that Molinism depends on the view that, prior to creation, God grasps possible creatures in their individuality. In making my case, I explore the notions of counterfactual implication (that relationship between antecedent and consequent of an SCL which consists in its truth) and counterfactual relevance (that (...) feature of an antecedent in virtue of which it counterfactually implies something or other). (shrink)

This paper discusses the theoretical assumptions behind the conception of the logic of faith and deed (LF&D) and outlines its formal-axiomatic frame and its method of construction, which enable us to understand it as a kind of deductive science. The paper is divided into several sections, starting with the logical analysis of the ambiguous terms of 'faith’ and 'action', and focusing in particular on the concepts of religious faith and deed as a type of conscious activity relating to a matter (...) or matters of social importance. After outlining the main ideas and basic assumptions of the theoretical conception of the LF&D as an axiomatic theory, the author introduces some axiom systems for: 1) the logics of faith LF (doxastic logics), 2) the logic of deed LD, and 3) certain logics of norms DL (deontic logics) connected with "duties" and concerning actions/deeds. Lastly, the paper outlines the scientific LF&D based on the three types of logic 1)-3). (shrink)

The guise of the good is the thesis that an agent can only want, or intentionally do or pursue something, if and because this seems good to the agent in some respect or other. Bernard Williams criticizes the guise of the good in Ethics and the Limits of Philosophy. In this paper I reconstruct and assess his hitherto unnoticed critical remarks. Williams's opposition is based on the idea that it takes an “extra step” to go from desiring or pursuing something (...) to thinking of it as good. To show this, he employs an argument from elimination (with two strands: an argument from personal ends and an argument from immediate ends), and a separate argument which I call the one‐desire argument. I review and reject two types of answers to Williams's objections: answers that explore different varieties of what it can mean to “think of as good,” and answers that focus on different varieties of goodness under the guise of which one can desire something. I then consider whether a different, but nearby thesis, namely the guise of normative reasons, can accommodate Williams's objections, concluding that this alternative also fails. I end by looking at how this debate might move forward. (shrink)

The philosophy of hope centers on two interlocking sets of questions. The first concerns the nature of hope. Specific questions here include how to analyze hope, how hope motivates us, and whether there is only one type of hope. The second set concerns the value of hope. Key questions here include whether and when it is good to hope and whether there is a virtue of hope. Philosophers of hope tend to proceed from the first set of questions to the (...) second. This is a natural approach, for one might expect that you must develop a basic understanding of what hope is before you can determine its value. The structure of this chapter thus follows this approach. But readers should not be misled: there is in fact a good deal of feedback between the two sets of questions. A theory of hope is more plausible to the extent that it fits well with plausible ideas about the value of hope. So the movement from hope’s nature to its value is one of emphasis rather than a strict, step-wise process. (shrink)

A detailed axiomatisation of diagrams (in affine geometry) is presented, which supports typing of geometric objects, calculation of geometric quantities and automated proof of theorems.

My aim is to look into the representational aspect of ideas, exploring not only to what Hume refers as adequate ideas, but also these cases where for a number of reasons an idea does not reach that standard. It has been suggested that the latter are fictions, but an in-depth examination of Hume texts reveals that there are several types of imperfections, such as incompleteness or imprecision that prevent an idea from being adequate. This leads to an (...) analysis of the status of supposed or pretended ideas, and the possibility of there being terms with no ideas annexed to them. (shrink)

In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version of the (...) type-identity theory. (shrink)

ABSTRACT In this paper, I present data involving the use of the Romanian slur ‘țigan’, consideration of which leads to the postulation of a sui-generis, irreducible type of use of slurs. This type of use is potentially problematic for extant theories of slurs. In addition, together with other well-established uses, it shows that there is more variation in the use of slurs than previously acknowledged. I explain this variation by construing slurs as polysemous. To implement this idea, I appeal to (...) a rich-lexicon account of polysemy. I show how such a theory can be applied to slurs and discuss several important issues that arise. (shrink)

If each of the subtypes of autism is defined simply as constituted by a set of symptoms, then the criteria for its observation are straightforward, although, of course, some of those symptoms themselves might be hard to observe definitively. Compare with telling whether or not someone is bleeding: while it might be hard to tell if someone is bleeding internally, we know what it takes to find out, and when we have the right access and instruments we can settle the (...) issue. But matters are not so simple for the autism subtypes. For one thing, how do we settle which symptoms to group together under one heading? One key difference between “autism disorder” and “Asperger’s disorder” is that the former exhibit language delays (sometimes extreme), whereas the latter do not. But is that a sign of genuinely distinct conditions or is that an artifact of the distinct groups of subjects that Leo Kanner and Hans Asperger worked with? And in general, although there are certainly types of behavior that are taken to be indicative of autism, none by itself is taken by diagnosticians to be either necessary or sufficient for a definitive diagnosis for any of the autism subtypes. What is the diagnostician to do? This is not merely an academic issue, as many parents can attest. Are we in a situation, then, that each practitioner has his or her own “pet” signs that are the “real keys” to the diagnosis? That would suggest that the term “autistic” might meet the fate of the outdated term “neurotic,” which turned out to be a pseudo-scientific term for an inexact clumping together of unrelated phenomena. The assumption amongst specialists seems to be that we will reach the point with "autism" that we have with "water": there will be a root essence to autism whose presence or absence settles a diagnosis. If that is to be the case, however, we have to settle the level of application of the concept. Does the term apply to people who exhibit particular behaviors? Or is it possible to exhibit “autistic” behaviors without actually being autistic, because autism is instead a particular feature of the mind (as, for example, in Baron-Cohen’s “impaired theory of mind module” theory, discussed below) which usually but not necessarily has behavioral effects? Or is autism located instead in the brain, perhaps in damage to key areas, which in turn would typically have an effect on modules of the mind? Or perhaps autism is located in genetics or biology, so that some people with damage to the brain caused by accidents so that they exhibit autistic symptoms would not actually be autistic. Conversely, supposing one had an “autistic brain” but showed none of (or not a sufficient number of) the symptoms, would one not be autistic? The assumption is that the genotypes and phenotypes will line up neatly, but if they do not, what happens to the concept “autistic?” (There is an analogy in the philosophy of sex and gender: androgen insensitive individuals tend to self-identify as female and have outward female traits, but have XY chromosomes—should we go with chromosomes or self-identity in assigning sex category?) Finally, the implications for these complications for diagnosis and categorization, with the attendant social and medical implications is discussed. The typical assumption of the medical profession is that autism cannot be “cured.” That assumes that autism is not simply the symptoms. However, at the same time, the tests used to diagnose ASDs work simply from the symptoms (for example, Baron-Cohen’s Sally/Anne test, which ASD children of a certain age almost all fail, but which practically no ASD adult fails). This implies an inherent confusion over the status of the concept. I conclude that attempts to make sense of some true or accurate summary of what it is to be autistic (such as one would find in the DSM) are almost certainly misguided and will vanish into history along with “neurotic.” But as with racial terms, which are similarly shifting and perverse, the term has already passed into the public sphere and will have a lasting and dangerous influence beyond its short scientific shelf-life. (shrink)

‘What is characteristic of every mental activity’, according to Brentano, is ‘the reference to something as an object. In this respect every mental activity seems to be something relational.’ But what sort of a relation, if any, is our cognitive access to the world? This question – which we shall call Brentano’s question – throws a new light on many of the traditional problems of epistemology. The paper defends a view of perceptual acts as real relations of a subject to (...) an object. To make this view coherent, a theory of different types of relations is developed, resting on ideas on formal ontology put forward by Husserl in his Logical Investigations and on the theory of relations sketched in Smith's "Acta cum fundamentis in re". The theory is applied to the notion of a Cambridge change, which proves to have an unforeseen relevance to our understanding of perception. (shrink)

This article is devoted to the philosophical study of the conditions under which knowledge can become a component or tool of education. The presentation of the contribution of epistemology to human development and education is based on addressing issues such as the nature of knowledge, sources of knowledge, theories, and criteria of truth. We proceed from the idea that knowledge is a condition of education. Particular attention is paid to the issue of distinguishing between such types of knowledge as (...) 'knowing how’ and ‘knowing that'. Educational practices open a common foundation that unites the life world of people, types of sociality, and hermeneutical practices. The epistemological approach to the question of the essence of knowledge assumes that knowledge meets three requirements, namely, knowledge must be objective, subjective, and evidentiary. Epistemology includes subjectivity as the basis of human existence in the natural world and the world with others. Intersubjectivity is considered a criterion for the reliability of knowledge about the world, which allows asserting the relationship of the objective with the subjective. (shrink)

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction (...) of the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

The fact that Gilbert Ryle and J.L. Austin seem to disagree about the ordinary use of words such as ‘voluntary’, ‘involuntary’, ‘voluntarily’, and ‘involuntarily’ has been taken to cast doubt on the methods of ordinary language philosophy. As Benson Mates puts the worry, ‘if agreement about usage cannot be reached within so restricted a sample as the class of Oxford Professors of Philosophy, what are the prospects when the sample is enlarged?’ (Mates, Inquiry 1:161–171, 1958, p. 165). In this chapter, (...) we evaluate Mates’s criticism alongside Ryle’s and Austin’s specific claims about the ordinary use of these words, assessing these claims against actual examples of ordinary use drawn from the British National Corpus (BNC). Our evaluation consists in applying a combination of methods: first aggregating judgments about a large set of samples drawn from the corpus, and then using a clustering algorithm to uncover connections between different types of use. In applying these methods, we show where and to what extent Ryle’s and Austin’s accounts of the use of the target terms are accurate as well as where they miss important aspects of ordinary use, and we demonstrate the usefulness of this new combination of methods. At the heart of our approach is a commitment to the idea that systematically looking at actual uses of expressions is an essential component of any approach to ordinary language philosophy. (shrink)

The debate around the notions of a priori knowledge and a posteriori knowledge has proven crucial for the development of many fields in philosophy, such as metaphysics, epistemology, metametaphysics etc. We advocate that the recent debate on the two notions is also fruitful for man-made distributed computing systems and for the epistemic analysis thereof. Following a recently proposed modal and fallibilistic account of a priori knowledge, we elaborate the corresponding concept of a priori belief: We propose a rich taxonomy of (...) types of a priori beliefs and their role for the different agents that participate in the system engineering process, which match the existing view exceedingly well and are particularly promising for explaining and dealing with unexpected behaviors in fault-tolerant distributed systems. Developing such a philosophical foundation will provide a sound basis for eventually implementing our ideas in a suitable epistemic reasoning and analysis framework and, hence, constitutes a mandatory first step for developing methods and tools to cope with the various challenges that emerge in such systems. (shrink)

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

There is, among some scientists and philosophers, the idea that any theory that would allow the time travel would introduce causal issues. These types of temporal paradoxes can be avoided by the Novikov self-consistency principle or by a variation in the interpretation of many worlds with interacting worlds. The world in which we live has, according to David Lewis, a Parmenidean ontology: "a manifold of events in four dimensions," and the occupants of the world are the 4-dimensional aggregates of (...) the stages - "temporal lines". The causal loops in backwards time travel involve events that appear to "come from nowhere," paradoxical "self-existent" objects or information, resulting in a bootstrap paradox. Many believe that causality loops are not impossible or unacceptable, but only inexplicable. DOI: 10.13140/RG.2.2.28792.70407. (shrink)

In this paper, drawing on evidence internal to the Platonic dialogues (supplemented with some ancient testimonia), I answer the question, “How did Plato teach in the Academy?” My reconstruction of Plato’s pedagogy in the Academy is that there was a single person who read the dialogue aloud like a rhapsode (this is in contrast to the dramatic theatrical hypothesis, in which several speakers function as actors in the performance of a dialogue). After the rhapsodic reading, students were allowed to ask (...) that portions of the text to be re-read, to ask a question about the text, and were encouraged to enter into a broader conversation about the topic and themes brought out by the text. This later pedagogical method of interrogating and investigating a dialogue is of more importance than the mere reading of a dialogue. I contend that Plato’s experiences teaching were woven into some of the dialogues, and that Plato’s pedagogy reflects some of the ways that he taught in the Academy. I propose that excellent points made by students may have been written into revised forms of the dialogue. And not only good points, but also mistakes in reasoning may have been added into the dialogues. I suggest that the way certain dialogues are organized with “guest lecturers” and “tag-team” philosophical debates reflect Plato’s pedagogy in the Academy. Plato’s broadmindedness, his openness to various and opposing viewpoints, is also evident from both outside and inside of the dialogue. Lastly, drawing on the idea of Socratic mimēsis, I give a plausible curriculum for how Plato may have used the dialogues to teach them: he had his students “play” with them. Plato may have asked his students to enter into the roles of the characters in the dialogues to better understand them and the type of person they represent. Plato may have also asked students to take over from the position of the character in the dialogue and to suggest a better, truer account of things than what the characters said or did. (shrink)

Interactions between an intelligent software agent and a human user are ubiquitous in everyday situations such as access to information, entertainment, and purchases. In such interactions, the ISA mediates the user’s access to the content, or controls some other aspect of the user experience, and is not designed to be neutral about outcomes of user choices. Like human users, ISAs are driven by goals, make autonomous decisions, and can learn from experience. Using ideas from bounded rationality, we frame these (...) interactions as instances of an ISA whose reward depends on actions performed by the user. Such agents benefit by steering the user’s behaviour towards outcomes that maximise the ISA’s utility, which may or may not be aligned with that of the user. Video games, news recommendation aggregation engines, and fitness trackers can all be instances of this general case. Our analysis facilitates distinguishing various subcases of interaction, as well as second-order effects that might include the possibility for adaptive interfaces to induce behavioural addiction, and/or change in user belief. We present these types of interaction within a conceptual framework, and review current examples of persuasive technologies and the issues that arise from their use. We argue that the nature of the feedback commonly used by learning agents to update their models and subsequent decisions could steer the behaviour of human users away from what benefits them, and in a direction that can undermine autonomy and cause further disparity between actions and goals as exemplified by addictive and compulsive behaviour. We discuss some of the ethical, social and legal implications of this technology and argue that it can sometimes exploit and reinforce weaknesses in human beings. (shrink)

The central thesis of my article is that people live a life worthy of a human being only as self-ruling members of some autarchic (or self-governing) communities. On the one hand, nobody is born as a self-ruling individual, and on the other hand, everybody can become such a person by observing progressively the non-aggression principle and, ipso facto, by behaving as a moral being. A self-ruling person has no interest in controlling her neighbors, but in mastering his own impulses, needs, (...) wishes, desires, behaviors, etc. Inasmuch as he is an imperfect being who lives in an imperfect world, he needs to share certain interests, beliefs, values, customs and other characteristics with other people, i.e. to be involved in some communities. Depending on the following four criteria – the regulatory principle, the essential resources, the specific feedback and the fundamental values –, the countless and manifold human communities can be grouped in three categories: (1) affinity communities, (2) economic communities, and (3) civic communities. In other words, every community or human behavior has an affinity, an economic, and a civic dimension. If a civic community is merely a state shaped society, it can be called a political community. All communities are intrinsically variable. Throughout time, they ceaselessly change their composition, values, interpersonal processes and relations, territory, etc. Interestingly enough, the variability is unanimously recognized and accepted in affinity and communities economic, but is denied or abusively interpreted in the case of state shaped societies. If we confuse two types of order − cosmos and taxis – and two types of rule – nomos and thesis –, as well as we exaggerate the importance of certain type of community we bring some social maladies, namely the traditionalism, the commercialism and the civism, (with the worst form of it – the politicality). Whatever the communities they are involved in, all persons relate (implicitly or explicitly) to the libertarian non-aggression principle, living their life in strict accordance with the logical implications of the position they adopt. People who respect the non-aggression axiom necessarily manifest self-control, consideration for the life and property of the others, commitment to offer value for value, love of freedom and a high level of individual responsibility. By contrast, people who violate this axiom – the villains and the statists – invariably strive to control their neighbors, behave as parasites or predators, prefer forced exchanges, reject the personal responsibility (at most accepting the idea of social responsibility), and apply double moral standards. The first category of people generates a libertarian civic discourse as a spontaneous order, and the second creates a political/ statist civic discourse as a result of the human design and will to power. As a spontaneous order, the libertarian civic discourse implies free involvement, peaceful coordination, free expression, free reproduction of ideas and the power of one. Every communication performance in the frame of the libertarian civic discourse is important and has relevant results. All participants to the libertarian civic discourse are automatically members of some self-governing communities (at least members of the general libertarian community). The most important thing for these communities is to be connected to a communicational infrastructure which would make possible free involvement, free expression and the free reproduction of ideas. Inasmuch as today democracy means the tyranny of majority and participatory democracy the tyranny of majority plus the power of vested (and illegitimate) interests, only the emergence of self-governing communities by libertarian discourse offers us a little hope. It’s high time to fall in love (again) with liberty and to embrace the non-aggression principle. We don’t have to create a perfect world, but we can strive to develop our human nature. (shrink)

This paper argues that there are two irreducibly distinct negative concepts of liberty: freedom as non-prevention, and freedom as non-coercion. Contemporary proponents of the negative view, such as Matthew Kramer and Ian Carter, have sought to develop the Hobbesian idea that freedom is essentially a matter of physical non-prevention. Accordingly, they have sought to reduce the freedom-diminishing effect of coercion to that of prevention by arguing that coercive threats function to diminish freedom by preventing people from performing certain combinations of (...) actions. Against this, this paper argues that coercion diminishes people’s freedom in ways that cannot be fully captured in terms of prevention. Focusing on two types of case, those involving coercive threats and those involving coercive preference manipulation, it argues that non-coercion and physical non-prevention are importantly different goods. It concludes that a complete negative account of liberty must draw not only on the (Hobbesian) ‘non-prevention’ strand of the negative tradition but also on its (Hayekian) ‘non-coercion’ strand. (shrink)

The idea that causation involves the production of changes due to the exertion of influence of something on something else—the core idea of causal realism—used to be the default view. Today this idea is at the heart of (i) transmission/causal process accounts, (ii) mechanistic accounts, and (iii) powers-based accounts. However, as I have previously argued (Ingthorsson 2021) the above-mentioned approaches are based—to varying degree—on the very problematic assumption that causal influence is essentially unidirectional; that it passes from whatever is the (...) cause to the effect. As first pointed out be Mario Bunge (1959), the idea that causal influence is unidirectional is incompatible with what is today considered a scientific fact, notably that all interactions are perfectly reciprocal; whenever any object exerts an influence on any other object, the latter simultaneously exerts the same kind of influence, of the same magnitude, on the former. Drawing on Bunge’s result, I have developed a fourth approach to efficient causation that accepts the reciprocity of interactions (Ingthorsson 2002 & 2021). According to this view a cause is not the action of something on something else that receives the influence, but the reciprocal action between powerful particulars which results in a modification of both sides, producing a new state of affairs. In this paper, I present the core ideas of the four different approaches to causal efficacy, what I think is problematic with the first three and finally attempt to compare how well the four approaches fare in explaining two often discussed types of causal interactions: (i) collisions between billiard balls, and (ii) how water dissolves salt. I argue that only reciprocal actions between powerful particulars can plausibly claim to fully account for these phenomena, in a manner compatible with the theories and findings of the natural sciences. (shrink)

Together we can achieve things that we could never do on our own. In fact, there are sheer endless opportunities for producing morally desirable outcomes together with others. Unsurprisingly, scholars have been finding the idea of collective moral obligations intriguing. Yet, there is little agreement among scholars on the nature of such obligations and on the extent to which their existence might force us to adjust existing theories of moral obligation. What interests me in this paper is the perspective of (...) the moral deliberating agent who faces a collective action problem, i.e. the type of reasoning she employs when deciding how to act. I hope to show that agents have collective obligations precisely when they are required to employ ‘we-reasoning’, a type of reasoning that differs from I-mode, best response reasoning, as I shall explain below. More precisely, two (or more) individual agents have a collective moral obligation to do x if x is an option for action that is only collectively available (more on that later) and each has sufficient reason to rank x highest out of the options available to them. (shrink)

There is some intuitive plausibility to the idea that composers create musical works by indicating sonic types in a historical context. But the idea is technically indefensible as it stands, requiring a thorough representational reform that also eliminates the type-theoretic commitments of current versions. On the reformed account, musical 'indication' is an operation of high level representational interpretation of concrete sounds, that can both explain the creativity of composers, and the often successful interpretations of their listeners. This approach also (...) bypasses contentious issues regarding the status of both indicated and 'initiated' types, as extensively discussed in the BJA. (shrink)

In contrast to individualistic explanations of social injustice that appeal to implicit attitudes, structural explanations are unintuitive: they appeal to entities that lack clear ontological status, and the explanatory mechanism is similarly unclear. This makes structural explanations unappealing. The present work proposes a structural explanation of one type of injustice that happens in conversations, discursive injustice. This proposal meets two goals. First, it satisfactorily accounts for the specific features of this particular kind of injustice; and second, it articulates a structural (...) explanation that overcomes their unattractiveness. The main idea is that discursive injustice is not the result of biased interlocutors, but of problematic discursive norms. (shrink)

I argue that Husserl’s concept of position-taking, Stellungnahme, is adequate to understand the idea of second nature as an issue of philosophical anthropology. I claim that the methodological focus must be the living subject that acts and lives among others, and that the notion of second nature must respond to precisely this fundamental active character of subjectivity. The appropriate concept should satisfy two additional desiderata. First, it should be able to develop alongside the biological, psychological, and social individual development. Second, (...) it should be able to underlie the vast diversity of human beings within and across communities. As possible candidates, I contrast position-taking with two types of habit-like concepts: instinct and habitus, on the one hand, and customary habits, on the other. I argue that position-taking represents the active aspect of the subject while the habit-like concepts are passive. A subject’s position-takings and ensuing comportments are tied together by motivations, which evince a certain consistency, and for this reason are expression of the subject’s identity. I conclude by nuancing the relation between Stellungnahme and passivity. Passivity is deemed necessary to action but subservient to it; position-taking is thought to be prior to passivity. (shrink)

Illusionism claims that we are not conscious, that there is nothing it is like, in the usual sense of the word, to feel sad, or to smell lavender. According to Illusionists, we are, in a technical sense, zombies. Instead of arguing for the falsity of Illusionism directly, I will explain why the main philosophical motivations for it are mistaken – and I trust the rest will be taken care of by the extreme implausibility of the view. I want to spread (...) the good news to Illusionists that they don’t need to resort to this highly counterintuitive, strange, and as I will argue later, morally corrosive idea. One can be a physicalist and phenomenal realist since neither of the two types of arguments Illusionists rely on – the conceivability arguments, and the debunking arguments against physicalist phenomenal realism – work. In the last part of the paper, I will say something about the corrosive effect this metaphysics has on our moral and evaluative outlook. (shrink)

In this article, we describe the notion of dialogue move intended as the minimal unit for the analysis of dialogues. We propose an approach to discourse analysis based on the pragmatic idea that the joint dialogical intentions are also co-constructed through the individual moves and the higher-order communicative intentions that the interlocutors pursue. In this view, our goal is to bring to light the pragmatic structure of a dialogue as a complex net of dialogical goals, which represent the communicative purposes (...) that the interlocutors intend to achieve through their utterances. Dialogue moves are shown to represent the necessary interpretive link between the general description of the dialogical context or type and the syntactical analysis of the sentences expressed by the individual utterances. In the concluding part of this article, we show how this method can be used and further developed for analyzing various types of real-life dialogues, outlining possible uses and lines of empirical research based thereon. (shrink)

This paper focuses on three theories of personal identity that incorporate the idea that personal identity is the result of a person’s adopting certain attitudes towards certain mental states and actions. I call these theories subjective theories of personal identity. I argue that it is not clear what the proponents of these theories mean by “personal identity”. On standard theories, such as animalism or psychological theories, the term “personal identity” refers to the numerical identity of persons and its analysis provides (...) the persistence conditions for persons. I argue that if the subjective theories purport to provide a criterion of numerical personal identity, they fail. A different interpretation may suggest that they purport to provide a non-numerical type of identity for the purpose of providing plausible analyses of certain identity-related practical concerns. I argue that the criteria the subjective theories provide fail to capture several of the identity-related concerns. As a result, this interpretation must be rejected as well. (shrink)

The article deals with the problem of the divine light in the mystical works of St Symeon the New Theologian in the context of the Eastern Christian ascetical tradition. The author focuses on the passages referring to the divine light in the works of Evagrios Pontikos, St Isaac the Syrian, St Maximus the Confessor, and in the Makarian corpus. As is shown in the present contribution, none of these authors created a fully-developed theory of the vision of the divine light. (...) Being close to these writers in many ideas, St Symeon was generally independent of any of them in his treatment of the theme of vision of light, always basing himself primarily upon his own experience. (shrink)

Most defenders of the new mechanistic approach accept ontic constraints for successful scientific explanation (Illari 2013; Craver 2014). The minimal claim is that scientific explanations have objective truthmakers, namely mechanisms that exist in the physical world independently of any observer and that cause or constitute the phenomena-to- be-explained. How can this idea be applied to type-level explanations? Many authors at least implicitly assume that in order for mechanisms to be the truthmakers of type-level explanation they need to be regular (Andersen (...) 2012; Sheredos 2015). One problem of this assumption is that most mechanisms are (highly) stochastic in the sense that they “fail more often than they succeed” (Bogen 2005; Andersen 2012). How can a mechanism type whose instances are more likely not to produce an instance of a particular phenomenon type be the truthmaker of the explanation of that particular phenomenon type? In this paper, I will give an answer to this question. I will analyze the notion of regularity and I will discuss Andersen's suggestion for how to cope with stochastic mechanisms. I will argue that her suggestion cannot account for all kinds of stochastic mechanisms and does not provide an answer as to why regularity grounds type-level explanation. According to my analysis, a mechanistic type- level explanation is true if and only if at least one of the following two conditions is satisfied: the mechanism brings about the phenomenon more often than any other phenomenon (comparative regularity) or the phenomenon is more often brought about by the mechanism than by any other mechanism/causal sequence (comparative reverse regularity). (shrink)

How does one formalize the structure of structures necessary for the foundations of physics? This work is an attempt at conceptualizing the metaphysics of pregeometric structures, upon which new and existing notions of quantum geometry may find a foundation. We discuss the philosophy of pregeometric structures due to Wheeler, Leibniz as well as modern manifestations in topos theory. We draw attention to evidence suggesting that the framework of formal language, in particular, homotopy type theory, provides the conceptual building blocks for (...) a theory of pregeometry. This work is largely a synthesis of ideas that serve as a precursor for conceptualizing the notion of space in physical theories. In particular, the approach we espouse is based on a constructivist philosophy, wherein ``structureless structures'' are syntactic types realizing formal proofs and programs. Spaces and algebras relevant to physical theories are modeled as type-theoretic routines constructed from compositional rules of a formal language. This offers the remarkable possibility of taxonomizing distinct notions of geometry using a common theoretical framework. In particular, this perspective addresses the crucial issue of how spatiality may be realized in models that link formal computation to physics, such as the Wolfram model. (shrink)

This paper argues for the idea that in describing language we should follow Haskell Curry in distinguishing between the structure of an expression and its appearance or manifestation . It is explained how making this distinction obviates the need for directed types in type-theoretic grammars and a simple grammatical formalism is sketched in which representations at all levels are lambda terms. The lambda term representing the abstract structure of an expression is homomorphically translated to a lambda term representing its (...) manifestation, but also to a lambda term representing its semantics. (shrink)

Anthropological problems are among the eternal problems of philosophy. This issue is especially actualized at critical moments in the development of society. This is the period humanity is going through today. The revival of anthropocentric types of research, finding new ways and a holistic approach to human research proves the relevance of this study. Humanity is once again experiencing a paradigm shift in world history. The first quarter of the XXI century showed itself as an intensification of globalization processes, (...) which in turn led to multiple ups and downs of cultural and social life. The idea of a polycentric, multipolar world remained only in the mode of a categorical imperative. The coming form of human existence, if it takes place, should not only restore to people the meaning lost during the industrial civilization, but also avoid the costs of a dangerous alliance of information technology and biotechnology. In the context of the next threat of total war and the threat of a split in the world, an appeal to comparative philosophy should contribute to the final approval of such a worldview, which is based on the value of human life, brotherhood and spiritual unity of all people. The modern, global world is characterized by the inevitable interpenetration of cultures, the erasure of the boundaries of cultural areas. The article provides a comparative analysis of modern philosophical and anthropological concepts. Speaking as an approach and method, philosophical comparative studies continue its development in philosophical and anthropological knowledge, where it becomes one of the methodological directions. The article analyzes the modern anthropological concepts of the West, which have found their reflection in the concept of mental causality by D. Kim and in the concept of "homo compensator" by O. Marquard. And also carried out a philosophical analysis of the philosophical and anthropological concepts of the East, which are reflected in the works of the Chinese philosopher F. Yulan, in Japanese existentialism N. Kitaro and in the concept of "hoodie" M. Iqbal. (shrink)

In the development of Indian Buddhism we begin to see a shift away from the early Buddhist epistemology based in phenomenology and process metaphysics toward a type of event-based metaphysics. This shift began in the reductionist methodology of the Abhidhamma and culminated in a theory of momentariness based in rationalism and abstraction, rather than early Buddhist empiricism. While early Buddhism followed an extensional model of temporal consciousness, when methodological reductionism was applied to the concept of time, it necessarily resulted in (...) a cinematic model of temporal consciousness like that of the Sautrāntikas or in an idea of the tri-temporal existence of dhammas, like that of the Sarvāstivādins. It is in the accounting of the process of karmic rebirth that we can most clearly see the effects of this shift. -/- The development of a theory of momentariness was incorporated into the Visuddhimagga by Buddhaghosa. In Buddhaghosa’s treatment of karmic rebirth, karma, particularly death-threshold karma, receives more emphasis in the process of rebirth than was previously found in the Suttas. The incorporation of “duration-less duration” via tritemporal existence by Buddhaghosa became necessary in order to explain karmic continuity in the rebirth process while retaining the concept of momentariness. (shrink)

This paper will provide information about the concrete brand produced in the factory for the prefabricated elements and the comparison of the results given by the test of resistance to compression and the results of the test of the hammer impact of the sclerometer. The idea and the need to conduct this study arose for 2 main reasons: first, from the poor results often obtained from sclerometer impact to the elements in the field, despite the compression resistance test with cubic (...) samples taken in the concrete cast and the carrot test directly on the element assembled in the building provides good results. Secondly, to have a connection between the values of the concrete brand resulting from the pressure resistance test with a press performed in the laboratory and the impact test with the sclerometer hammer which is often performed in the field under different conditions. The sclerometer impact tests will be performed on each cube sample before it is broken, in the press, and the sclerometer impact tests will be performed on the concrete elements from which the cube sample was taken on the day that this sample will be destroyed. The predicted results are relatively close values related to the age between14th day and the 28th day of the concrete maturity, as determined by the manual of the sclerometer that the study is going to use, and other values for the other days (1, 3,7,14,28). But in fact, just like in the field tests done before, it is noticed that the results obtained from the blows with the sclerometer hammer are weak. The aim of the paper is to find a logical connection between the results of these 2 types of tests. This study will contain information on the composition of the concrete produced in the IXHEM SHPK factory (ltd) located in Durres-Albania, the brands of concrete on different days for different elements, and the comparison of the results between the 2 methods mentioned above. (shrink)

In the last 20 years, a stream of research emerged under the label of „complex problem solving“ (CPS). This research was intended to describe the way people deal with complex, dynamic, and intransparent situations. Complex computer-simulated scenarios were as stimulus material in psychological experiments. This line of research lead to subtle insights into the way how people deal with complexity and uncertainty. Besides these knowledge-rich, realistic, intransparent, complex, dynamic scenarios with many variables, a second line of research used more simple, (...) knowledge-lean scenarios with a low number of variables („minimal complex systems“, MCS) that have been proposed recently in problem-solving research for the purpose of educational assessment. In both cases, the idea behind the use of microworlds is to increase validity of problem solving tasks by presenting interactive environments that can be explored and controlled by participants while pursuing certain action goals. The main argument presented here is: both types of systems - CPS and MCS – can only be dealt with successfully if causal dependencies between input and output variables are identified and used for system control. System knowledge is necessary for control and intervention. But CPS and MCS differ in their way of how causal dependencies are identified and how the mental model is constructed; therefore, they cannot be compared directly to each other with respect to the cognitive processes that are necessary for solving the tasks. Knowledge-poor MCS tasks address only a small fraction of the cognitive processes and structures needed for knowledge-rich CPS situations. (shrink)

To understand something involves some sort of commitment to a set of propositions comprising an account of the understood phenomenon. Some take this commitment to be a species of belief; others, such as Elgin and I, take it to be a kind of cognitive policy. This paper takes a step back from debates about the nature of understanding and asks when this commitment involved in understanding is epistemically appropriate, or ‘acceptable’ in Elgin’s terminology. In particular, appealing to lessons from the (...) lottery and preface paradoxes, it is argued that this type of commitment is sometimes acceptable even when it would be rational to assign arbitrarily low probabilities to the relevant propositions. This strongly suggests that the relevant type of commitment is sometimes acceptable in the absence of epistemic justification for belief, which in turn implies that understanding does not require justification in the traditional sense. The paper goes on to develop a new probabilistic model of acceptability, based on the idea that the maximally informative accounts of the understood phenomenon should be optimally probable. Interestingly, this probabilistic model ends up being similar in important ways to Elgin’s proposal to analyze the acceptability of such commitments in terms of ‘reflective equilibrium’. (shrink)

This paper considers an argument from Rosenberg (Thinking about Knowing, 2002) that truth is not and cannot be the aim of belief. Here, I reconstruct what I take to be the most well worked out version of this idea tracing back to Rorty and Davidson. In response, I also distinguish two things the truth-aim could be: a goal regulating our executable epistemic conduct and an end which determines the types of evaluation, susceptibility to which is partially constitutive of what (...) a belief is. (shrink)

Let us start by some general definitions of the concept of complexity. We take a complex system to be one composed by a large number of parts, and whose properties are not fully explained by an understanding of its components parts. Studies of complex systems recognized the importance of “wholeness”, defined as problems of organization (and of regulation), phenomena non resolvable into local events, dynamics interactions in the difference of behaviour of parts when isolated or in higher configuration, etc., in (...) short, systems of various orders (or levels) not understandable by investigation of their respective parts in isolation. In a complex system it is essential to distinguish between ‘global’ and ‘local’ properties. Theoretical physicists in the last two decades have discovered that the collective behaviour of a macro-system, i.e. a system composed of many objects, does not change qualitatively when the behaviour of single components are modified slightly. Conversely, it has been also found that the behaviour of single components does change when the overall behaviour of the system is modified. There are many universal classes which describe the collective behaviour of the system, and each class has its own characteristics; the universal classes do not change when we perturb the system. The most interesting and rewarding work consists in finding these universal classes and in spelling out their properties. This conception has been followed in studies done in the last twenty years on second order phase transitions. The objective, which has been mostly achieved, was to classify all possible types of phase transitions in different universality classes and to compute the parameters that control the behaviour of the system near the transition (or critical or bifurcation) point as a function of the universality class. This point of view is not very different from the one expressed by Thom in the introduction of Structural Stability and Morphogenesis (1975). It differs from Thom’s program because there is no a priori idea of the mathematical framework which should be used. Indeed Thom considers only a restricted class of models (ordinary differential equations in low dimensional spaces) while we do not have any prejudice regarding which models should be accepted. One of the most interesting and surprising results obtained by studying complex systems is the possibility of classifying the configurations of the system taxonomically. It is well-known that a well founded taxonomy is possible only if the objects we want to classify have some unique properties, i.e. species may be introduced in an objective way only if it is impossible to go continuously from one specie to another; in a more mathematical language, we say that objects must have the property of ultrametricity. More precisely, it was discovered that there are conditions under which a class of complex systems may only exist in configurations that have the ultrametricity property and consequently they can be classified in a hierarchical way. Indeed, it has been found that only this ultrametricity property is shared by the near-optimal solutions of many optimization problems of complex functions, i.e. corrugated landscapes in Kauffman’s language. These results are derived from the study of spin glass model, but they have wider implications. It is possible that the kind of structures that arise in these cases is present in many other apparently unrelated problems. Before to go on with our considerations, we have to pick in mind two main complementary ideas about complexity. (i) According to the prevalent and usual point of view, the essence of complex systems lies in the emergence of complex structures from the non-linear interaction of many simple elements that obey simple rules. Typically, these rules consist of 0–1 alternatives selected in response to the input received, as in many prototypes like cellular automata, Boolean networks, spin systems, etc. Quite intricate patterns and structures can occur in such systems. However, what can be also said is that these are toy systems, and the systems occurring in reality rather consist of elements that individually are quite complex themselves. (ii) So, this bring a new aspect that seems essential and indispensable to the emergence and functioning of complex systems, namely the coordination of individual agents or elements that themselves are complex at their own scale of operation. This coordination dramatically reduces the degree of freedom of those participating agents. Even the constituents of molecules, i.e. the atoms, are rather complicated conglomerations of subatomic particles, perhaps ultimately excitations of patterns of superstrings. Genes, the elementary biochemical coding units, are very complex macromolecular strings, as are the metabolic units, the proteins. Neurons, the basic elements of cognitive networks, themselves are cells. In those mentioned and in other complex systems, it is an important feature that the potential complexity of the behaviour of the individual agents gets dramatically simplified through the global interactions within the system. The individual degrees of freedom are drastically reduced, or, in a more formal terminology, the factual space of the system is much smaller than the product of the state space of the individual elements. That is one key aspect. The other one is that on this basis, that is utilizing the coordination between the activities of its members, the system then becomes able to develop and express a coherent structure at a higher level, that is, an emergent behaviour (and emergent properties) that transcends what each element is individually capable of. (shrink)

Although Fuzzy logic and Fuzzy Mathematics is a widespread subject and there is a vast literature about it, yet the use of Fuzzy issues like Fuzzy sets and Fuzzy numbers was relatively rare in time concept. This could be seen in the Fuzzy time series. In addition, some attempts are done in fuzzing Turing Machines but seemingly there is no need to fuzzy time. Throughout this article, we try to change this picture and show why it is helpful to consider (...) the instants of time as Fuzzy numbers. In physics, though there are revolutionary ideas on the time concept like B theories in contrast to A theory also about central concepts like space, momentum… it is a long time that these concepts are changed, but time is considered classically in all well-known and established physics theories. Seemingly, we stick to the classical time concept in all fields of science and we have a vast inertia to change it. Our goal in this article is to provide some bases why it is rational and reasonable to change and modify this picture. Here, the central point is the modified version of “Unexpected Hanging” paradox as it is described in "Is classical Mathematics appropriate for theory of Computation".This modified version leads us to a contradiction and based on that it is presented there why some problems in Theory of Computation are not solved yet. To resolve the difficulties arising there, we have two choices. Either “choosing” a new type of Logic like “Para-consistent Logic” to tolerate contradiction or changing and improving the time concept and consequently to modify the “Turing Computational Model”. Throughout this paper, we select the second way for benefiting from saving some aspects of Classical Logic. In chapter 2, by applying quantum Mechanics and Schrodinger equation we compute the associated fuzzy number to time. (shrink)