In ethical reflections on new technologies, a specific type of argument often pops up, which criticizes scientists for “playing God” with these new technological possibilities. The first part of this article is an examination of how these arguments have been interpreted in the literature. Subsequently, this article aims to reinterpret these arguments as symbolic arguments: they are grounded not so much in a set of ontological or empirical claims, but concern symbolic classificatory schemes that ground our value judgments (...) in the first place. Invoking symbolic arguments thus refers to how certain new technologies risk undermining our fundamental symbolic distinctions by which we organize and evaluate our interactions with the world and in society. Such symbolic distinctions, moreover, tend to be resilient against logical argumentation, mainly because they themselves form the basis on which we argue in the cultural and ethical sphere in the first place. Therefore, effective strategies to evaluate and counter these arguments require another approach, showing that these technologies either do not challenge these classifications or, if they do, how they can be accompanied by the proper actions to integrate these technologies into our society. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of (...) rule have divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Keeping track of what others believe is a central part of human social cognition. However, the social relevance of those beliefs can vary a great deal. Some belief attributions mostly tell us about what a person is likely to do next. Other belief attributions tell us more about a person's social identity. In this paper, I argue that we cope with this challenge by employing two distinct concepts of belief in our everyday social interactions. The epistemic concept of belief is (...) primarily used to keep track of what other people take to be true, and this informs how we predict and interpret their behaviors. The symbolic concept of belief, in contrast, is primarily used as a means of signaling one's social identity to other members of one's community. In turn, community members closely monitor each other's symbolic beliefs as a means of enforcing social norms. (shrink)

A great deal of research has focused on the question of whether or not concepts are embodied as a rule. Supporters of embodiment have pointed to studies that implicate affective and sensorimotor systems in cognitive tasks, while critics of embodiment have offered nonembodied explanations of these results and pointed to studies that implicate amodal systems. Abstract concepts have tended to be viewed as an important test case in this polemical debate. This essay argues that we need to move beyond a (...) pretheoretical notion of abstraction. Against the background of current research and theory, abstract concepts do not pose a single, unified problem for embodied cognition but, instead, three distinct problems: the problem of generalization, the problem of flexibility, and the problem of disembodiment. Identifying these problems provides a conceptual framework for critically evaluating, and perhaps improving upon, recent theoretical proposals. (shrink)

In this paper I argue against a deflationist view that as representational vehicles symbols and models do their jobs in essentially the same way. I argue that symbols are conventional vehicles whose chief function is denotation while models are epistemic vehicles whose chief function is showing what their targets are like in the relevant aspects. It is further pointed out that models usually do not rely on similarity or some such relations to relate to their targets. For that referential relation (...) they reply instead on symbols (names and labels) given to them and their parts. And a Goodmanian view on pictures of fictional characters reveals the distinction between symbolic and model representations. (shrink)

This paper concerns “human symbolic output,” or strings of characters produced by humans in our various symbolic systems; e.g., sentences in a natural language, mathematical propositions, and so on. One can form a set that consists of all of the strings of characters that have been produced by at least one human up to any given moment in human history. We argue that at any particular moment in human history, even at moments in the distant future, this set (...) is finite. But then, given fundamental results in recursion theory, the set will also be recursive, recursively enumerable, axiomatizable, and could be the output of a Turing machine. We then argue that it is impossible to produce a string of symbols that humans could possibly produce but no Turing machine could. Moreover, we show that any given string of symbols that we could produce could also be the output of a Turing machine. Our arguments have implications for Hilbert’s sixth problem and the possibility of axiomatizing particular sciences, they undermine at least two distinct arguments against the possibility of Artificial Intelligence, and they entail that expert systems that are the equals of human experts are possible, and so at least one of the goals of Artificial Intelligence can be realized, at least in principle. (shrink)

The mapping of numbers onto space is fundamental to measurement and to mathematics. Is this mapping a cultural invention or a universal intuition shared by all humans regardless of culture and education? We probed number-space mappings in the Mundurucu, an Amazonian indigene group with a reduced numerical lexicon and little or no formal education. At all ages, the Mundurucu mapped symbolic and nonsymbolic numbers onto a logarithmic scale, whereas Western adults used linear mapping with small or symbolic numbers (...) and logarithmic mapping when numbers were presented nonsymbolically under conditions that discouraged counting. This indicates that the mapping of numbers onto space is a universal intuition and that this initial intuition of number is logarithmic. The concept of a linear number line appears to be a cultural invention that fails to develop in the absence of formal education. (shrink)

Determinismus und Indeterminismus in der modernen Physik is one of Cassirer’s least known and studied works, despite his own assessment as “one of his most important achievements”. A prominent theme locates quantum mechanics as a yet further step of the tendency within physical theory towards the purely functional theory of the concept and functional characterization of objectivity. In this respect DI can be considered an “update”, like the earlier monograph Zur Einsteinschen Relativitätstheorie: Erkenntnistheoretische Betrachtungen, to Substanzbegriff und Funktionsbegriff, a seminal (...) work considering only classical and pre-relativistic physics. But how does DI cohere with the three volumes of The Philosophy of Symbolic Forms providing a systematic survey of symbolic meanings in diverse aspects of culture, each with its own mode of “objectification” via self-created signs and images? Cassirer’s “phenomenology of cognition” via distinct types of symbolic form locates Dirac’s Principles of Quantum Mechanics as an exemplar within physical theory of purely symbolic thought, a realm of pure relations and their correlated meanings. In particular, Dirac’s characterization of the new notion of “physical state” in quantum mechanics by a “symbolic algebra of observables” severed from particular representations points to a limiting pole of the Bedeutungsfunktion, the third and highest mode of symbolic formation. (shrink)

The Concepts of Bourdieu's Distinction: A Social Critique of the Judgement of Taste -/- The way Bourdieu introduces foreign concepts (habitus, doxa, logic of practice) is through jumping straight and enthusiastically into his deep thoughts, instead of clearly and logically defining them first. -/- Accepting these dominant characteristics of taste is, according to Bourdieu, a form of \" symbolic violence .\" That is, the fact of considering these distinctions between tastes as natural, and believing that they are necessary, (...) denies the dominated classes the possibility of defining their own world, which puts those with less general capital at a disadvantage. Moreover, even when the dominated social classes come to have their own ideas about what it is \"good taste \"and what is not,\" the aesthetics of the working class is dominated aesthetic, which it is obliged to always defined in terms of the aesthetics of the ruling class . (shrink)

The Meaning of Things explores the meanings of household possessions for three generation families in the Chicago area, and the place of materialism in American culture. Now regarded as a keystone in material culture studies, Halton's first book is based on his dissertation and coauthored with Mihaly Csikszentmihalyi. First published by Cambridge University Press in 1981, it has been translated into German, Italian, Japanese, and Hungarian. The Meaning of Things is a study of the significance of material possessions in contemporary (...) urban life, and of the ways people carve meaning out of their domestic environment. Drawing on a survey of eighty families in Chicago who were interviewed on the subject of their feelings about common household objects, Mihaly Csikszentmihalyi and Eugene Rochberg-Halton provide a unique perspective on materialism, American culture, and the self. They begin by reviewing what social scientists and philosophers have said about the transactions between people and things. In the model of 'personhood' that the authors develop, goal-directed action and the cultivation of meaning through signs assume central importance. They then relate theoretical issues to the results of their survey. An important finding is the distinction between objects valued for action and those valued for contemplation. The authors compare families who have warm emotional attachments to their homes with those in which a common set of positive meanings is lacking, and interpret the different patterns of involvement. They then trace the cultivation of meaning in case studies of four families. Finally, the authors address what they describe as the current crisis of environmental and material exploitation, and suggest that human capacities for the creation and redirection of meaning offer the only hope for survival. A wide range of scholars - urban and family sociologists, clinical, developmental and environmental psychologists, cultural anthropologists and philosophers, and many general readers - will find this book stimulating and compelling. Translations: Il significato degli oggetti. Italian translation. Rome: Edizione Kappa, 1986. Der Sinn der Dinge. German translation. Munich: Psychologie Verlags Union, 1989. Japanese translation 2007. Targyaink tukreben. Hungarian translation, 2011. (shrink)

Now that complex Agent-Based Models and computer simulations spread over economics and social sciences - as in most sciences of complex systems -, epistemological puzzles (re)emerge. We introduce new epistemological tools so as to show to what precise extent each author is right when he focuses on some empirical, instrumental or conceptual significance of his model or simulation. By distinguishing between models and simulations, between types of models, between types of computer simulations and between types of empiricity, section 2 gives (...) conceptual tools to explain the rationale of the diverse epistemological positions presented in section 1. Finally, we claim that a careful attention to the real multiplicity of denotational powers of symbols at stake and then to the implicit routes of references operated by models and computer simulations is necessary to determine, in each case, the proper epistemic status and credibility of a given model and/or simulation. (shrink)

The aim of this study is to stylistically analyze the common symbols in Charles Dickens’s Christmas Books, which revived the Christmas spirit in the dark Victorian era. Experiencing the vast impacts of Industrial Revolution, people in Dickens’s time were suffering from the consequences of industrialism, poverty, class distinctions and shifting values within a dark world. Upon combining sentimentality towards human nature, Dickens, in his Christmas stories, revived a festival which faded away from English life during the 19th c. Through (...) this blending of a Christmas spirit in the dark Victorian era, Dickens drew the desired picture of a better future for his readers. His ‘Dickensian’ style enables questioning and judging the discrepancies in the society and the defects of humanity while entertaining the reader with the concerns of family harmony, forgiveness, charity, happiness, compassion and Christmas joy. Yet instead of presenting his messages explicitly, in the deeper structure, Charles Dickens directs his readers through the messages with the use of symbols in his five Christmas stories. To this end, this study aims at clarifying the common symbols in the stories of Christmas Books to suggest that Dickens lights a candle via his stories for his readers who were imprisoned in the dark Victorian age. (shrink)

Nelson Goodman (1906-2007) approached the arts and other kinds of knowledge as forms of symbolism. His principal aim in philosophy was to advance understanding and remove confusions by verbal analysis and logical constructions. Goodman's philosophical theories encompass nominalism, constructivism and a version of radical relativism. In his Languages of Art, Goodman sets forth distinctions among the various art according to differences in the forms of symbols employed. He contributed as well to arts education and to philosophy of the museum. (...) His performance work, "Hockey Seen: A Nightmare in Three Periods and Sudden Death embodies his aesthetic theories. (shrink)

It is very well known that from the late-1960s onwards Feyerabend began to radically challenge some deeply-held ideas about the history and methodology of the sciences. It is equally well known that, from around the same period, he also began to radically challenge wider claims about the value and place of the sciences within modern societies, for instance by calling for the separation of science and the state and by questioning the idea that the sciences served to liberate and ameliorate (...) human societies. But what is less known is how, if at all, these two sets of challenges were connected, and why Feyerabend felt it important to raise them at all. In this chapter, my aim is to explore these issues by considering why Feyerabend used radical strategies to challenge the authority of science, and what purpose, if any, they were supposed to serve. Why, for instance, did Feyerabend defend alternative medicine, psychical abilities, astrology, magic and witchcraft and why did he argue that ‘Western science’ is complicit in environmental destruction, intellectual imperialism, social oppression, and spiritual destitution. Located in their historical and political context, such defences and arguments seem peculiar, not least because science was recognised not only as a central site of the intellectual and ideological competition between the West and the Soviet Union, but also because Western victory in that site was considered inevitable. What, then, did Feyerabend think he was trying to achieve by raising radical challenges to a central component of the cultural and intellectual prestige of the Western world grounded in appeals to practices and traditions which most would regard as eccentric at best and absurd at worst? My suggestion is that Feyerabend was making a subtler point than one might suppose. For the purpose of these radical challenges was to determine if the members of Western societies would in fact honour the epistemic standards – of tolerance, critical enquiry – which were identified as being characteristic of science and definitive of the social and political values of Western liberal democracy. I suggest that Feyerabend was trying to demonstrate that scientists were, too often, guilty of the same intolerant and dogmatic attitudes which were, according to prevailing propaganda, the property of illiberal totalitarian societies. Science does not reflect the superior epistemic and political values of Western societies but are, in fact, reflective of the same vices ascribed to the Soviet Union. If that is the case, then the sciences are not symbols of our epistemic and political values, but quite the reverse, hence Feyerabend’s talk of the ‘dogmatic’, ‘totalitarian’, ‘ratiofascist’ nature of modern science. But there is a positive upshot to Feyerabend’s challenge. For even if the sciences do not yet reflect the epistemic and political values of liberal democratic Western societies, they might yet be reformed so that they are. And there is a parallel between Feyerabend’s strategy and that of many of the other radicals of the time – student activists, environmentalists, and pacifists – namely to test the commitment to tolerance and deliberative debate of the establishment by asking it to seriously engage with ideas and convictions opposed to its own. For both science and society can become ‘tyrannical’ through the same means: by exempting themselves from critical scrutiny, by promoting self-serving ‘myths’ about themselves, and by derogating and excluding alternatives, including the ‘outsider’ perspectives they offer. The chapter concludes by suggesting that Feyerabend is distinctive in virtue of his willingness to offer radical criticisms of the authority of science such that it can fulfil its legitimate ideological role – namely, of symbolising and instantiating our core epistemic and political values – such that we can offer a sincere and meaningful answer to Feyerabend’s question ‘what’s so great about science?’. (shrink)

This chapter introduces the main research schools and paradigms along which the field of evolutionary biology has been developing. Evolutionary thinking was originally founded upon the Neo-Darwinian paradigm that combines the teachings of traditional Darwinism with those of the Modern Synthesis. The Neo-Darwinian paradigm has since further diversified into the Micro-, Meso-, and Macroevolutionary schools, and it has also started to integrate the school of Ecology. Together, these schools establish the paradigm called Ecological Evolutionary Developmental Biology (Eco-Evo-Devo). A final school (...) studies Reticulate Evolution as it occurs by means of symbiosis, symbiogenesis, lateral gene transfer, infective heredity, and hybridization. This chapter reviews the major tenets and points of differentiation that exist between these distinct evolution schools. The chapter ends by looking into how evolution can be defined and how distinct units, levels, and mechanisms underlie theorizing on evolutionary hierarchies and evolutionary causation. The following chapter examines how the different evolution schools are implemented into the symbolic sciences. (shrink)

This paper offers an expressivist account of logical form, arguing that in order to fully understand it one must examine what valid arguments make us do (or: what Achilles does and the Tortoise doesn’t, in Carroll’s famed fable). It introduces Charles Peirce’s distinction between symbols, indices and icons as three different kinds of signification whereby the sign picks out its object by learned convention, by unmediated indication, and by resemblance respectively. It is then argued that logical form is represented by (...) the third, iconic, kind of sign. It is noted that icons uniquely enjoy partial identity between sign and object, and argued that this holds the key to Carroll’s puzzle. Finally, from this examination of sign-types metaphysical morals are drawn: that the traditional foes metaphysical realism and conventionalism constitute a false dichotomy, and that reality contains intriguingly inference-binding structures. (shrink)

Introduction There are some exceptions, which we shall see below, but virtually all theories in psychology and cognitive science make use of the notion of representation. Arguably, folk psychology also traffics in representations, or is at least strongly suggestive of their existence. There are many different types of things discussed in the psychological and philosophical literature that are candidates for representation-hood. First, there are the propositional attitudes – beliefs, judgments, desires, hopes etc. (see Chapters 9 and 17 of this volume). (...) If the propositional attitudes are representations, they are person-level representations – the judgment that the sun is bright pertains to John, not a subpersonal part of John. By contrast, the representations of edges in V1 of the cerebral cortex that neuroscientists talk about and David Marr’s symbolic representations of “zero-crossings” in early vision (Marr 1982) are at the “sub-personal” level – they apply to parts or states of a person (e.g. neural parts or computational states of the visual system). Another important distinction is often made among perceptual, cognitive, and action-oriented representations (e.g. motor commands). Another contrast lies between “stored representations” (e.g. memories) and “active representations” (e.g. a current perceptual state). Related to this is the distinction between “dispositional representations” and “occurrent representations.” Beliefs that are not currently being entertained are dispositional, e.g. your belief that the United States is in North America - no doubt you had this belief two minutes ago, but you were not consciously accessing it until you read this sentence. Occurrent representations, by contrast, are active, conscious thoughts or perceptions. Which leads us to another important distinction: 1 between conscious and non-conscious mental representations, once a bizarre-sounding distinction that has become familiar since Freud (see Chapter 4 of this volume). I mention these distinctions at the outset to give you some idea of the range of phenomena we will be considering, and to set the stage for our central “problem of representation”: what is a mental representation, exactly, and how do we go about deciding whether there are any? We know there are public representations of various kinds: words, maps, and pictures, among others.. (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies methods from (...) computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

Throughout what is now the more than 50-year history of the computer many theories have been advanced regarding the contribution this machine would make to changes both in the structure of society and in ways of thinking. Like other theories regarding the future, these should also be taken with a pinch of salt. The history of the development of computer technology contains many predictions which have failed to come true and many applications that have not been foreseen. While we must (...) reserve judgment as to the question of the impact on the structure of society and human thought, there is no reason to wait for history when it comes to the question: what are the properties that could give the computer such far-reaching importance? The present book is intended as an answer to this question. The fact that this is a theoretical analysis is due to the nature of the subject. No other possibilities are available because such a description of the properties of the computer must be valid for any kind of application. An additional demand is that the description should be capable of providing an account of the properties which permit and limit these possible applications, just as it must make it possible to characterize a computer as distinct from a) other machines whether clocks, steam engines, thermostats, or mechanical and automatic calculating machines, b) other symbolic media whether printed, mechanical, or electronic and c) other symbolic languages whether ordinary languages, spoken or written or formal languages. This triple limitation, however, (with regard to other machines, symbolic media and symbolic languages) raises a theoretical question as it implies a meeting between concepts of mechanical-deterministic systems, which stem from mathematical physics, and concepts of symbolic systems which stem from the description of symbolic activities common to the humanities. The relationship between science and the humanities has traditionally been seen from a dualistic perspective, as a relationship between two clearly separate subject areas, each studied on its own set of premises and using its own methods. In the present case, however, this perspective cannot be maintained since there is both a common subject area and a new - and specific - kind of interaction between physical and symbolic processes. (shrink)

Note: This draft was updated on November 10, 2020. Discussing federal statutes, Justice Scalia tells us that “[t]he stark reality is that the only thing that one can say for sure was agreed to by both houses and the president (on signing the bill) is the text of the statute. The rest is legal fiction." How should we take this claim? If we take "text" to mean the printed text, that text without more is just a series of marks. If (...) instead we take "text" (as we must) to refer to something off the page such as the "meaning" of the series of marks at issue, what is that meaning and how do we know that all the legislators "agreed" on that "meaning"? In seeking answers here, we necessarily delve into semiotics (i.e., the “general theory of signs”) by noting that meaningful ink marks ("signifiers) signify a meaning beyond themselves (the "signified.") Thus, understanding how signs function is integral to lawyers' textual and linguistic analysis. Additionally, as this article demonstrates, legal analysis and rhetoric are much impoverished if lawyers ignore nonverbal signs such as icons, indices, and nonverbal symbols. In providing a broad overview of semiotics for lawyers, this article thus (1) begins with a general definition of signs and the related notion of intentionality. It then turns to, among other things, (2) the structure and concomitants of signs in more detail (including the signifier and the signified), (3) the possible correlations of the signifier and the signified that generate signs of interest to lawyers such as the index, the icon, and the symbol; (5) the expansion of legal rhetoric through use of the index, the icon, and the non-verbal as well as the verbal symbol, (6) the nature of various semiotic acts in public and private law (including assertives, commissives, directives, and verdictives); (7) the interpretation and construction of semiotic acts (including contracts as commissives and legislation as directives); (8) the role of speaker or reader meaning in the interpretation and construction of semiotic acts; (9) the semiotics of meaning, time, and the fixation of meaning debate; (10) the impact of signifier drift; (11) the distinction between sense and understanding; and (12) some brief reflections on semiotics and the First Amendment. This article also provides an Appendix of further terms and concepts useful to lawyers in their explorations of semiotics. (shrink)

This article reconstructs Sartre’s theory of selfhood against the background of the contemporary debate between minimal-self theories and narrative-self theories. I argue that Sartre’s theory incorporates both an emphasis on the singular first-person perspective, which is characteristic of minimal-self theories, and an emphasis on the practical intelligibility of experience, which is characteristic of narrative-self theories. The distinctiveness of the Sartrean combination of these motifs consists in its idea of the necessary ideal-relatedness of consciousness. According to Sartre, the logical structure of (...) the pre-reflective cogito requires the haunting presence of an ideal of self-coincidence, which determines for consciousness the meaning of its lived experiences. Consciousness exists as a question to itself due to this ideal-relatedness, and it answers this question by projecting its possibilities as creative and symbolic realizations of this ideal. Establishing the connection between Sartre’s theory of imagination and his theory of selfhood, I suggest that both the ideal and the possibility of consciousness are lived in the manner of the imaginary. (shrink)

This paper explores a new and post-structuralist discourse on the relationship between Lacan’s theory of mirror stage and the story of Narcissus as a mythological narrative. According to this discourse, subject is a construction posterior to the ‘I’. Lacan suggests that in the mirror stage 6-18 months old infants discern the I as something distinct from and outside of themselves for the first time through a reflective surface. An infant comprehends the image they see in this reflective surface as a (...) being independent of their mother and an object belonging to themselves, and they greatly admire this independent object as an ideal-I. That is, by discerning their own being through an image, the infant achieves a feeling of unity via this image and perceives their own being as an admirable unity. This feeling of I and unity, however, is doomed to decay as to become subject by means of the elements of Lacanian reality, namely language and the laws of society. Within the reality, Narcissus – exactly like in the Lacan’s theory of mirror – lost the confrontation of perceiving the image he admired in his reflection. The I of Narcissus, which he has been holding on as an image in this world, is drawn and demised whilst going beyond the water mirror so as to become a subject. In other words, the I that Narcissus admired in the reflection of the water underwent an unsurmountable deformation and he paid the price with his life. In this study, from the perspective of the Lacanian theory of subject it will be argued that the tragic split between imaginary and symbolic order represented by the death of Narcissus is not only a psychopathologic fact, but it is also a fundamental narrative about the construction of subject in the history of philosophy. (shrink)

K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory although their (...) properties can be time-dependent (when they depend on K) or informal. The true statement "K is non-empty" is outside K forever because K is not a formal set. Paul Cohen proved in 1963 that the equality 2^{\aleph_0}=\aleph_1 is independent of ZFC. Before 1963, the statement "There is a known constructively defined integer n⩾1 such that 2^{\aleph_0}=\aleph_n" was outside K. Since 1963, this statement is outside K forever. The true statement "There exists a set X⊆{1,...,49} such that card(X)=6 and X never occurred as the winning six numbers in the Polish Lotto lottery" refers to the current non-mathematical knowledge and is outside K forever. In Martin-Löf's terminology, every currently known theorem is actually true whereas every theorem (known or unknown) is potentially true. Actual truth is knowledge dependent and tensed. Potential truth is knowledge independent and tenseless. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X⊆N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X. For every such statement, its truth concerning the current mathematical knowledge is implied by a true statement of the form: (the conjunction of i conditions of the form α∈K)∧(the conjunction of j conditions of the form β∉K)∧(the conjunction of k conditions of the form γ∈K_c)∧(the conjunction of l conditions of the form δ∉K_c), where i,j,k,l∈N and α,β,γ,δ are mathematical statements. In constructive mathematics and the traditional Brouwerian intuitionism, the truth of a mathematical statement means that we know a constructive proof. Therefore, the truth of a mathematical statement depends on time, where the statement is formally stated in the classical mathematics without the predicate K. In this article, mathematical statements on decidable sets X⊆N refer to time because they refer to the current mathematical knowledge on X. They cannot be formally stated in the classical mathematics without the predicate K and their logical values may change in time. For a set X⊆N whose infiniteness is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(X)=ω" is outside K. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove the assumption of the above statement. We prove that the set X={n∈N: the interval [-1,n] contains more than 29.5+(11!/(3n+1))∙sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition1)∧(Condition 2)∧#(Condition 3)∧(Condition 4)∧#(Condition 5), where # denotes the negation ¬ or the absence of any symbol. We prove that there exists a naturally defined set C⊆N which satisfies the following conditions (6)-(11). (6) A known and simple algorithm for every k∈N decides whether or not k∈C. (7) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(C)=ω" is outside K. (8) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(N\C)=ω" is outside K. (9) It is conjectured, though so far unproven, that C is infinite. (10) For every known algorithm A with no input, the statement "A returns an integer n satisfying card(C)<ω ⇒ C⊆(-∞,n]" is outside K. (11) For every known algorithm A with no input, the statement "A returns an integer m satisfying card(N\C)<ω ⇒ N\C⊆(-∞,m]" is outside K. The set C={k∈N: 2^{2^k}+1 is composite} is naturally defined and satisfies conditions (6)-(11). (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, (...) focussing primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

In this paper, I analyze the concept of ineffability: what does it mean to say that something cannot be said? I begin by distinguishing ineffability from paradox: if something cannot be said truly or without contradiction, this is not an instance of ineffability. Next, I distinguish two different meanings of ‘saying something’ which result from a fundamental ambiguity in the term ‘language’, viz. language as a system of symbols and language as a medium of communication. Accordingly, ‘ineffability’ is ambiguous, too, (...) and we should make a distinction between weak and strong ineffability. Weak ineffability is rooted in the deficiencies of a particular language while strong ineffability stems from the structure of a particular cognitive system and its capacities for conceptual mental representation. Mental contents are only sayable if we are able to conceptualize them and then create signs to represent them in communication. (shrink)

The austere view of nonsense says that the source of nonsense is not a violation of the rules of logical syntax, but nonsense is always due to a lack of meaning in one of the components of a sentence. In other words, the necessary and sufficient condition for nonsensicality is that no meaning has been assigned to a constituent in a sentence. The austere conception is the key ingredient of the resolute reading of Tractatus Logico-Philosophicus that presents a therapeutical interpretation (...) of the work, and rejects a possibility of conveying some ineffable truths by means of nonsensical sentences. In this paper, I defend the austere view against the most important objections. Firstly, I discuss textual sources for ascribing to Wittgenstein the austere view that have not been sufficiently thoroughly discussed yet. Next, I indicate that the apparent occurrence of words out of the context of a sentence on lists of verbs and in definitions is not in conflict with the version of the context principle recommended by austere theorists, since this argument does not sufficiently take into account the distinction between sign and symbol. Furthermore, I argue that the austere conception and the principle of compositionality are jointly tenable, for the former view does not exclude the existence of syntactic and semantic rules, but only shows that they are recognizable conditionally. Finally, I indicate that the austere view of nonsense should be seen as a viable option by a contemporary theorist of nonsense, for it helps us to avoid making controversial assumptions about the nature of meaning and content. (shrink)

Throughout the 20th century, philosophers have criticized the scientific understanding of the human body. Instead of presenting the body as a meaningful unity or Gestalt, it is regarded as a complex mechanism and described in quasi-mechanistic terms. In a phenomenological approach, a more intimate experience of the body is presented. This approach, however, is questioned by Jacques Lacan. According to Lacan, three basic possibilities of experiencing the body are to be distinguished: the symbolical (or scientific) body, the imaginary (or ideal) (...) body and the real body. Whereas the symbolical body is increasingly objectified (and even digitalized) by medical science, the phenomenological perception amounts to an idealization of the body. The real body cannot be perceived immediately. Rather, it emerges in the folds and margins of our efforts to symbolize or idealize the body, which are bound to remain incomplete and fragile. In the first part of the article (1-3), Lacan's conceptual distinction between the symbolical, the imaginary and the real body will be explained. In the second part (4-5), this distinction will be further clarified by relying on crucial chapters in the history of anatomy (notably Mundinus, Vesalius, Da Vinci and Descartes). (shrink)

The origin of languages was a hotly debated topic in the eighteenth century. This paper reconstructs a distinctively Kantian account according to which the origination, progression, and diversification of languages is at bottom reason’s self-development under certain a priori constraints and external environments. The reconstruction builds on three sets of materials. The first is Herder’s famous prize essay on the origin of languages. The second includes Kant’s explicit remarks about language – especially his notion of “transcendental grammar,” his argument that (...) language cannot be innate, his contrast of “Oriental” symbolic (intuitive) and “Occidental” discursive languages, and his treatment of the latter as a sine qua non of humanity’s cultural and moral progress. The third includes the concepts that we need to make sense of those remarks, such as Kant’s epigenetic theory of biological formation and his account of categories as originally acquired. (shrink)

Callender and Cohen have proposed to apply a “Gricean strategy” to the constitution problem of scientific representation, taking inspiration from Grice’s reduction of linguistic meaning to mental states. They suggest that scientific representation can be reduced to stipulation by epistemic agents. This account has been criticised for not making a distinction between symbolic and epistemic representation and not taking into account the communal aspects of scientific representation. I argue that these criticisms would not apply if Grice’s actual strategy were (...) properly employed. I present Grice’s account of linguistic meaning and transpose his actual strategy and method to epistemic representation. This results in a reduction of epistemic representation to mental states that does not fall prey to the same criticisms. The main novelty of the resulting account is a distinction between contextual representational use and general representational status, which I address using the notion of indexicality. (shrink)

I argue that emojis are essentially little pictures, rather than words, gestures, expressives, or diagrams. ???? means that the world looks like that, from some viewpoint. I flesh out a pictorial semantics in terms of geometric projection with abstraction and stylization. Since such a semantics delivers only very minimal contents I add an account of pragmatic enrichment, driven by coherence and nonliteral interpretation. The apparent semantic distinction between emojis depicting entities (like ????) and those depicting facial expressions (like ????) I (...) analyze as a difference between truth-conditional and use-conditional pictorial content: ???? depicts what the world of evaluation looks like, while ???? depicts what the utterance context looks like. (shrink)

This article argues that pseudoscience lacks an adequate philosophical analysis. Using conspiracy theories as a case study, it is claimed that such an analysis needs to go beyond a mere epistemological approach. In the first part, it is shown that the existing philosophical literature shares the assumption that conspiracy theories are primarily deficient scientific hypotheses. This claim is contested, because such an approach can only understand what conspiracy theories fail to be, but not what they are and why people tend (...) to endorse them. To develop an alternative, the second part starts from recent sociology of science, applied to conspiracy theories, that claims that both true and false theories are in need of a symmetrical social explanation. However, this opens the path to relativism because it does not allow for a significant distinction between scientific and conspiracy theories. In the third section an alternative analysis of conspiracy theories is offered, which does not abandon this distinction. Moreover, it is claimed that the most important element of conspiracy theories is not their truth value but rather their symbolic structures of meaning. The aim of conspiracy theories, and perhaps of pseudoscience in general, is then not to know facts about the world, but rather to offer a meaningful framework within which to live. (shrink)

Semantics traditionally focuses on linguistic meaning. In recent years, the Super Linguistics movement has tried to broaden the scope of inquiry in various directions, including an extension of semantics to talk about the meaning of pictures. There are close similarities between the interpretation of language and of pictures. Most fundamentally, pictures, like utterances, can be either true or false of a given state of affairs, and hence both express propositions (Zimmermann, 2016; Greenberg, 2013; Abusch, 2015). Moreover, sequences of pictures, like (...) sequences of utterances, can be used to tell stories. Wordless picture books, comics, and film are cases in point. In this paper I pick up the project of providing a dynamic semantic account of pictorial story-telling, started by Abusch (2012) and continued by Abusch & Rooth (2017); Maier & Bimpikou (2019); Fernando (2020). More specifically, I propose here a semantics of speech and thought bubbles by adding event reference to PicDRT. To get there I first review the projection-based semantics for pictures (section 1), noting the fundamental distinction between symbolic and iconic meaning that makes speech bubbles especially interesting (section 2). I then review the dynamic PicDRT framework for pictorial narratives (section 3), add events (section 4), and propose an account of speech bubbles as quotational event modification (section 5). I end with a brief look at other conventional, symbolic enrichments in comics (section 6). (shrink)

In this paper, I seek to explore the increasing popular claim that the performance of philosophy and the performance of humor share similar features. I argue that the explanation lies in the function of humor—a function which can be a catalyst for philosophy. Following Ernst Cassirer’s philosophy of symbolic forms and utilizing insights from various philosophical and scientific perspectives on the nature and origins of humor, I argue that the function of humor is to reveal faulty belief or error (...) in judgment. Once such errors are revealed the mind demands resolution, and this is the work of philosophy. But philosophy cannot solve a problem unless it recognizes that there is a problem to solve. That is, the move from ignorance to philosophy requires a mediating step. Humor can act as that step, and, as such, humor can serve as a catalyst for philosophy while being necessarily distinct from it. (shrink)

A recent evolution of computer simulations has led to the emergence of complex computer simulations. In particular, the need to formalize composite objects (those objects that are composed of other objects) has led to what the author suggests to call pluriformalizations, i.e. formalizations that are based on distinct sub-models which are expressed in a variety of heterogeneous symbolic languages. With the help of four case-studies, he shows that such pluriformalizations enable to formalize distinctly but simultaneously either different aspects or (...) different parts or different scales of the same object or system. From an epistemological standpoint, he suggests that this kind of computer-aided complex formalization of composite objects renew the traditional relations between computer simulations, theoretical models and operational models. (shrink)

Most readings of Tayib Salih’s Season of Migration to the North have focused on Mustafa Saeed and the nameless narrator, both male characters, and they have largely avoided a politically radical reading of the novel. This article attempts to present the female character, Hosna, as the revolutionary par excellence, following Lacan and Slavoj Žižek’s reading of Antigone. Th rough Žižek’s distinction between the act and action, this article argues that Hosna’s deed at the end of the novel, murder and suicide, (...) is not just an action out of hopelessness but rather an act that aims to make a new social order possible. We will try to connect Žižek’s distinction between act and action to Benjamin’s distinction between divine violence and mythic violence and Lacan’s idea of “Th ing-directed desire” (Marc De Kesel 245). By doing so, this article aims to put the extreme violence of Hosna in a new light and argues against the readings that simply ignore her act as an extreme form of violence and fail to see it in a broader framework of philosophical and sociological understanding. (shrink)

I examine why Carnap ended his "The Overcoming of Metaphysics" with admiration for Nietzsche, and contextualize his admiration for Nietzsche within their shared commitment to 'modernism.' I show that Carnap's modernism helps explain his enthusiasm for symbolic logic and his attitude towards metaphysics. However, I also argue that Nietzsche's critique of metaphysics may also apply to Carnap's own distinction between what is essential to language and how language appears.

A recent evolution of computer simulations has led to the emergence of complex computer simulations. In particular, the need to formalize composite objects (those objects that are composed of other objects) has led to what the author suggests calling pluriformalizations, i.e. formalizations that are based on distinct sub-models which are expressed in a variety of heterogeneous symbolic languages. With the help of four case-studies, he shows that such pluriformalizations enable to formalize distinctly but simultaneously either different aspects or different (...) parts or different scales of the same object or system. From an epistemological standpoint, he suggests that this kind of computer-aided complex formalization of composite objects renew the traditional relations between computer simulations, theoretical models and operational models. (shrink)

Abstract: For art to be art it has to present the viewer with a distinctly out-of-the-ordinary perspective on everyday reality. Art is to be clearly differentiated from all forms of decorative craft, which are essentially concerned only with aesthetic experiences. Art is essentially about finding ways, through the manipulation and orchestration of presentational media – such as painting, sculpture, literature, film, and performance – to bring to life strange and unusual perceptions. All these media are quasi-theatrical and poetic in nature, (...) in that they are essentially gestural, referential, and symbolic, and they present material in a condensed and allusive form. Andy Warhol’s work is an example of the theatrical manipulation of presentational media to create a strange and unusual universe. (shrink)

Yoshimi has attempted to defuse my argument concerning the identification of network abstraction with empiricist abstraction - thus entailing psychologism - by claiming that the argument does not generalize from the example of simple feed-forward networks. I show that the particular details of networks are logically irrelevant to the nature of the abstractive process they employ. This is ultimately because deep artificial neural networks (ANNs) and dynamical systems theory applied to the mind (DST) are both associationisms - that is, empiricist (...) theories that derive the principles of thought from the causal history of the organism/system. On this basis, I put forward a new aspect of the old argument by noting that ANNs & DST are the causal bases of the phenomena of passive synthesis, whereas the language of thought hypothesis (LOT) and the symbolic computational theory of mind (CTM) are the causal bases of the phenomena of active synthesis. If the phenomena of active synthesis are not distinct in kind from and are thus reducible to those of passive synthesis, psychologism results. Yoshimi’s program, insofar as it denies this fundamental phenomenological distinction, is revealed to be the true anti-pluralist program, by essentially denying the causal efficacy of the mechanistic foundations of active synthesis by referring phenomenology exclusively to associationism for its causal foundation. (shrink)

This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role of (...) these various relationships of reference in CSs and of cross-validations, this diversity is still overlooked in the epistemological literature on CSs. As a consequence, a particular outcome of this analytical view is an ability to classify existing epistemological theses on CSs according to what their authors choose to select and put at the forefront: either the extensions of symbols, or the symbol-types, or the symbol-tokens, or the internal denotational hierarchies of the CS or the reference of these hierarchies to external denotational hierarchies. Through the adoption of this extensionalist view, it also becomes possible to explain more precisely the reasons why some complete reduction of CSs to classical epistemic paradigms such as “experiment” or “theoretical argument” remains doubtful. On this last point, in particular, this paper is in agreement with what many epistemologists already have acknowledged. (shrink)

The concept of recognition (Anerkennung in German) has been in the center of intensive interest and debate for some time in social and political philosophy, as well as in Hegel-scholarship. The first part of the article clarifies conceptually what recognition in the relevant sense arguably is. The second part explores one possible route for arguing that the „recognitive attitudes‟ of respect and love have a necessary role in the coming about of the psychological capacities distinctive of persons. More exactly, it (...) explores the possibility that they are necessary in the kind of intersubjective relationship in which normal human infants engage in the pre-linguistic communicative practice of pointing things to others, as described by Michael Tomasello. If an incapacity to participate in the already Gricean communicative practices of pointing makes it also impossible for the infant to learn symbolic communication, and if without the immediately intrinsically motivating other-regarding attitudes of recognition communicative pointing does not get off the ground (at least among the most intelligent animals currently known to exist), then the capacity for recognition may be a decisive difference between humans and their closest non-human relatives. That is, it may be why only human infants, but no other animals, are capable of embarking on a developmental journey that normally leads to full-fledged psychological personhood. If this is so, then the concept of recognition, today mostly discussed in social and political philosophy and Hegel-studies, could turn out to be a very useful tool in cognitive scientific work interested in specifically human forms of social intentionality, cognition, volition and so forth. (shrink)

Aristotle begins "On Interpretation" with an analysis of the existence of linguistic entities as both physical and meaningful. Two things have been lacking for a full appreciation of this analysis: a more literal translation of the passage and an ample understanding of the distinction between symbols and signs. In this article, therefore, I first offer a translation of this opening passage (16a1-9) that allows the import of Aristotle's thinking to strike the reader. Then I articulate the distinction between symbol and (...) sign so crucial to understanding this passage. Aristotle employs this distinction, I argue, in order to show how the linguistic entities he defines later in "On Interpretation" (that is, name, verb, denial, affirmation, declaration, and articulation) are both conventional and natural, owing to their being both symbols and signs, respectively. Finally, I suggest why Aristotle's analysis of how linguistic entities exist as both physical and meaningful is fitting, since man himself, "the animal that has speech," lives at the boundary between nature and intelligence. (shrink)

In the context of feminist and postmodern thought, traditional conceptions of masculinity and what it means to be a “Real Man” have been critiqued. In Genevieve Lloyd's The Man of Reason, this critique takes the form of exposing the effect that the distinctive masculinity of the “man of reason” has had on the history of philosophy. One major feature of the masculine-feminine dichotomy will emerge as a key notion for understanding the rest of the paper: the dichotomy of reason-feeling, a (...) parallel and a foundational aspect to the dichotomy of masculinity and femininity. In exploring the history of symbolic conceptions of masculinity in ancient Greece, the Renaissance, and the present, one finds that the oppression of women is integrally linked to the traditional tie between masculinity and reason. There have been many efforts in recent feminist philosophy to rewrite or redefine “Woman” in such a way as to alleviate the oppression of women. I argue that the effectiveness of rewriting Woman for this purpose is problematic, primarily because any rewriting of this type must occur in the current historical context of hierarchical dualisms, like Man-Woman, masculine-feminine, male-female. These binary oppositions arguably find their roots in Pythagorean philosophy and can be traced through the Renaissance to our current historical context. It is these dualisms that have traditionally valued the masculine side of the Man-Woman dichotomy more than the feminine. Further, it will be argued that the hierarchical dualism of Man and Woman is so pervasive that if we rewrite or redefine the inferior, deprivileged side of that dualism, we cannot correct its devalued status. Instead, we redefine that which is undervalued but retain its devalued status. This particular aspect of attempts to critique hierarchical dualisms like reason and feeling has been reflected in the writings of many feminists, male and female. This paper will show that in cases where women attempt to redefine the dichotomy by revaluing the traditionally feminine (like feelings and emotions) over the traditionally masculine (like reason) their work is often mistakenly criticized for being purely political; conversely, when men attempt to redefine the same dichotomy in an attempt to allow men to “get back in touch with their feelings,” to be nurturers, their work is described in terms of providing a better epistemology. The current literature on masculinity explores alternatives to rewriting or redefining Woman that try to avoid the problem of status remaining with redefinition. This alternative is rewriting or redefining Man. Through redefining Man, one may be able to reconceptualize the privileged side of the hierarchical dualism in such a way that it is no longer privileged. Deprivileging, as well as redefining Man, is argued by theorists of masculinity to be possible because while the devalued status of the inferior side of a hierarchical dualism tends to keep the same status when redefined, it may be possible to redefine the privileged side of the dualism in such a way that it loses its privileged status. Unfortunately, many of these attempts to rewrite or redefine masculinity have detrimental faults of their own. Finally, this paper will discuss more promising possibilities for new definitions of Man, as well as a vision for better interaction between the work of women and men in general. (shrink)

Abstract The first part argues that being an image is an (at least) four part relation between the image itself (x2), properties of recipients (B), the object (x3), and properties of the object (M). Referring to Grice, Schiffer, and Meggle, a distinction is made between communicativity and non-communicativity (manipulativity) of x2 regarding to B, x3, and M. The second part substitutes sign and image by explicates that denote properties relevant for x2 being an image regarding to B, x3, and M, (...) making thus clear why images are signs. Intentional relations and causal relations are the basis of this explication (influenced by Posner) that is also meant to give an idea of those properties that are typical of pieces of fine arts and of some other cultural practices. Additionally, it helps in understanding the difference between typical images and more abstract symbols. -/- Im ersten Abschnitt werden Gründe dafür genannt, Bildsein als mindestens vierstellige Beziehung aufzufassen: als Beziehung zwischen dem Bild (x2), Rezipienteneigenschaften (B), dem Bildgegenstand (x3) und Eigenschaften (M) des Bildgegenstandes. Dabei wird – anknüpfend an Grice, Schiffer und Meggle – zwischen Kommunikativität und NichtKommunikativität (Manipulativität) von x2 bzgl. B, x3 und M unterschieden. Im zweiten Abschnitt wird die Rede von ›Zeichen‹ und von ›Bildsein‹ ersetzt durch Explikate, die Eigenschaften bezeichnen, welche relevant dafür sind, dass x2 ein Bild bzgl. B, x3 und M ist – derart, dass deutlich wird, inwiefern Bilder Zeichen sind. Basis dieser – von Posner angeregten – Explikationen sind intentionale Beziehungen und Bewirken. Aus den Begriffspräzisierungen ergeben sich Einsichten sowohl in Bezug auf Eigenschaften, die typisch für Werke Bildender Kunst und einige andere kulturelle Praktiken sind, als auch in Bezug auf eine Abgrenzung zentraler Vertreter der Kategorie ›Bild‹ von eher nur bildhaften Symbolen. (shrink)

This essay is divided into two parts, deeply intermingled. Part I examines not only the origin of conscious experience but also how it is possible to ask of our own consciousness how it came to be. Part II examines the origin of experience itself, which soon reveals itself as the ontological question of Being. The chief premise of Part I is that symbolic communion and the categorizations of language have enabled human organisms to distinguish between themselves as actually existing (...) entities and their own immediate experience of themselves and their world. This enables them to reflect upon abstract concepts, including “self,” “experience,” and “world.” Symbolic communication and conceptualization grow out of identification, the act of first observing conscious experiencing and intimating what it is like, mimesis, a gestural protolanguage learned through imitation, and reflection, seeing oneself through the eyes of others. The step into actual intentional speech is made through self-assertion, narrative, and intersubjectivity. These three become the spiral of human cultural development that includes not only the adaptive satisfaction of our biological needs, but also the creativity of thought. With the mental-conceptual separation of subject and object – of self and world – the human ability to witness the universe (and each other) is the ground of our genuinely human quality. Consciousness gives human life its distinctively human reality. It is, therefore, one and the same ability that enables us to shape planet Earth by means of conceptual representations (rather than by means of our hands alone) while also awakening us to the significance of being. -/- Looking beyond human self-consciousness to investigate the origin and nature of awareness itself in Part 2, reductive objective materialism is found to be of little use. Direct experience also falls short in that, in order to be transformed into objective knowledge about itself, it must always be interpreted through and limited by the symbolic contexts of culture and the idiosyncratic conceptualizations of the individual. Awareness-in-itself must thus be considered ultimately unexplainable, but this may more indicate its inexpressible transcendence of all symbolic qualifiers than its nonexistence. It is suggested that awareness is not “self-aware” (as in deity) but is instead unknowing yet identical with the only true universal: the impetus of creative unfolding. Our human knowledge, as an expression of this unfolding, is seen to emerge from our conscious experiencing and, in turn, to have the power – and enormous responsibility – of directing that experience. Our underlying symbolic worldviews are found to be autopoietic: They limit or open our conscious experience, which, in turn, confirms those worldview expectations. As we explore a future of unforeseeable technological breakthroughs on an ailing planet who patiently copes with our “success,” truly vital decisions about the nature, meaning, extent, and future of conscious experience will have to be made. (shrink)

Art plays a significant role in Iris Murdoch’s moral philosophy, a major part of which may be interpreted as a proposal for the revision of religious belief. In this paper, I identify within Murdoch’s philosophical writings five distinct but related ways in which great art can assist moral/religious belief and practice: art can reveal to us “the world as we were never able so clearly to see it before”; this revelatory capacity provides us with evidence for the existence of the (...) Good, a metaphor for a transcendent reality of which God was also a symbol; art is a “hall of reflection” in which “everything under the sun can be examined and considered”; art provides us with an analogue for the way in which we should try to perceive our world; and art enables us to transcend our selfish concerns. I consider three possible objections: that Murdoch’s theory is not applicable to all forms of art; that the meaning of works of art is often ambiguous; and that there is disagreement about what constitutes a great work of art. I argue that none of these objections are decisive, and that all forms of art have at least the potential to furnish us with important tools for developing the insight required to live a moral/religious life. (shrink)

In philosophy of language, a distinction has been proposed by Diego Marconi between two aspects of lexical competence, i.e. referential and inferential competence. The former accounts for the relation-ship of words to the world, the latter for the relationship of words among themselves. The aim of the pa-per is to offer a critical discussion of the kind of formalisms and computational techniques that can be used in Artificial Intelligence to model the two aspects of lexical competence, and of the main (...) difficulties related to the use of these computational techniques. The first conclusion of our discussion is that the dis-tinction between inferential and referential semantics is instantiated in the literature of Artificial Intelli-gence by the distinction between symbolic and connectionist approaches. The second conclusion of our discussion is that the modelling of lexical competence needs the advent of hybrid models integrating symbolic and connectionist frameworks. Our hypothesis is that Conceptual Spaces, a framework devel-oped by Gärdenfors more than fifteen years ago, can offer a lingua franca that allows to unify and gener-alize many aspects of the representational approaches mentioned above and to integrate “inferential” (=symbolic) and “referential” (=connectionist) computational approaches on common ground. (shrink)

Susanne Langer is mainly known as the American philosopher who, starting from her famous Philosophy in a New Key, worked in aesthetics and famously saw art as the product of the human mind’s most important, distinctive and remarkable ability, i.e., the ability to symbolise. But Langer’s later consideration of the connection between art and symbol is propagated by an early interest in the logic of symbols themselves. This rather neglected early part of Langer’s thought and her early interests and lines (...) of reasoning, which she somehow abandoned later on to dedicate herself exclusively to the study of art, are the topic of this paper. (shrink)

Whether and to what extent Ernst Cassirer’s philosophy of culture contains a normative element for the proper evaluation of symbolic forms is a central question in Cassirer interpretation. In this paper, my aim is to specify the nature of this normative element. I not only assert the existence of a real normative dimension in the philosophy of culture, but also specify the nature of its main element: the concept of freedom. The concept of freedom in Cassirer is by no (...) means an explicit facet of his systematic thought. However, this does not indicate that this is not an important part of his system. Rather, it might mean that Cassirer either thought it so basic he didn’t need to explicate it or he thought that it would be made clear through his exposition of symbolic forms. I will proceed by arguing for a “normative space” in Cassirer’s philosophy of culture. By “normative space” I mean a certain limitation to the philosophy of culture that makes room for the free act of the cultural agent for which she is responsible. In other words, by “normative space” I mean to suggest that Cassirer meant to leave room, and a prominent seat, for the normative element in the philosophy of culture. After establishing this, I will suggest that this normative task in the philosophy of culture is, from a first-person perspective, inevitably connected to the descriptive task, but from a third-person perspective, conceptually distinct. I will then move to better define what I take to be the main value of the normative task: freedom. The freedom that Cassirer defends is an ethical conception understood as both a constitutive norm for cultural action and a regulative ideal for the evaluation of cultural objects. Understanding freedom in this way allows us to conceive of it both as a fundamental phenomenon and an evaluative standard. (shrink)

Relying on evidence from fifteen epigraphic collections and sixty-odd ancient sources as well as discussing a literature of over five hundred titles, the essay’s highly unorthodox conclusions are a case in point of the micrological ideal of achieving novelty on any given subject by way of transcribing and studying first-hand all relevant materials – edited and unedited alike. The paper’s ambition was to shed new light on one of the most intriguing analogies of the whole Aristotelian corpus, namely the comparison (...) between words and pebbles. A review of all material evidence and virtually all extant sources made short work of two related, albeit mutually exclusive, misconception about ancient reckoning boards and their workings: (1) the idea that – for all practical purposes – the abacus’ arrangement mirrored the decimal system, its columns and rows conveniently matching units, tens, hundreds, thousands, etc. (2) the idea that the inscriptions on several surviving counting boards were a nuisance to the extent that, being inconsistent to a fault with the decimal system itself, they made actual calculations harder than they already were (as opposed to making them easier, as one would expect). The paper demonstrated that the first assumption – the « decimal » bias – is simply mistaken and betrays little or no awareness of the epigraphic and archaeological evidence. The paper also demonstrated that the second assumption – the « abacus riddled with complications » bias – simply defeats the purpose of resorting to the abacus in the first place and betrays a poor understanding of its practical vocation which, most assuredly, was not to add to the very problem it was meant to solve. After bulldozing its way through both misunderstandings, the essay focused on the abacus most distinctive features, that is positionality (i.e. the abacus being a positional system through and through) and hybridity (i.e. the abacus’ place value system being monetary in nature and purpose, as opposed to it being abstract and homogeneous). The final result is an interpretation that moves away from the received views by showing that the prologue of the Sophistici elenchi offers no support to the notion that, when Aristotle referred to counters, he was leaning on a kinship of sorts – or any kinship, for that matter – between abstract calculation and speech. Once we turns the pebble’s simile on its head and set it back upon its feet (Aristotle’s pebble analogy is about pebbles, what else?), it becomes clear that it presupposed numeracy all right, but it was not about numeracy itself. Moreover its goal was not to explain why computational and linguistic symbolisms succeed, but to explain how they fail – failure being the whole point; in this particular instance, failure to detect and prevent abusive value shifts affecting words and counters alike. (shrink)