In 1964, the young Walter Kasper (born in 1933) was granted by the Faculty of Catholic Theology at Tübingen the licence to teach dogmatic theology on the basis of a thesis on Philosophie und Theologie der Geschichte in der Spätphilosophie Schellings (Philosophy and Theology of History in Schelling’s Late Philosophy). Kasper’s interest in Schelling, himself a student at the Evangelisches Stift at Tübingen, thus originated in the context of his university studies in the school of J.R. Geiselmann and developed in (...) parallel with his theological education. For this reason, it is impossible to form a correct idea of Kasper and his whole theology unless one is willing to take into account this background, not least because he himself has always consciously and forcefully recognised this fact and seen in it his own centre of gravity. Kasper’s work and thought were shaped in a lasting manner during his university years. In fact, his entire academic oeuvre has been nurtured from this fecund origin so much so that he became one of the most well known names associated with the Catholic school at Tübingen to which he gave a new, creative impulse having himself been profoundly inspired by it. ‘He always emphasised his own roots not only as a teacher of theology and a member of the teaching faculty of this institution, but also as bishop’ and cardinal. The principal intention of the present article is precisely this: to return to this beginning and elucidate these decisive years for Kasper in broad outline by way of a relecture and interpretation of his book on The Absolute in History and the particular manner in which he interpreted the so-called second Schelling, an author whom he approached in the wake of Walter Schulz and at practically the same time as Xavier Tilliette. The analysis will subsequently move on into the more properly theological field. (shrink)

PREMISSA No século XIX, ocorreram transformações impulsionadas pela emergência de novas fontes energéticas (água e petróleo), por novos ramos industriais e pela alteração profunda nos processos produtivos, com a introdução de novas máquinas e equipamentos. Depois de 300 anos de exploração por parte das nações europeias, iniciou -se, principalmente nas colônias latino-americanas, um processo intenso de lutas pela independência. É no século XIX, já com a consolidação do sistema capitalista na Europa, que se encontra a herança intelectual mais próxima da (...) qual surgirá a Sociologia como ciência particular. No início desse século, as ideias do Conde de Saint-Simon (1760-1825), de Georg Wilhelm Friedrich Hegel (1770-1831), de David Ricardo (1772-1823) e de Charles Darwin (1809-1882), entre outros, foram o elo para que Alexis de Tocqueville (1805-1859), Auguste Comte (1798-1857), Karl Marx (1818 -1883) e Herbert Spencer (1820-1903), entre outros, desenvolvessem reflexões sobre a sociedade de seu tempo. Auguste Comte e Karl Marx foram os pensadores que lançaram as bases do pensamento sociológico e de duas grandes tradições – a positivista e a socialista – que muito influenciaram o desenvolvimento da Sociologia no Brasil. 1 AUGUSTE COMTE E A TRADIÇÃO POSITIVISTA Isidore Auguste Marie François Xavier Comte nasceu em Montpellier, na França, em 19 de janeiro de 1798. Com 16 anos de idade, ingressou na Escola Politécnica de Paris, fato que teria significativa influência na orientação posterior de seu pensamento. De 1817 a 1824, foi secretário do Conde de Saint-Simon. Comte declarou que, com Saint -Simon, aprendeu muitas coisas que jamais encontraria nos livros e que, no pouco tempo em que conviveu com o conde, fez mais progressos do que faria em muitos anos, se estivesse sozinho. Toda a obra de Comte está permeada pelos acontecimentos que ocorreram após a Revolução Francesa de 1789. Ele defendeu parte dos princípios revolucionários e criticou a restauração da monarquia, preocupando-se fundamentalmente em reorganizar a sociedade, que, no seu entender, estava em ebulição e mergulhada no caos. Para Comte, a desordem e a anarquia imperavam em virtude da confusão de princípios (metafísicos e teológicos), que não se adequavam à sociedade industrial em expansão. Era, portanto, necessário superar esse estado de coisas, usando a razão como fundamento da nova sociedade. Propôs, então, a mudança da sociedade por meio da reforma intelectual plena das pessoas. De acordo com o pensador, com a modificação do pensamento humano, por meio do método científico, que ele chamava de “filosofia positiva”, haveria uma reforma das instituições. Com a proposta do estudo da sociedade por meio da análise de seus processos e estruturas, e da reforma prática das instituições, Comte criou uma nova ciência, à qual deu o nome de “física social”, passando a chamá-la posteriormente de Sociologia. A Sociologia representava, para Comte, o coroamento da evolução do conhecimento, mediante o emprego de métodos utilizados por outras ciências, que buscavam conhecer os fenômenos constantes e repetitivos da natureza: a observação, a experimentação, a comparação e a classificação. De acordo com esse pensador, a Sociologia, como as ciências naturais, deve sempre procurar a reconciliação entre os aspectos estáticos e os dinâmicos do mundo natural ou, no caso da sociedade humana, entre a ordem e o progresso. O lema da “filosofia positiva” proposta por Comte era “conhecer para prever, prever para prover”, ou seja, o conhecimento é necessário para fazer previsões e também para solucionar possíveis problemas. A influência de Comte no desenvolvimento da Sociologia foi marcante, sobretudo, na escola francesa, evidenciando-se em Émile Durkheim e seus contemporâneos e seguidores. Seu pensamento esteve presente em muitas das tentativas de criar tipologias para explicar a sociedade. Suas principais obras são: Curso de filosofia positiva (1830-1842), Discurso sobre o espírito positivo (1848), Catecismo positivista (1852) e Sistema de política positiva (1854). Para concluirmos, Comte explanava que para a superação da anarquia reinante na nova sociedade industrial, a filosofia positivista defendia a subordinação do progresso à ordem. O mesmo era contra o retorno de Luís XVIII ao trono: em sua concepção, a sociedade industrial que emergia requeria um governo fundado na razão. 2 A TRADIÇÃO SOCIALISTA: KARL MARX E FRIEDRICH ENGELS Karl Heinrich Marx nasceu em Tréveris, na antiga Prússia, hoje Alemanha, em 1818 e, em 1830, ingressou no Liceu Friedrich Wilhelm, nessa mesma cidade. Anos depois, foi cursar Direito na Universidade de Bonn, transferindo-se para Berlim em seguida. Pouco a pouco, entretanto, seus interesses migraram para a Filosofia, área na qual defendeu, em 1841, a tese de doutorado A diferença da filosofia da natureza em Demócrito e Epicuro. Sua vida universitária foi marcada pelo debate político e intelectual influenciado pelo pensamento de Ludwig Feuerbach (1804-1872) e, principalmente, pelo de Georg Wilhelm Friedrich Hegel (1770- 1831). Friedrich Engels (1820-1895) nasceu em Barmen (Renânia), na antiga Prússia, hoje Alemanha, filho mais velho de um rico industrial do ramo têxtil. Terminou sua formação secundária em 1837 e a partir de então sua formação intelectual foi por conta própria (autodidata), com alguns cursos universitários esparsos e de curta duração. Desde cedo começou a trabalhar nas empresas de seu pai e foi nessa condição que se deslocou para Bremen por três anos e depois foi enviado pelos pais a Manchester, na Inglaterra, onde trabalhou nas fábricas da família. Engels ficou impressionado com a miséria na qual viviam os trabalhadores das fábricas inglesas. Os dois, Marx e Engels, se encontraram em 1842, quando Marx passou a escrever para A Gazeta Renana, jornal da província de Colônia, do qual Engels era colaborador e mais tarde editor-chefe. O jornal, que criticava o poder prussiano, foi fechado em 1843, e Marx se viu desempregado. Ao perder o emprego, mudou-se para Paris, na França. Ali escreveu, em 1844, os Manuscritos econômico-filosóficos (só publicados em 1932) e, junto com F. Engels, o livro A sagrada família. Por sua vez, F. Engels, em 1844, decidiu voltar para a Alemanha, onde publicou, em 1845, A situação da classe trabalhadora na Inglaterra. Entre 1845 e 1847, Marx exilou-se em Bruxelas, na Bélgica, onde escreveu A ideologia alemã (em parceria com Friedrich Engels) e Miséria da filosofia (1847), obra na qual criticou o filósofo Pierre-Joseph Proudhon (1809-1865). Em 1848, ainda na Bélgica, a parceria com Engels se solidificou ao escreverem juntos o livreto O Manifesto Comunista. Em 1848, Marx foi expulso da Bélgica e retornou a Colônia, na Alemanha (Prússia), sempre pensando na possibilidade de uma mudança estrutural em sua terra natal. Isso, entretanto, não aconteceu e Marx foi expulso da Alemanha em 1849, ano em que migrou para Londres, na Inglaterra, onde permaneceu até o fim da vida. Lá escreveu O 18 Brumário de Luís Bonaparte (1852), sua mais importante obra de reflexão sobre a vida política europeia do século XIX, desenvolveu pesquisas e concluiu seu maior trabalho: O capital: crítica da economia política. O primeiro volume dessa obra foi publicado em 1867; os outros três, em 1885, 1894 e 1905, após a morte de Marx, revisados por F. Engels. 2.1 O contexto histórico e a obra de Marx e Engels Para situar a obra de Marx e Engels, é necessário conhecer um pouco do que acontecia em meados do século XIX. Com as transformações que ocorriam no mundo ocidental, principalmente na esfera da produção industrial, houve um crescimento expressivo no número de trabalhadores industriais urbanos, com uma consequência evidente: precariedade da vida dos operários nas cidades. As condições de trabalho no interior das fábricas eram péssimas. Os empregados eram superexplorados, alimentavam-se mal e trabalhavam em ambientes insalubres. Para enfrentar essa situação e tentar modificá-la, os trabalhadores passaram a se organizar em associações e sindicatos e a promover movimentos de reivindicação. Desenvolveu-se, então, uma discussão das condições sociais, políticas e econômicas para se definirem as possibilidades de intervenção nessa realidade. Desde o início do século XIX, muitos pensadores discutiram essas questões, nas perspectivas socialista e anarquista. Na Inglaterra podem ser citados, entre outros: William Godwin (1756-1836), Thomas Spence (1750-1814), Thomas Paine (1737-1809), Robert Owen (1771-1858) e Thomas Hodgkin (1787-1866). Na França, destacaram-se Étienne Cabet (1788- 1856), Flora Tristan (1803-1844), Charles Fourier (1772-1837) e Pierre-Joseph Proudhon (1809-1865). Marx e Engels levaram em conta esses pensadores, debatendo com alguns contemporâneos e criticando-os. Além disso, incorporaram a tradição da economia clássica inglesa, presente principalmente nas obras de Adam Smith e de David Ricardo. Pode-se dizer, portanto, que Marx e Engels desenvolveram seu trabalho com base na análise crítica da economia política inglesa, do socialismo utópico francês e da filosofia alemã. Esses dois autores não buscavam definir uma ciência específica para estudar a sociedade (como a Sociologia, para Auguste Comte) ou situar seu trabalho em um campo científico particular. Em alguns escritos, Marx afirmou que a História seria a ciência que mais se aproximava de suas preocupações, por abarcar as múltiplas dimensões da sociedade, a qual deveria ser analisada na totalidade, não havendo uma separação rígida entre os aspectos sociais, econômicos, políticos, ideológicos, religiosos, culturais etc. O objetivo de Marx e Engels era estudar criticamente a sociedade capitalista com base em seus princípios constitutivos e em seu desenvolvimento, visando dotar a classe trabalhadora de uma análise política da sociedade de seu tempo. Assim, a tradição socialista nascida da luta dos trabalhadores, muitos anos antes e em situações diferentes, tem como expressão intelectual o pensamento de Karl Marx e Friedrich Engels. Para entender as concepções fundamentais de Marx e Engels é necessário fazer a conexão entre as lutas da classe trabalhadora, suas aspirações e as ideias revolucionárias que estavam presentes no século XIX na Europa. Para eles, o conhecimento científico da realidade só tem sentido quando visa à transformação dessa mesma realidade. A separação entre teoria e prática não é discutida, pois a “verdade histórica” não é algo abstrato e que se define teoricamente; sua verificação está na prática. Apesar de haver algumas diferenças em seus escritos, os elementos essenciais do pensamento de Marx e Engels podem ser assim sintetizados: • historicidade das ações humanas – crítica ao idealismo alemão; • divisão social do trabalho e o surgimento das classes sociais – a luta de classes; • o fetichismo da mercadoria e o processo de alienação; • crítica à economia política e ao capitalismo; • transformação social e revolução; • utopia – sociedade comunista. A obra desses dois autores é muito vasta e não ficou vinculada estritamente aos movimentos sociais dos trabalhadores. Pouco a pouco foi introduzida nas universidades como parte do estudo em diferentes áreas do conhecimento. Estudiosos de Filosofia, Sociologia, Ciência Política, Economia, História e Geografia, entre outras áreas, foram influenciados por ela. Na Sociologia, como afirma Irving M. Zeitlin, no livro Ideología y teoría sociológica, tanto Max Weber quanto Émile Durkheim fizeram, em suas obras, um debate com as ideias de Karl Marx. Pelas análises da sociedade capitalista de seu tempo e a repercussão que tiveram em todo o mundo, principalmente no século XX, nos movimentos sociais e nas universidades, Marx e Engels são considerados autores clássicos da Sociologia. No campo dessa disciplina, porém, o pensamento deles ficou um pouco restrito, pois perdeu aquela relação entre teoria e prática (práxis), ou seja, entre a análise crítica e a prática revolucionária. Essa relação esteve presente, por exemplo, na vida e na obra dos russos Vladimir Ilitch Ulianov, conhecido como Lênin (1870-1924), e Leon D. Bronstein, conhecido como Trotsky (1879-1940), da alemã Rosa Luxemburgo (1871-1919) e do italiano Antonio Gramsci (1891- 1937), que tiveram significativa influência no movimento operário do século XX. Com base no trabalho de Marx e Engels, muitos autores desenvolveram estudos acadêmicos em vários campos do conhecimento. Podemos citar, por exemplo, Georg Lukács (1885-1971), Theodor Adorno (1903-1969), Walter Benjamin (1892-1940), Henri Lefebvre (1901-1991), Lucien Goldmanm (1913 -1970), Louis Althusser (1918 -1990), Nikos Poulantzas (1936-1979), Edward P. Thompson (1924-1993) e Eric Hobsbawm (1917 -2012). O pensamento de Marx e Engels continua, assim, presente em todo o mundo, com múltiplas tendências e variações, sempre gerando controvérsias. REFERENCIAL TEÓRICO GEMKOW, H.; PSUA, I. M. L. Marx e Engels: Vida e Obra. São Paulo: Alfa e Ômega, 1984. 232 pp. GIANOTTI, J. A. Comte. São Paulo: Abril Cultural, 1978. 318 pp. (Col. Os Pensadores) KONDER, L. Marx: vida e obra. 7ª ed. São Paulo: Paz e Terra, 2007. 154 pp. (Col. Vida e Obra). (shrink)

According to intensional approaches to modeling content (such as "possible worlds semantics"), sentences which are logically equivalent express the same proposition. Partisans of hyperintensionality think this is too coarse-grained. Though there has been substantial interest recently in developing hyperintensional approaches to modeling content, we are still in early days: it is not clear how fine-grained propositions are on the various approaches, and we do not have a systematic map of how the various approaches relate to each other. In this paper, (...) I begin to sketch that map: I show that two prominent hyperintensional approaches can be seen not as rivals but, in large part, as two sides of the same coin. One is the truthmaker semantics, and the other, the "two-component" approach, models propositions as ordered pairs of "truth-conditional content'' and "subject matter''. I show, in particular, that certain versions of the two approaches approaches actually converge when it comes to these questions of fineness of grain. (shrink)

Harry Frankfurt has argued that Descartes’s madness doubt in the First Meditation is importantly different from his dreaming doubt. The madness doubt does not provide a reason for doubting the senses since were the meditator to suppose he was mad his ability to successfully complete the philosophical investigation he sets for himself in the first few pages of the Meditations would be undermined. I argue that Frankfurt’s interpretation of Descartes’s madness doubt is mistaken and that it should be understood as (...) playing the same role as his more famous dreaming doubt. I focus my discussion around four questions: (Q1) What does the meditator have in mind when speaking of madness?, (Q2) Why does the meditator so quickly dismiss the madness doubt but take seriously the dreaming doubt?, (Q3) Does the madness doubt have the same scope as the dreaming doubt?, and (Q4) Why does the meditator bring up the madness doubt at all? (shrink)

Mental causation is a problem and not just a problem for the nonphysicalist. One of the many lessons learned from Jaegwon Kim’s writings in the philosophy of mind is that mental causation is a problem for the nonreductive physicalist as well. A central component of the common sense picture we have of ourselves as persons is that our beliefs and desires causally explain our actions. But the completeness of the “brain sciences” threatens this picture. If all of our actions are (...) causally explained by neurophysiological events occurring in our brains, what causal role is left for our reasons and motives? It would seem that these brain events do all the causal work there is to do, thus robbing the mental of its efficacy altogether or else making it a merely superfluous or redundant causal factor. This essay presents a systematic treatment of this exclusion dilemma from the perspective of a nonreductive physicalist. I argue that both horns of this dilemma can be avoided if we ground mental causation in counterfactual dependence between distinct events and understand the mind-body relation as event realization. Although in the final analysis our actions are overdetermined by their mental and neurophysiological antecedents, this overdetermination is entirely unproblematic. (shrink)

Mark Johnston (2016, 2017) has raised concerns that a worm-theoretic account of persistence through time is incompatible with ethical singularity: that within the life of any actual person, there is only one morally considerable being, namely that person. To deny ethical singularity is to deny a core feature of our ordinary ethical and prudential thinking. The worm theory, Johnston concludes, proves to be “disastrous … for our ordinary moral outlook”. This paper defends the worm theory from Johnston’s argument. Though I (...) agree that the worm theory must deny ethical singularity, it can nevertheless be squared with our ordinary ethical thinking by adopting a temporal counterpart analysis of temporal predication (‘x will be F’, ‘x was previously F’, etc.) for those morally considerable beings involved in a person’s life that are not the person. (shrink)

With the recent renewed interest in AI, the field has made substantial advancements, particularly in generative systems. Increased computational power and the availability of very large datasets has enabled systems such as ChatGPT to effectively replicate aspects of human social interactions, such as verbal communication, thus bringing about profound changes in society. In this paper, we explain that the arrival of generative AI systems marks a shift from ‘interacting through’ to ‘interacting with’ technologies and calls for a reconceptualization of socio-technical (...) systems as we currently understand them. We dub this new generation of socio-technical systems synthetic to signal the increased interactions between human and artificial agents, and, in the footsteps of philosophers of information, we cash out agency in terms of ‘poiêsis’. We close the paper with a discussion of the potential policy implications of synthetic socio-technical system. -/- . (shrink)

In this paper we identify and characterize an analysis of two problematic aspects affecting the representational level of cognitive architectures (CAs), namely: the limited size and the homogeneous typology of the encoded and processed knowledge. We argue that such aspects may constitute not only a technological problem that, in our opinion, should be addressed in order to build arti cial agents able to exhibit intelligent behaviours in general scenarios, but also an epistemological one, since they limit the plausibility of the (...) comparison of the CAs' knowledge representation and processing mechanisms with those executed by humans in their everyday activities. In the fi nal part of the paper further directions of research will be explored, trying to address current limitations and future challenges. (shrink)

Manufacturing and industry practices are undergoing an unprecedented revolution as a consequence of the convergence of emerging technologies such as artificial intelligence, robotics, cloud computing, virtual and augmented reality, among others. This fourth industrial revolution is similarly changing the practices and capabilities of operators in their industrial environments. This paper introduces and explores the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in the technologies that constitute it. (...) The design approach known as value sensitive design (VSD) is used to explore how these Operator 4.0 technologies can be designed for human values. Expert elicitation surveys were used to determine the values of industry stakeholders and examples of how the VSD methodology can be adopted by engineers in order to design for these values is illustrated. The results provide preliminary adoption strategies that industrial teams can take to Operator 4.0 technology for human values. (shrink)

Book Description (Blurb): Cognitive Design for Artificial Minds explains the crucial role that human cognition research plays in the design and realization of artificial intelligence systems, illustrating the steps necessary for the design of artificial models of cognition. It bridges the gap between the theoretical, experimental and technological issues addressed in the context of AI of cognitive inspiration and computational cognitive science. -/- Beginning with an overview of the historical, methodological and technical issues in the field of Cognitively-Inspired Artificial Intelligence, (...) Lieto illustrates how the cognitive design approach has an important role to play in the development of intelligent AI technologies and plausible computational models of cognition. Introducing a unique perspective that draws upon Cybernetics and early AI principles, Lieto emphasizes the need for an equivalence between cognitive processes and implemented AI procedures, in order to realise biologically and cognitively inspired artificial minds. He also introduces the Minimal Cognitive Grid, a pragmatic method to rank the different degrees of biologically and cognitive accuracy of artificial systems in order project and predict their explanatory power with respect to the natural systems taken as source of inspiration. -/- Providing a comprehensive overview of cognitive design principles in constructing artificial minds, this text will be essential reading for students and researchers of artificial intelligence and cognitive science. (shrink)

An ontology of Leibnizian relationalism, consisting in distance relations among sparse matter points and their change only, is well recognized as a serious option in the context of classical mechanics. In this paper, we investigate how this ontology fares when it comes to general relativistic physics. Using a Humean strategy, we regard the gravitational field as a means to represent the overall change in the distance relations among point particles in a way that achieves the best combination of being simple (...) and being informative. (shrink)

The goal of this essay is twofold. First, it provides a quick look at the foundations of modern relational mechanics by tracing its development from Julian Barbour and Bruno Bertotti's original ideas until present-day's pure shape dynamics. Secondly, it discusses the most appropriate metaphysics for pure shape dynamics, showing that relationalism is more of a nuanced thesis rather than an elusive one. The chapter ends with a brief assessment of the prospects of pure shape dynamics in light of quantum physics.

Causal contextualism holds that sentences of the form ‘c causes e’ have context-sensitive truth-conditions. We consider four arguments invoked by Jonathan Schaffer in favor of this view. First, he argues that his brand of contextualism helps solve puzzles about transitivity. Second, he contends that how one describes the relata of the causal relation sometimes affects the truth of one’s claim. Third, Schaffer invokes the phenomenon of contrastive focus to conclude that causal statements implicitly designate salient alternatives to the cause and (...) effect. Fourth, he claims that the appropriateness of a causal statement depends on what is contextually taken for granted or made salient. We show that causal invariantism can explain these linguistic data at least as well as contextualism. We then argue that pace Schaffer, some causal sentences are always correct and can never be plausibly denied, regardless of the context. (shrink)

We present a new metaphysical framework for physics that is conceptually clear, ontologically parsimonious, and empirically adequate. This framework relies on the notion of self-subsisting structure, that is, a set of fundamental physical elements whose individuation and behavior are described in purely relational terms, without any need for a background spacetime. Although the specification of the fundamental elements of the ontology depends on the particular physical domain considered---and is thus susceptible to scientific progress---, the empirically successful structural features of the (...) framework are preserved through theory change. The kinematics and dynamics of these self-subsisting structures are technically implemented using the theoretical framework of Pure Shape Dynamics, which provides a completely relational physical description of a system in terms of the intrinsic geometry of a suitably defined space called shape space. (shrink)

The proposal of moral enhancement as a valuable means to face the environmental, technological and social challenges that threaten the future of humanity has been criticized by a number of authors. One of the main criticisms has been that moral enhancement would diminish our freedom. It has been said that moral enhancement would lead enhanced people to lose their ‘freedom to fall’, that is, it would prevent them from being able to decide to carry out some morally bad actions, and (...) the possibility to desire and carry out these bad actions is an essential ingredient of free will, which would thus be limited or destroyed—or so the argument goes. In this paper we offer an answer to this criticism. We contend that a morally enhanced agent could lose the ‘freedom to fall’ without losing her freedom for two reasons. First, because we do not consider that a morally well-educated person, for whom the ‘freedom to fall’ is a remote option, is less free than an evildoer, and there is no reason to suppose that bioenhancement introduces a significant difference here. Second, because richness in the amount of alternative possibilities of action may be restored if the stated loss is compensated with an improvement in sensitivity and lucidity that can lead to seeing new options and nuances in the remaining possible actions. (shrink)

The paper discusses from a metaphysical standpoint the nature of the dependence relation underpinning the talk of mutual action between material and spatiotemporal structures in general relativity. It is shown that the standard analyses of dependence in terms of causation or grounding are ill-suited for the general relativistic context. Instead, a non-standard analytical framework in terms of structural equation modeling is exploited, which leads to the conclusion that the kind of dependence encoded in the Einstein field equations is a novel (...) one. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of combining prototypical concepts, an open problem in the fields of AI and cognitive modelling. Our logic extends the logic of typicality ALC + TR, based on the notion of rational closure, by inclusions p :: T(C) v D (“we have probability p that typical Cs are Ds”), coming from the distributed semantics of probabilistic Description Logics. Additionally, it embeds a set of cognitive heuristics for concept (...) combination. We show that the complexity of reasoning in our logic is EXPTIME-complete as in ALC. (shrink)

The question of Absolute Generality is whether quantifiers are ever as general as can be. Absolutists claim that quantifiers sometimes are absolutely general, while Relativists claim that quantifiers are never absolutely general. Although diverse philosophers have found the Relativist ethos compelling, it has been hard to articulate a consistent thesis which says what the Relativist seems to want to say. In this paper, I offer Relativists a way forward: I argue that what is needed to successfully state Relativism is a (...) way of generalizing that is non-quantificational. After showing how to define such a device of generalization in terms of identity between properties in a higher-order logical language, I use the device to articulate a form of Relativism which I prove to be consistent and which I argue captures the intuitive vision of the Relativist. (shrink)

The paper shows how the Bohmian approach to quantum physics can be applied to develop a clear and coherent ontology of non-perturbative quantum gravity. We suggest retaining discrete objects as the primitive ontology also when it comes to a quantum theory of space-time and therefore focus on loop quantum gravity. We conceive atoms of space, represented in terms of nodes linked by edges in a graph, as the primitive ontology of the theory and show how a non-local law in which (...) a universal and stationary wave-function figures can provide an order of configurations of such atoms of space such that the classical space-time of general relativity is approximated. Although there is as yet no fully worked out physical theory of quantum gravity, we regard the Bohmian approach as setting up a standard that proposals for a serious ontology in this field should meet and as opening up a route for fruitful physical and mathematical investigations. (shrink)

The paper investigates the type of realism that best suits the framework of decoherence taken at face value without postulating a plurality of worlds, or additional hidden variables, or non-unitary dynamical mechanisms. It is argued that this reading of decoherence leads to an extremely radical type of perspectival realism, especially when cosmological decoherence is considered.

This paper elaborates on relationalism about space and time as motivated by a minimalist ontology of the physical world: there are only matter points that are individuated by the distance relations among them, with these relations changing. We assess two strategies to combine this ontology with physics, using classical mechanics as example: the Humean strategy adopts the standard, non-relationalist physical theories as they stand and interprets their formal apparatus as the means of bookkeeping of the change of the distance relations (...) instead of committing us to additional elements of the ontology. The alternative theory strategy seeks to combine the relationalist ontology with a relationalist physical theory that reproduces the predictions of the standard theory in the domain where these are empirically tested. We show that, as things stand, this strategy cannot be accomplished without compromising a minimalist relationalist ontology. (shrink)

In this article we present an advanced version of Dual-PECCS, a cognitively-inspired knowledge representation and reasoning system aimed at extending the capabilities of artificial systems in conceptual categorization tasks. It combines different sorts of common-sense categorization (prototypical and exemplars-based categorization) with standard monotonic categorization procedures. These different types of inferential procedures are reconciled according to the tenets coming from the dual process theory of reasoning. On the other hand, from a representational perspective, the system relies on the hypothesis of conceptual (...) structures represented as heterogeneous proxytypes. Dual-PECCS has been experimentally assessed in a task of conceptual categorization where a target concept illustrated by a simple common-sense linguistic description had to be identified by resorting to a mix of categorization strategies, and its output has been compared to human responses. The obtained results suggest that our approach can be beneficial to improve the representational and reasoning conceptual capabilities of standard cognitive artificial systems, and –in addition– that it may be plausibly applied to different general computational models of cognition. The current version of the system, in fact, extends our previous work, in that Dual-PECCS is now integrated and tested into two cognitive architectures, ACT-R and CLARION, implementing different assumptions on the underlying invariant structures governing human cognition. Such integration allowed us to extend our previous evaluation. (shrink)

We propose a nonmonotonic Description Logic of typicality able to account for the phenomenon of the combination of prototypical concepts. The proposed logic relies on the logic of typicality ALC + TR, whose semantics is based on the notion of rational closure, as well as on the distributed semantics of probabilistic Description Logics, and is equipped with a cognitive heuristic used by humans for concept composition. We first extend the logic of typicality ALC + TR by typicality inclusions of the (...) form p :: T(C) v D, whose intuitive meaning is that “we believe with degree p about the fact that typical Cs are Ds”. As in the distributed semantics, we define different scenarios containing only some typicality inclusions, each one having a suitable probability. We then exploit such scenarios in order to ascribe typical properties to a concept C obtained as the combination of two prototypical concepts. We also show that reasoning in the proposed Description Logic is EXPTIME-complete as for the underlying standard Description Logic ALC. (shrink)

The dynamics of general relativity is encoded in a set of ten differential equations, the so-called Einstein field equations. It is usually believed that Einstein's equations represent a physical law describing the coupling of spacetime with material fields. However, just six of these equations actually describe the coupling mechanism: the remaining four represent a set of differential relations known as Bianchi identities. The paper discusses the physical role that the Bianchi identities play in general relativity, and investigates whether these identities (...) --qua part of a physical law-- highlight some kind of a posteriori necessity in a Kripkean sense. The inquiry shows that general relativistic physics has an interesting bearing on the debate about the metaphysics of the laws of nature. (shrink)

This short paper is a "quick and dirty" introduction for non-philosophers (with some background in propositional logic) to Jaegwon Kim's famous supervenience argument against non-reductive physicalism (also known as the exclusion problem). It motivates the problem of mental causation, introduces Kim's formulation of the issue centered around mind-body supervenience, presents the argument in deductive form, and makes explicit why Kim concludes that vindicating mental causation demands a reduction of mind.

The paper presents the heterogeneous proxytypes hypothesis as a cognitively-inspired computational framework able to reconcile, in both natural and artificial systems, different theories of typicality about conceptual representation and reasoning that have been traditionally seen as incompatible. In particular, through the Dual PECCS system and its evolution, it shows how prototypes, exemplars and theory-theory like conceptual representations can be integrated in a cognitive artificial agent (thus extending its categorization capabilities) and, in addition, can provide useful insights in the context of (...) a computationally grounded science of the mind. (shrink)

In this paper we propose a computational framework aimed at extending the problem solving capabilities of cognitive artificial agents through the introduction of a novel, goal-directed, dynamic knowledge generation mechanism obtained via a non monotonic reasoning procedure. In particular, the proposed framework relies on the assumption that certain classes of problems cannot be solved by simply learning or injecting new external knowledge in the declarative memory of a cognitive artificial agent but, on the other hand, require a mechanism for the (...) automatic and creative re-framing, or re-formulation, of the available knowledge. We show how such mechanism can be obtained trough a framework of dynamic knowledge generation that is able to tackle the problem of commonsense concept combination. In addition, we show how such a framework can be employed in the field of cognitive architectures in order to overcome situations like the impasse in SOAR by extending the possible options of its subgoaling procedures. (shrink)

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

In actuarial parlance, the price of an insurance policy is considered fair if customers bearing the same risk are charged the same price. The estimate of this fair amount hinges on the expected value obtained by weighting the different claims by their probability. We argue that, historically, this concept of actuarial fairness originates in an Aristotelian principle of justice in exchange (equality in risk). We will examine how this principle was formalized in the 16th century and shaped in life insurance (...) during the following two hundred years, in two different interpretations. The Domatian account of actuarial fairness relied on subjective uncertainty: An agreement on risk was fair if both parties were equally ignorant about the chances of an uncertain event. The objectivist version grounded any agreement on an objective risk estimate drawn from a mortality table. We will show how the objectivist approach collapsed in the market for life annuities during the 18th century, leaving open the question of why we still speak of actuarial fairness as if it were an objective expected value. (shrink)

I will present the rationale followed for the conceptualization and the following development the Dual PECCS system that relies on the cognitively grounded heterogeneous proxytypes representational hypothesis [Lieto 2014]. Such hypothesis allows integrating exemplars and prototype theories of categorization as well as theory-theory [Lieto 2019] and has provided useful insights in the context of cognitive modelling for what concerns the typicality effects in categorization [Lieto, 2021]. As argued in [Lieto et al., 2018b] a pivotal role in this respect is played (...) by the use of the conceptual spaces framework and by its integration with a symbolic knowledge representation layer. (shrink)

An important part of the influential Humean doctrine in philosophy is the supervenience principle (sometimes referred to as the principle of separability). This principle asserts that the complete state of the world supervenes on the intrinsic properties of its most fundamental components and their spatiotemporal relations (the so-called Humean mosaic). There are well-known arguments in the literature purporting to show that in quantum mechanics the Humean supervenience principle is violated, due to the existence of entangled states. Recently, however, arguments have (...) been presented to the effect that the supervenience principle can be defended in Bohmian mechanics. The key element of this strategy lies in the observation that according to Bohmian mechanics the fundamental facts about particles are facts about their spatial locations, and moreover, for any proper subsystem of the world its state may non-trivially depend on the spatial configuration of the rest of the universe. Thus quantum-mechanical states of subsystems do not represent their intrinsic properties but rather characterize their relations with the environment. In this paper we point out the worry that this Bohmian strategy --known as Bohumianism-- saves the letter but not the spirit of the Humean doctrine of supervenience, since it prima facie violates another seemingly important Humean principle, which we call Strong Supervenience and whose denial implies the existence of necessary connections among distinct individuals. We argue that the best defense for Bohumians is to question the fundamental existence of complex physical systems and their states by treating any reference to them as a convenient description of the underlying collection of Bohmian particles. We consider several pros and cons of this strategy. (shrink)

In this paper a possible general framework for the representation of concepts in cognitive artificial systems and cognitive architectures is proposed. The framework is inspired by the so called proxytype theory of concepts and combines it with the heterogeneity approach to concept representations, according to which concepts do not constitute a unitary phenomenon. The contribution of the paper is twofold: on one hand, it aims at providing a novel theoretical hypothesis for the debate about concepts in cognitive sciences by providing (...) unexplored connections between different theories; on the other hand it is aimed at sketching a computational characterization of the problem of concept representation in cognitively inspired artificial systems and in cognitive architectures. (shrink)

Le architetture della lotta armata e le domande di Antigone.

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

The paper introduces an extension of the proposal according to which conceptual representations in cognitive agents should be intended as heterogeneous proxytypes. The main contribution of this paper is in that it details how to reconcile, under a heterogeneous representational perspective, different theories of typicality about conceptual representation and reasoning. In particular, it provides a novel theoretical hypothesis - as well as a novel categorization algorithm called DELTA - showing how to integrate the representational and reasoning assumptions of the theory-theory (...) of concepts with the those ascribed to the prototype and exemplars-based theories. (shrink)

We intoduce a novel extension of Description Logics (DLs) of typicality by means of probabilities able to represent and reason about typical properties and defeasible inheritance in DLs.

Is attention both necessary and sufficient for consciousness? Call this central question of this treatise, “Q.” We commonly have the experience of consciously paying attention to something, but is it possible to be conscious of something you are not attending to, or to attend to something of which you are not conscious? Where might we find examples of these? This treatise is a quest to find an answer to Q in two parts. Part I reviews the foundations upon which the (...) discourse on Q is built. Different inputs to Q produce different answers. After consideration of the many ways “attention” and “consciousness” have been defined, I settle upon phenomenal consciousness and Executive Attention (defined as a suite of strategies for structuring cognition for further processing implemented by the executive of working memory) as the most interesting inputs to Q, and the ones on which Part II focuses. Attention without consciousness seems relatively easy to establish empirically, but consciousness without attention is much harder. The putative candidates all seem to have major problems, but I build a strong abductive case for the hitherto ignored case of foveal phenomenal overflow. We consciously see far more detail in our foveal fields than we can Executively Attend, although there is a serious obstacle to our ever confirming that empirically—identifying conscious content relies on Executive Attentional report. Triangulating the capacity limitations of attention, consciousness, and working memory strengthens this case for consciousness without attention, and suggests that cognition must work something like my “Witches’ Hat Model,” on which content can become conscious outside of Executive Attention or working memory. I conclude with some reflections on the implications of my arguments for the discourse on Q, and for other discourses such as the ontologies of attention and consciousness, theories of consciousness, some other cognitive concepts, and ethical considerations in humans, animals, and machines. A conclusive answer to Q continues to elude us. It may perhaps be an ultimately insoluble conundrum. But it is the very essence of humanity to seek an answer, and in so doing, to improve our understanding of our own nature: “The proper study of mankind is man.”1. (shrink)

The paper presents an extension of the metaphysics of self-subsisting structures set out in a companion paper to the realm of non-relativistic quantum physics. The discussion is centered around a Pure Shape Dynamics model representing a relational implementation of a de Broglie-Bohm N-body system. An interpretation of this model in terms of self-subsisting structures is proposed and assessed against the background of the debate on the metaphysics of quantum physics, with a particular emphasis on the nature of the wave function. (...) The analysis shows that elaborating an appropriate Leibnizian/Machian metaphysics of the quantum world requires a substantial revision of the notion of world-building relation. (shrink)

The paper investigates the kind of dependence relation that best portrays Machian frame-dragging in general relativity. The question is tricky because frame-dragging relates local inertial frames to distant distributions of matter in a time-independent way, thus establishing some sort of non-local link between the two. For this reason, a plain causal interpretation of frame-dragging faces huge challenges. The paper will shed light on the issue by using a generalized structural equation model analysis in terms of manipulationist counterfactuals recently applied in (...) the context of metaphysical enquiry by Schaffer (2016) and Wilson (2017). The verdict of the analysis will be that frame-dragging is best understood in terms of a novel type of dependence relation that is half-way between causation and grounding. (shrink)

The term attention has been used to mean so many different things that some have despaired of it being useful at all. This paper is devoted to bringing a modicum of order to the chaos through the time-honored device of categorization. The chief purpose of this paper is to introduce a comprehensive descriptive taxonomy of the nuanced ways the term attention may be employed. It is presented in table form, followed by elucidations and illustrations of each of its items. But (...) first, I offer reasons why a taxonomy of attention is needed and explore some of its possible benefits. After presenting the taxonomy, I sketch by way of example how it might be applied to two interesting questions: is the umbrella term attention still useful?; and, what is it that ties the subdefinitions of attention together yet distinguishes them from other kinds of cognition? (shrink)

This paper analyzes the specific shift in the meaning of “civilization” that took place in texts and documents of early American philosophical naturalism. Particularly, it will focus on the specific role that naturalization plays in the edification of a newly secularized, science-oriented, and democratic society, as well as of a naturalized conception of culture and civilization. Indeed, as the work of many philosophers and intellectuals of the Forties highlights, naturalism represents not only the banner of a new idea of civilization, (...) but at the same time becomes the symbol of a powerful postwar ideology. (shrink)

The paper discusses the possible implications of the relational framework of Pure Shape Dynamics for the metaphysics of time. The starting point of the analysis is an interpretation of shapes in ontic structural realist terms, which gives rise to the notion of self-subsisting structure. The relational version of a Newtonian-particle toy model is introduced and discussed as a concrete example.

The focus of the following article is on the use of new robotic systems in the manufacturing industry with respect to the social dimension. Since “intuitive” human–machine interaction (HMI) in robotic systems becomes a significant objective of technical progress, new models of work organization are needed. This hypothesis will be investigated through the following two aims: The first aim is to identify relevant research questions related to the potential use of robotic systems in different systems of work organization at the (...) manufacturing shop-floor level. The second aim is to discuss the conceptualization of (old) organizational problems of human–robot interaction (HRI). In this context, the article reflects on the limits of cognitive and perceptual workload for robot operators in complex working systems. This will be particularly relevant whenever more robots with different “roles” are to be increasingly used in the manufacturing industry. The integration of such complex socio-technical systems needs further empirical and conceptual research with regard to “social” aspects of the technical dimension. Future research should, therefore, also integrate economic and societal issues to understand the full dimensions of new human–robot interaction in industry today. (shrink)

Exploramos aquí la conexión entre los conceptos de riesgo e igualdad en el argumento del observador imparcial. La concepción de la justicia que elegiría un observador imparcial se justifica por la pureza del procedimiento de elección. Sin embargo, si modelizamos esta decisión utilizando medidas del riesgo habituales en matemática financiera, veremos cómo el criterio de elección del observador bajo el velo de la ignorancia contiene una preferencia implícita por el grado de desigualdad resultante. Esto nos obliga a reconsiderar la pureza (...) procedimental de la elección. (shrink)

Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account a problem regarding (...) Knowledge Representation in general, and ontology based representations in particular; namely: the fact that knowledge modeling seems to be constrained between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In particular, most common sense concepts seem not to be captured by the stringent semantics expressed by such formalisms as, for example, Description Logics (which are the formalisms on which the ontology languages have been built). The aim of this work is to analyse this problem, suggesting a possible solution suitable for formal ontologies and semantic web representations. The questions guiding this research, in fact, have been: is it possible to provide a formal representational framework which, for the same concept, combines both the classical modelling view (accounting for compositional information) and defeasible, prototypical knowledge ? Is it possible to propose a modelling architecture able to provide different type of reasoning (e.g. classical deductive reasoning for the compositional component and a non monotonic reasoning for the prototypical one)? We suggest a possible answer to these questions proposing a modelling framework able to represent, within the semantic web languages, a multilevel representation of conceptual information, integrating both classical and non classical (typicality based) information. Within this framework we hypothesise, at least in principle, the coexistence of multiple reasoning processes involving the different levels of representation. (shrink)

In his famous 1982 paper, Allen Newell [22, 23] introduced the notion of knowledge level to indicate a level of analysis, and prediction, of the rational behavior of a cognitive arti cial agent. This analysis concerns the investigation about the availability of the agent knowledge, in order to pursue its own goals, and is based on the so-called Rationality Principle (an assumption according to which "an agent will use the knowledge it has of its environment to achieve its goals" [22, (...) p. 17]. By using the Newell's own words: "To treat a system at the knowledge level is to treat it as having some knowledge, some goals, and believing it will do whatever is within its power to attain its goals, in so far as its knowledge indicates" [22, p. 13]. In the last decades, the importance of the knowledge level has been historically and system- atically downsized by the research area in cognitive architectures (CAs), whose interests have been mainly focused on the analysis and the development of mechanisms and the processes governing human and (arti cial) cognition. The knowledge level in CAs, however, represents a crucial level of analysis for the development of such arti cial general systems and therefore deserves greater research attention [17]. In the following, we will discuss areas of broad agree- ment and outline the main problematic aspects that should be faced within a Common Model of Cognition [12]. Such aspects, departing from an analysis at the knowledge level, also clearly impact both lower (e.g. representational) and higher (e.g. social) levels. (shrink)

Combining typical knowledge to generate novel concepts is an important creative trait of human cognition. Dealing with such ability requires, from an AI perspective, the harmonization of two conflicting requirements that are hardly accommodated in symbolic systems: the need of a syntactic compositionality (typical of logical systems) and that one concerning the exhibition of typicality effects (see Frixione and Lieto, 2012). In this work we provide a logical framework able to account for this type of human-like concept combination. We propose (...) a nonmonotonic Description Logic of typicality called TCL (Typicality-based Compositional Logic). (shrink)