Felix Klein and Abraham Fraenkel each formulated a criterion for a theory of infinitesimals to be successful, in terms of the feasibility of implementation of the Mean Value Theorem. We explore the evolution of the idea over the past century, and the role of Abraham Robinson's framework therein.

The English Synopsis is after the text of the book. The book presents an original and generalizing substantive vision of the philosophy of science through the prism of a detailed analysis of the polysystem structure of scientific theories. Theories are considered, firstly, as complex specialized forms of developed scientific thinking about the realities studied by natural science, secondly, as constantly improving tools for producing new knowledge in interaction with experimental research, and thirdly, as carriers of ordered and verified knowledge. Emphasis (...) is placed on their nominal and ontic subsystems. The book develops personal and joint research of the authors (theoretical physicist and philosopher), the experience of teaching philosophy of physics at NaUKMA, philosophy of science at the Higher School of Philosophy at the H. Skovoroda Institute of Philosophy of the National Academy of Sciences of Ukraine and theoretical physics at the National Technical University "Ihor Sikorsky Kyiv Polytechnic Institute". The research is based on a significant source base covering works of modern Western researchers in natural science and philosophy of science. For students, teachers, and scientists who are interested in the problems of modern philosophy of science and have a certain amount of scientific knowledge. It will also be useful for high school students who are eager to become scientists. (shrink)

"Language has never been accessible to me in the way that it was for Sachs. I'm shut off from my own thoughts, trapped in a no-man's-land between feeling and articulation, and no matter how hard I try to express myself, I can rarely come up with more than a confused stammer. Sachs never had any of these difficulties. Words and things matched up for him, whereas for me they are constantly breaking apart, flying off in a hundred different directions. I (...) spend most of my time picking up the pieces and gluing them back together, but Sachs never had to stumble around like that, hunting through garbage dumps and trash bins, wondering if he hadn't fit the wrong pieces next to each other. His uncertainties were of a different order, but no matter how hard life became for him in other ways, words were never his problem." -Paul Auster, Leviathan. (shrink)

In this eleventh book of scilogs – called in-turns and out-turns –, one may find new and old questions and solutions, referring mostly to topics on Neutrosophy, but also Multispace, with miscellaneous addition of topics on Physics, Mathematics, or Sociology – email messages to research colleagues, or replies, notes about authors, articles, or books, spontaneous ideas, and so on. -/- Exchanging ideas with Prem Kumar Singh, Feng Liu, Nicolae Bălașa, Jimmy Quellet, Minodora Rușchița, Frank Gelli, A. R. Vătuiu, Victor Christianto, (...) Vladimir I. Rogozhin, Robert Neil Boyd, Akira Kanda, Stefan Spaarmann, Oliver Consa, Yabin Shao, Junle Zhuo, Nivetha Martin, Said Broumi, Jean Dezert, Erick González, Tomasz Witczak, B. De Baets, I. Couso, D. Dubois, L. Good, Mihaela Colhon, Atiqe Ur Rahman, Muhammad Saeed, Muhammad Ihsan, Edeline Nancy, Shawkat Alkhazaleh, Shazia Rana, Vasantha Kandasamy, Santanu Acharjee, Mohamed Al-Shmrani, Parimala Manie, Mehmet Unver, Murat Olgun, Adel Aleidhri, Akira Kanda, Ilanthenral Kandasamy, Mircea Zărnescu, R. Tayebi Khorami, Arsham Borumand Saeid, Maisam Jdid, M. Abobala, Riad Hamido, Rafael Rojas, Esmaeil Zarei, Faisal Khan, Rouzbeh Abbassi, Adel Al-Odhari, Henry Garrett, Ackbar Rezaei, Saeid Jafari, Karthika Muthusamy, Harish Garg, Huda E. Khalid, Gonca D. Güngör, Muslim A. Noah Zainal, Fakhry Asad Agusfrianto, Madeleine Al-Tahan, Mariam Hariri, Yudi Mahatma, Masoud Ghods, Marco Brigliadori, Luis Enrique Aponte Pérez, Amr Mohammed, M. Aslam (in order of reference in the book). (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)

The first beginnings of modern logic in Croatia are recognizable as early as in the middle of the 19th century in Vatroslav Bertić. At the turn of the 20th century, Albin Nagy, who was teaching in Italy, made contributions to algebraic logic and to the philosophy of logic. At that time, a distinctive author Mate Meršić stood out, also working on algebraic logic. In the Croatian academic philosophy, until the publication of Gajo Petrović's textbook (1964) and the contributions by Heda (...) Festini, a critical or indifferent attitude toward modern logic prevailed. The first comprehensive modern logic textbook in Croatian was written by mathematician Vladimir Devidé (1964), known, for example, for his axiomatizations of natural numbers and classical propositional logic. In the Croatian philosophy of the 1980s and 1990s, influential logicians are Goran Švob and mathematician Zvonimir Šikić. At the turn of the 21st century, logical investigations are being intensified and extended to various branches of the contemporary logic. (shrink)

This essay interprets Butler’s distinction between identity in the loose and popular sense and in the strict and philosophical sense. Suppose there are different standards for counting the same things. Then what are two distinct things counting strictly may be one and the same thing counting loosely. Within a given standard identity is one-one. But across standards it is many-one. An alternative interpretation using the parts-whole relation fails, because that relation should be understood as many-one identity. Another alternative making identity (...) relative to sort fails, because whole and parts can be of the same sort. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I discuss (...) ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

Artificial intelligence (AI) is an area of computer science that emphasizes the creation of intelligent machines or software that work and react like humans. Some of the activities computers with artificial intelligence are designed for include, Speech, recognition, Learning, Planning and Problem solving. Deep learning is a collection of algorithms used in machine learning, It is part of a broad family of methods used for machine learning that are based on learning representations of data. Deep learning is a technique used (...) to produce Pneumonia detection and classification models using x-ray imaging for rapid and easy detection and identification of pneumonia. In this thesis, we review ways and mechanisms to use deep learning techniques to produce a model for Pneumonia detection. The goal is find a good and effective way to detect pneumonia based on X-rays to help the chest doctor in decision-making easily and accuracy and speed. The model will be designed and implemented, including both Dataset of image and Pneumonia detection through the use of Deep learning algorithms based on neural networks. The test and evaluation will be applied to a range of chest x-ray images and the results will be presented in detail and discussed. This thesis uses deep learning to detect pneumonia and its classification. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

This article investigates the hitherto under-examined relations between affirmative action, paternalism and respect. We provide three main arguments. First, we argue that affirmative action initiatives are typically paternalistic and thus disrespectful towards those intended beneficiaries who oppose the initiatives in question. Second, we argue that not introducing affirmative action can also be disrespectful towards these potential beneficiaries because such inaction involves a failure to adequately recognize their moral worth. Third, we argue that the paternalistic disrespect involved in affirmative action is (...) alleviated when the potential beneficiaries’ preferences against such initiatives are adaptive. We conclude that although there is a relevant sense in which paternalistic affirmative action is disrespectful, it may well be more disrespectful not to pursue such policies. (shrink)

I argue that an individual has aspects numerically identical with it and each other that nonetheless qualitatively differ from it and each other. This discernibility of identicals does not violate Leibniz's Law, however, which concerns only individuals and is silent about their aspects. They are not in its domain of quantification. To argue that there are aspects I will appeal to the internal conflicts of conscious beings. I do not mean to imply that aspects are confined to such cases, but (...) the best way to start is to recognize them experientially. We can feel the conflicts within ourselves. In doing so we can feel some of our aspects. I will try to enhance our understanding of the concept of aspect by listing and formalizing some principles for its use. After that I will argue that all sorts of individual things have aspects, not just people who are conflicted. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

Construing the instantiation of a universal by a particular in terms of my theory of aspects resolves the basic mystery of this "non-relational tie", and gives theoretical unity to the four characteristics of instantiation discerned by Armstrong. Taking aspects as distinct in a way akin to Scotus's formal distinction, I suggest that instantiation is the sharing of an aspect by a universal and a particular--a kind of partial identity. This approach allows me to address Plato's multiple location and One over (...) Many problems, Bradley's problem concerning the instantiation of relations, and the problem of change. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

For millennia, knowledge has eluded a precise definition. The industrialization of knowledge (IoK) and the associated proliferation of the so-called knowledge communities in the last few decades caused this state of affairs to deteriorate, namely by creating a trio composed of data, knowledge, and information (DIK) that is not unlike the aporia of the trinity in philosophy. This calls for a general theory of knowledge (ToK) that can work as a foundation for a science of knowledge (SoK) and additionally distinguishes (...) knowledge from both data and information. In this paper, I attempt to sketch this generality via the establishing of both knowledge structures and knowledge systems that can then be adopted/adapted by the diverse communities for the respective knowledge technologies and practices. This is achieved by means of a formal–indeed, mathematical–approach to epistemological matters a.k.a. formal epistemology. The corresponding application focus is on knowledge systems implementable as computer programs. (shrink)

There is more than one way to say that composition is identity. Yi has distinguished the Weak Composition thesis from the Strong Composition thesis and attributed the former to David Lewis while noting that Lewis associates something like the latter with me. Weak Composition is the thesis that the relation between the parts collectively and their whole is closely analogous to identity. Strong Composition is the thesis that the relation between the parts collectively and their whole is identity. Yi is (...) right that Strong Composition does not fully reflect my view. We must recognize further what, borrowing Lewis's characterization, could be called the "stronger, and stranger" Composition thesis, or what I'll call the Stronger Composition thesis for short. On Strong Composition, it is only collectively that the parts are identical with the whole. On Stronger Composition, they are individually identical with it as well. I will explain and motivate this thesis. (shrink)

This paper argues that epistemic errors rooted in group- or identity- based biases, especially those pertaining to disability, are undertheorized in the literature on medical error. After sketching dominant taxonomies of medical error, we turn to the field of social epistemology to understand the role that epistemic schemas play in contributing to medical errors that disproportionately affect patients from marginalized social groups. We examine the effects of this unequal distribution through a detailed case study of ableism. There are four primary (...) mechanisms through which the epistemic schema of ableism distorts communication between nondisabled physicians and disabled patients: testimonial injustice, epistemic overconfidence, epistemic erasure, and epistemic derailing. Measures against epistemic injustices in general and against schema-based medical errors in particular are ultimately issues of justice that must be better addressed at all levels of health care practice. (shrink)

I wish to defend the claim that given the content and structure of any moral theory we are likely to find palatable, there is no way of uniquely breaking down that theory into either consequentialist or deontological elements. Indeed, once we examine the actual structure of any such theory more closely, we see that it can be classified in either way arbitrarily. Hence if we ignore the metaethical pronouncements often made by adherents of the consequentialist-deontological distinction, we are quickly led (...) to the conclusion that this distinction contributes nothing of consequence to an understanding of moral theory. I will try to show that there are basically two reasons for this. First, what we mean by the terms endemic to the consequentialist-deontological distinction have no unique references to particular states of affairs in actual cases of moral decision making. Hence we may justify any such concrete moral decision by reference to typically consequentialist or deontological reasoning indifferently. Second, scrutiny of actual and viable moral theories reveals a much finer-grained structure than the consequentialist-deontological taxonomy can capture. And it is this structure, rather than simple attention to consequences or principles, that determines practical moral decision making. We would thus do better to develop the richer vocabulary of causes and constituents, goals and effects, states and events (mental, social, or physical). So in the end, the consequentialist-deontological distinction is irrelevant at the normative level of actual moral reasoning, whereas at the metaethical level it crudely schematizes two opposing types of dummy theory, neither of which is convincing, upon reflection, to any practicing moral philosopher. (shrink)

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

Current debates surrounding the virtues and shortcomings of randomization are symptomatic of a lack of appreciation of the fact that causation can be inferred by two distinct inference methods, each requiring its own, specific experimental design. There is a non-statistical type of inference associated with controlled experiments in basic biomedical research; and a statistical variety associated with randomized controlled trials in clinical research. I argue that the main difference between the two hinges on the satisfaction of the comparability requirement, which (...) is in turn dictated by the nature of the objects of study, namely homogeneous or heterogeneous populations of biological systems. Among other things, this entails that the objection according to which randomized experiments fail to provide better evidence for causation because randomization cannot guarantee comparability is mistaken. (shrink)

We need modal imagination in order to extend our conception of reality - and, in particular, of human beings - beyond our immediate experience in the indexical present; and we need to do this in order to preserve the significance of human interaction. To make this leap of imagination successfully is to achieve not only insight but also an impartial perspective on our own and others' inner states. This perspective is a necessary condition of experiencing compassion for others. This is (...) the primary thesis I will try to defend in this discussion. (shrink)

3rd ed, 2021. A circumscription of the classical theory of computation building up from the Chomsky hierarchy. With the usual topics in formal language and automata theory.

ABSTRACT According to David Lewis, alteration is "qualitative difference between temporal parts of something." It follows that moments, since they are simple and lack temporal parts, cannot alter from future to present to past. Here then is another way to put McTaggart's paradox about change in tense. I will appeal to my theory of Aspects to rebut the thought behind this rendition of McTaggart. On my theory, it is possible that qualitatively differing things be numerically identical. I call these differing, (...) numerically identical things "aspects." I will argue that alteration can be a qualitative difference between temporal aspects of something that lacks temporal parts. So a moment can alter in tense. By rejecting Lewis's assumption my theory can solve this version of McTaggart's paradox. (shrink)

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Confucius gave counsel that is notoriously hard to follow: "What you do not wish for yourself, do not impose on others" (Huang 1997: 15.24). People tend to be concerned with themselves and to be indifferent to most others. We are distinct from others so our self-concern does not include them, or so it seems. Were we to realize this distinctness is merely apparent--that our true self includes others--Confucius's counsel would be easier to follow. Concern for our true self would extend (...) concern beyond the narrow selves we appear to be. The neo-Confucians held just such a view. They espoused an identity with the universe and everything in it, arguing that this identity explains a natural concern for everyone and everything, not just for our narrow selves. However, many things in the universe differ from each other, that is, some have qualities others lack. If they are all one and the same thing then that one thing differs from itself. I will suggest that the objection can be answered with some metaphysical innovation. I will address the objection by sketching a theory--call it the theory of aspects--that explains how numerically identical things can differ qualitatively. (shrink)

In this article, we describe what cryptocurrency is, how it works, and how it relates to familiar conceptions of and questions about money. We then show how normative questions about monetary policy find new expression in Bitcoin and other cryptocurrencies. These questions can play a role in addressing not just what money is, but what it should be. A guiding theme in our discussion is that progress here requires a mixed approach that integrates philosophical tools with the purely technical results (...) of disciplines like computer science and economics. Note: this article is the first entry within a two-part sequence on the Philosophy, Politics, and Economics of Cryptocurrency. (shrink)

The aim of this study was to identify the obstacles facing the application of knowledge management and its impact on performance at Palestine Technical University-Kadoorei from the point of view of employees and to detect the differences between the average views of the study sample on the subject of the study according to some variables such as (gender, nature of work, Education Level, specialization, years of experience). The study followed the descriptive analytical method and the questionnaire as a tool for (...) study. It was distributed to 74 employees. After the questionnaire was distributed, the data was collected and coded and entered into the computer and processed statistically using the SPSS program. The study found that the percentage of approval of the obstacles to the application of knowledge management at Palestine Technical University-Kadoorei differed between few and large, and the relative weight of the axis was complete (68.2). The degree of awareness of the workers of the reality of performance excellence at the University of Palestine Technical-Kadoorei was between medium and very large. There is an impact of the constraints of the application of knowledge management on performance excellence at Palestine Technical University-Kadoorei. In light of the results of the previous study, the researchers recommended that the importance of knowledge management should be taken into account in order to raise the university's reputation and reputation at home and abroad and improve its services to students and the local community. And to promote the exchange of experiences and knowledge with local, regional and international universities in order to enhance the knowledge and preserve it and provide modern and sophisticated scientific techniques and use them in administrative and academic work at the university. (shrink)

A. Newell and H. A. Simon were two of the most influential scientists in the emerging field of artificial intelligence (AI) in the late 1950s through to the early 1990s. This paper reviews their crucial contribution to this field, namely to symbolic AI. This contribution was constituted mostly by their quest for the implementation of general intelligence and (commonsense) knowledge in artificial thinking or reasoning artifacts, a project they shared with many other scientists but that in their case was theoretically (...) based on the idiosyncratic notions of symbol systems and the representational abilities they give rise to, in particular with respect to knowledge. While focusing on the period 1956-1982, this review cites both earlier and later literature and it attempts to make visible their potential relevance to today's greatest unifying AI challenge, to wit, the design of wholly autonomous artificial agents (a.k.a. robots) that are not only rational and ethical, but also self-conscious. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Most moral theories share certain features in common with other theories. They consist of a set of propositions that are universal, general, and hence impartial. The propositions that constitute a typical moral theory are (1) universal, in that they apply to all subjects designated as within their scope. They are (2) general, in that they include no proper names or definite descriptions. They are therefore (3) impartial, in that they accord no special privilege to any particular agent's situation which cannot (...) be justified under (2) and (3). These three features do not distinguish moral theories from other theories, nor indeed from most general categorical propositions we assert. Yet, in recent years, these features of moral theories have been the target of a certain concerted and sustained criticism, namely, that to be committed to such a moral theory, or to aspire to act in accordance with its requirements, results in what has come to be known as moral alienation. Moral alienation, according to this criticism, consists in (i) viewing one's ground projects from an impersonal, "moral point of view" engendered by one's acceptance of the theory; (ii) being prepared to sacrifice these projects to the requirements of moral principle; and (iii) making such a sacrifice specifically and self-consciously in order to conform to these requirements. Moral alienation is said to manifest itself in one (or both) of two ways, depending on the nature of the project thus susceptible to sacrifice. One may be alienated from oneself, if the project consists of tastes, convictions, or aspirations that are centrally definitive of one's self. In this case one's commitment to the project can be at best conditional on its congruence with one's moral theory. It is claimed that this must make for a rather tepid and unenthusiastic commitment indeed. Alternatively, one may be alienated from others, if the project is an interpersonal relationship such as a friendship, marriage, or collegial relationship. In this case one's responses to the other are motivated by one's awareness of what one's moral theory requires. It is claimed that this obstructs a genuine and unmediated emotional response to the other as such. My aim here will be to argue that this very compelling criticism - call it the moral-alienation criticism - is nevertheless misdirected. The real culprit is not any particular moral theory, but rather a certain familiar personality type that may or may not adopt it. (shrink)

Contemporary studies in unconscious cognition are essentially founded on dissociation, i.e., on how it dissociates with respect to conscious mental processes and representations. This is claimed to be in so many and diverse ways that one is often lost in dissociation. In order to reduce this state of confusion we here carry out two major tasks: based on the central distinction between cognitive processes and representations, we identify and isolate the main dissociation paradigms; we then critically analyze their key tenets (...) and reported findings. (shrink)

This chapter uses Uskali Mäki’s (2009) concepts of “good” and “bad” imperialism to investigate the “economics imperialism” thesis. If science expands by offering (a) consilience, and (b) epistemological and ontological unity – that is, it explains more phenomena with greater parsimony – then this is good scientific expansion. Economics imperialism is only bad if the methodology of economics expands outside its domain without increasing understanding in the above manners.

People often discriminate based on negative or positive stereotypes about others. Important examples of this are highlighted by the theory of ambivalent sexism. This theory distinguishes sexist stereotypes that are negative (hostile sexism) from those that are positive (benevolent sexism). While both forms of sexism are considered wrong towards women, hostile sexism seems intuitively worse than benevolent sexism. In this article, we ask whether the difference between discriminating based on positive vs. negative stereotypes in itself makes a morally relevant difference. (...) We suggest that it does not. By examining a number of prominent accounts of what makes discrimination wrong, we defend the Moral Irrelevance View according to which stereotype valence is irrelevant to the moral evaluation of discrimination, all else equal. (shrink)

An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.

While there seems to be much evidence that perceptual states can occur without being conscious, some theorists recently express scepticism about unconscious perception. We explore here two kinds of such scepticism: Megan Peters and Hakwan Lau's experimental work regarding the well-known problem of the criterion -- which seems to show that many purported instances of unconscious perception go unreported but are weakly conscious -- and Ian Phillips' theoretical consideration, which he calls the 'problem of attribution' -- the worry that many (...) purported examples of unconscious perception are not perceptual, but rather merely informational and subpersonal. We argue that these concerns do not undermine the evidence for unconscious perception and that this sceptical approach results in a dilemma for the sceptic, who must either deny that there is unconscious mentality generally or explain why perceptual states are unique in the mind such that they cannot occur unconsciously. Both options, we argue, are problematic. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and (...) they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

You may not know me well enough to evaluate me in terms of my moral character, but I take it you believe I can be evaluated: it sounds strange to say that I am indeterminate, neither good nor bad nor intermediate. Yet I argue that the claim that most people are indeterminate is the conclusion of a sound argument—the indeterminacy paradox—with two premises: (1) most people are fragmented (they would behave deplorably in many and admirably in many other situations); (2) (...) fragmentation entails indeterminacy. I support (1) by examining psychological experiments in which most participants behave deplorably (e.g., by maltreating “prisoners” in a simulated prison) or admirably (e.g., by intervening in a simulated theft). I support (2) by arguing that, according to certain plausible conceptions, character evaluations presuppose behavioral consistency (lack of fragmentation). Possible reactions to the paradox include: (a) denying that the experiments are relevant to character; (b) upholding conceptions according to which character evaluations do not presuppose consistency; (c) granting that most people are indeterminate and explaining why it appears otherwise. I defend (c) against (a) and (b). (shrink)

This paper critically engages Philip Mirowki's essay, "The scientific dimensions of social knowledge and their distant echoes in 20th-century American philosophy of science." It argues that although the cold war context of anti-democratic elitism best suited for making decisions about engaging in nuclear war may seem to be politically and ideologically motivated, in fact we need to carefully consider the arguments underlying the new rational choice based political philosophies of the post-WWII era typified by Arrow's impossibility theorem. A distrust of (...) democratic decision-making principles may be developed by social scientists whose leanings may be toward the left or right side of the spectrum of political practices. (shrink)

A curious and comparatively neglected element of death penalty jurisprudence in America is my target in this paper. That element concerns the circumstances under which severely mentally disabled persons, incarcerated on death row, may have their sentences carried out. Those circumstances are expressed in a part of the law which turns out to be indefensible. This legal doctrine—competence-for-execution —holds that a condemned, death-row inmate may not be killed if, at the time of his scheduled execution, he lacks an awareness of (...) his impending death or the reasons for it. I argue that the law of CFE should be abandoned, along with the notion that it is permissible to kill the deeply disturbed just so long as they meet some narrow test of readiness to die. By adopting CFE, the courts have been forced to give independent conceptual and moral significance to a standard for competence that simply cannot bear the weight placed upon it. To be executable, CFE requires that a condemned prisoner meet a standard demonstrating an awareness of certain facts about his death. Yet this standard both leads to confusing and counter-intuitive results and is unsupported either by the reasons advanced by the courts on its behalf or by any of the standard theoretical justifications of criminal punishment. If executing the profoundly psychotic or delusional is wrong the law needs a better account of the wrong done when prisoners like Ford are killed. I suggest wherein that wrong might be located. (shrink)

Biological evolution is a complex blend of ever changing structural stability, variability and emergence of new phe- notypes, niches, ecosystems. We wish to argue that the evo- lution of life marks the end of a physics world view of law entailed dynamics. Our considerations depend upon dis- cussing the variability of the very ”contexts of life”: the in- teractions between organisms, biological niches and ecosys- tems. These are ever changing, intrinsically indeterminate and even unprestatable: we do not know ahead of (...) time the ”niches” which constitute the boundary conditions on selec- tion. More generally, by the mathematical unprestatability of the ”phase space”, no laws of mo- tion can be formulated for evolution. We call this radical emergence, from life to life. The purpose of this paper is the integration of variation and diversity in a sound concep- tual frame and situate unpredictability at a novel theoretical level, that of the very phase space. Our argument will be carried on in close comparisons with physics and the mathematical constructions of phase spaces in that discipline. The role of symmetries as invariant preserving transformations will allow us to under- stand the nature of physical phase spaces and to stress the differences required for a sound biological theoretizing. In this frame, we discuss the novel notion of ”enablement”. Life lives in a web of enablement and radical emergence. This will restrict causal analyses to differential cases. Mutations or other causal differ- ences will allow us to stress that ”non conservation princi- ples” are at the core of evolution, in contrast to physical dynamics, largely based on conservation principles as sym- metries. Critical transitions, the main locus of symmetry changes in physics, will be discussed, and lead to ”extended criticality” as a conceptual frame for a better understanding of the living state of matter. (shrink)

Why does classical equilibrium statistical mechanics work? Malament and Zabell (1980) noticed that, for ergodic dynamical systems, the unique absolutely continuous invariant probability measure is the microcanonical. Earman and Rédei (1996) replied that systems of interest are very probably not ergodic, so that absolutely continuous invariant probability measures very distant from the microcanonical exist. In response I define the generalized properties of epsilon-ergodicity and epsilon-continuity, I review computational evidence indicating that systems of interest are epsilon-ergodic, I adapt Malament and Zabell’s (...) defense of absolute continuity to support epsilon-continuity, and I prove that, for epsilon-ergodic systems, every epsilon-continuous invariant probability measure is very close to the microcanonical. (shrink)

Expressiveness and decidability are two core aspects of programming languages that should be thoroughly known by those who use them; this includes knowledge of their metalanguages a.k.a. formal grammars. The van Wijngaarden grammars (WGs) are capable of generating all the languages in the Chomsky hierarchy and beyond; this makes them a relevant tool in the design of (more) expressive programming languages. But this expressiveness comes at a very high cost: The syntax of WGs is extremely complex and the decision problem (...) for the generated languages is generally unsolvable. With this in mind, I provide here a short primer of the syntax of WGs, which includes syntactic restrictions that guarantee decidability for the corresponding generated languages. (shrink)