Results for 'Breno Augusto Costa'

333 found
Order:
  1.  83
    Libertação, Raça e Decolonialidade.Felipe Nogueira de Carvalho, Breno Augusto Costa, Rodrigo Marcos Jesus, Milena Oliveira Pires & Leonardo Rennó Santos (eds.) - 2024 - Toledo, PR: Editora Quero Saber.
    O objetivo do presente volume é apresentar à comunidade filosófica parte do trabalho realizado nos GTs de Filosofia da Libertação, Latino-americana e Africana e Filosofia e Raça durante o XIX Encontro Nacional da ANPOF (Goiânia, 2022), através de textos apresentados no XIX Encontro Nacional da ANPOF (Goiânia, 2022), ou frutos de discussões e debates realizados nos GTs supracitados. Agradecemos a todos, todas e todes que apresentaram seus trabalhos e/ou participaram ativamente das discussões que deram origem aos textos deste volume, enriquecendo (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. O Conceito do Trabalho: da antiguidade ao século XVI.Emanuel Isaque Cordeiro da Silva - manuscript
    SOCIOLOGIA DO TRABALHO: O CONCEITO DO TRABALHO DA ANTIGUIDADE AO SÉCULO XVI -/- SOCIOLOGY OF WORK: THE CONCEPT OF WORK OF ANTIQUITY FROM TO THE XVI CENTURY -/- RESUMO -/- Ao longo da história da humanidade, o trabalho figurou-se em distintas posições na sociedade. Na Grécia antiga era um assunto pouco, ou quase nada, discutido entre os cidadãos. Pensadores renomados de tal época, como Platão e Aristóteles, deixaram a discussão do trabalho para um último plano. Após várias transformações sociais entre (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Echo Chambers, Ignorance and Domination.Breno R. G. Santos - 2021 - Social Epistemology 35 (2):109-119.
    My aim in this paper is to engage with C. Thi Nguyen’s characterization of the echo chamber and to propose two things. First, I argue that a proper reading of his concept of echo chamber should make use of the notion of ignorance in the form of a structural epistemic insensitivity. My main contention is that ignorance as a substantive structural practice accounts for the epistemically deleterious effects of echo chambers. Second, I propose that from the talk of ignorance we (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  4. Aristotle's Foundationalism.Breno Andrade Zuppolini - 2016 - Dissertatio 44:187-211.
    For Aristotle, demonstrative knowledge is the result of what he calls ‘intellectual learning’, a process in which the knowledge of a conclusion depends on previous knowledge of the premises. Since demonstrations are ultimately based on indemonstrable principles (the knowledge of which is called ‘νοῦς’), Aristotle is often described as advancing a foundationalist doctrine. Without disputing the nomenclature, I shall attempt to show that Aristotle’s ‘foundationalism’ should not be taken as a rationalist theory of epistemic justification, as if the first principles (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  5. Explanation and Essence in Posterior Analytics II 16-17.Breno Andrade Zuppolini - 2018 - Archai: Revista de Estudos Sobre as Origens Do Pensamento Ocidental 24:229-264.
    In Posterior Analytics II 16-17, Aristotle seems to claim that there cannot be more than one explanans of the same scientific explanandum. However, this seems to be true only for “primary-universal” demonstrations, in which the major term belongs to the minor “in itself” and the middle term is coextensive with the extremes. If so, several explananda we would like to admit as truly scientific would be out of the scope of an Aristotelian science. The secondary literature has identified a second (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Epistemologia da Virtude – Virtude Epistemology (SEP Translation).Breno Ricardo Guimarães Santos, Pedro Merlussi, John Greco & John Turri - 2015 - Intuitio 1 (8):325-362.
    [From SEP]: Contemporary virtue epistemology (hereafter ‘VE’) is a diverse collection of approaches to epistemology. At least two central tendencies are discernible among the approaches. First, they view epistemology as a normative discipline. Second, they view intellectual agents and communities as the primary focus of epistemic evaluation, with a focus on the intellectual virtues and vices embodied in and expressed by these agents and communities. This entry introduces many of the most important results of the contemporary VE research program. These (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. A necessidade do conhecimento científico : Um estudo sobre os segundos analíticos de Aristóteles.Breno Zuppolini - 2011 - Dissertation, University of Campinas (Unicamp)
    No tratado intitulado Segundos Analíticos, Aristóteles desenvolve uma teoria da demonstração científica e da ciência demonstrativa. Ali, o conhecimento científico é descrito pelo filósofo como envolvendo uma certa "necessidade". Alguns intérpretes associam esta noção de necessidade à necessidade modal, pertinente à silogística modal de Aristóteles. Esta interpretação, todavia, tornaria o modelo de ciência proposto nos Analíticos incompatível com os explananda das ciências da natureza, cuja cientificidade o próprio Aristóteles reiteradamente defendeu. A fim de evitar este inconveniente, abordamos e reconstruímos a (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Some remarks against non-epistemic accounts of immediate premises in Aristotle’s Posterior Analytics.Breno Zuppolini - 2023 - Journal of Ancient Philosophy 17 (2):29-43.
    Most interpretations of Aristotle’s Posterior Analytics believe that the term ‘ameson’ is used to describe the principles or foundations of a given system of justification or explanation as epistemically prior to or more fundamental than the other propositions in the system. Epistemic readings (as I shall call them) arguably constitute a majority in the secondary literature. This predominant view has been challenged by Robin Smith (1986) and Michael Ferejohn (1994; 2013), who propose interpretations that should be classified as non-epistemic according (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. Genealogia epistêmica e normas de credibilidade.Breno Ricardo Guimarães Santos - 2018 - Sofia 1 (7):126-146.
    In this paper, I present two ways of conceiving a genealogical explanation of the concept of knowledge. The first one is through the epistemic state of nature hypothesis developed by Edward Craig, according to which knowledge is understood as a concept evolved from the concept of a good informant. After considering Craig’s project, I draw a parallel between this approach and Miranda Fricker’s value-laden account of the same concept. Then, I present and discuss Fricker’s social take on Craig’s genealogy, in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. Beber ou não beber? Qual é a questão? Duas leituras de República IV, 439c2-d8.Breno Andrade Zuppolini - 2019 - Dissertatio 49:45-63.
    In this paper, I explore two possible readings of Republic IV, 439c2-d8, and of Plato’s claim that the just soul is governed by its rational element. My aim is to argue against a “desiderative” interpretation of the passage, according to which the motivational strength of rational desires depends on a set of desires given in advance and produced independently of reason. As an alternative, I advance a “cognitivist” reading according to which the rational desires of the just soul have as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. Comprehension, Demonstration, and Accuracy in Aristotle.Breno Zuppolini - 2020 - Journal of the History of Philosophy 58 (1):29-48.
    according to aristotle's posterior analytics, scientific expertise is composed of two different cognitive dispositions. Some propositions in the domain can be scientifically explained, which means that they are known by "demonstration", a deductive argument in which the premises are explanatory of the conclusion. Thus, the kind of cognition that apprehends those propositions is called "demonstrative knowledge".1 However, not all propositions in a scientific domain are demonstrable. Demonstrations are ultimately based on indemonstrable principles, whose knowledge is called "comprehension".2 If the knowledge (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  12. O/ontology.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):1-2.
    The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. What of multi- and interdisciplinarity? A (personal) case study.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):1-3.
    An analysis of--yet another--case of academic failure in multi- and interdisciplinarity. An editorial of the Journal of Knowledge Structures & Systems.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. Fundacionalismo e silogística.Breno A. Zuppolini - 2014 - In Lucas Angioni (ed.), Lógica e Ciência em Aristóteles. Phi. pp. 161-202.
    Download  
     
    Export citation  
     
    Bookmark  
  15. Languages, machines, and classical computation.Luis M. Augusto - 2021 - London, UK: College Publications.
    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.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  16. Novos rumos da epistemologia social.Breno R. G. Santos, J. L. A. Ruivo & Luiz Paulo Cichoski (eds.) - 2023 - Porto Alegre: Editora Fi.
    Com esta obra, esperamos contribuir com uma pequena imagem do profícuo desenvolvimento recente da Epistemologia Social, em especial em terras brasileiras. A despeito de uma série de resistências, motivadas por fatores diversos, a uma concepção mais aplicada da Epistemologia, uma que extrapole os limites da mera análise conceitual, a Epistemologia Social tem ocupado um espaço cada vez mais significativo na Filosofia. Sua capacidade de dialogar com outras áreas da Filosofia e, principalmente, para além da Filosofia, tem se mostrado crucial para (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. Avoiding infinite regress: Posterior analytics I 22.Breno Zuppolini - 2019 - Manuscrito 42 (4):122-156.
    This article offers a reconstruction of an argument against infinite regress formulated by Aristotle in Posterior Analytics I 22. I argue against the traditional interpretation of the chapter, according to which singular terms and summa genera, in virtue of having restrict logical roles, provide limits for predicative chains, preventing them from proceeding ad infinitum. As I intend to show, this traditional reading is at odds with some important aspects of Aristotle’s theory of demonstration. More importantly, it fails to explain how (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Formal logic: Classical problems and proofs.Luis M. Augusto - 2019 - London, UK: College Publications.
    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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  19. Categories and foundational ontology: A medieval tutorial.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (1):1-56.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  20. On Sosa’s telic epistemology.Breno Ricardo Guimarães Santos - 2021 - TRANS/FORM/AÇÃO: REVISTA DE FILOSOFIA 44 (Special):25-28.
    Comments to: SOSA, Ernest. Representations, judgments, and the swamping problem for reliabilism: why the problem applies to process reliabilism, but not to virtue reliabilism. Trans/Form/Ação: Unesp journal of philosophy, vol. 44, Special issue in honor of Ernest Sosa, p. 19-24, 2021.
    Download  
     
    Export citation  
     
    Bookmark  
  21. ASPECTOS FORMAIS E ONTOLÓGICOS DA FILOSOFIA DA CIÊNCIA DE ARISTÓTELES.Breno Andrade Zuppolini - 2014 - Dissertation, University of Campinas
    Aristotle's theory of demonstration, developed in the Posterior Analytics, is not restricted to determining the formal requirements for formulating probative arguments that establish properly the results of scientific investigation. To the probative aspect of demonstration it shall be added its primarily explanatory character, orientated by theses of strong ontological and metaphysical content and involving notions like substance, essence and causation. We shall analyze the relation between those two ranges of Aristotle's philosophy of science and investigate how the formal features of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. O problema da parcialidade epistêmica na amizade.Breno R. G. Santos - 2023 - In Breno R. G. Santos, J. L. A. Ruivo & Luiz Paulo Cichoski (eds.), Novos rumos da epistemologia social. Porto Alegre: Editora Fi. pp. 138-173.
    A parcialidade epistêmica na amizade (PE) é a tese segundo a qual ser um bom amigo de alguém envolve tratar essa pessoa de forma diferente, em um sentido epistêmico. Sarah Stroud (2006) e Simon Keller (2004) defenderam essa tese e argumentaram que ela está em tensão direta com demandas de racionalidade epistêmica. A posição deles é que quando nossos amigos estão envolvidos em algum assunto ao qual temos que dar nossa avaliação (sobre os fatos, suas ações ou seu caráter), tendemos (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Bridging mainstream and formal ontology: A causality-based upper ontology in Dietrich of Freiberg.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (2):35.
    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, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  24. Two-level grammars: Some interesting properties of van Wijngaarden grammars.Luis M. Augusto - 2023 - Omega - Journal of Formal Languages 1:3-34.
    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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Ontological Underpinnings of Aristotle's Philosophy of Science.Breno A. Zuppolini - 2017 - Dissertation, University of Campinas, Brazil
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  26. Many-valued logics. A mathematical and computational introduction.Luis M. Augusto - 2020 - London: College Publications.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Lost in dissociation: The main paradigms in unconscious cognition.Luis M. Augusto - 2016 - Consciousness and Cognition 42:293-310.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  28. Toward a general theory of knowledge.Luis M. Augusto - 2020 - Journal of Knowledge Structures and Systems 1 (1):63-97.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  29. Habilidade e causalidade: uma proposta confiabilista para casos típicos de conhecimento.Breno Ricardo Guimarães Santos - 2014 - In Jaimir Conte & Cezar Mortari (eds.), Temas em Filosofia Contemporânea. Florianópolis, SC, Brasil: NEL/UFSC. pp. 38-48.
    Debates em epistemologia recente têm se pautado, em grande medida, pelo problema de caracterizar a natureza da justificação. De modo geral, a tarefa tem sido explorar o status epistêmico que faz com que uma crença verdadeira seja uma instância de conhecimento. Este debate traz consigo uma discussão mais ampla acerca do conteúdo da definição de conhecimento, ou seja, uma discussão cujo propósito é identificar o que compõe de forma necessária e suficiente esta noção epistêmica central. No entanto, paralelamente a este (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. Injustiça Epistêmica.Breno R. G. Santos - 2022 - In Rogel Esteves de Oliveira, Kátia Martins Etcheverry, Tiegue Vieira Rodrigues & Carlos Augusto Sartori (eds.), Compêndio de Epistemologia. Editora Fi. pp. 561-583.
    Neste verbete, ofereço uma apresentação breve e introdutória do conceito de injustiça epistêmica, de suas subpartes e da epistemologia das virtudes subjacente à proposta de Fricker, tanto em termos de caracterização quanto em termos de solução dos problemas que seu livro nos ajuda a diagnosticar. Ao final, indicarei algumas direções de crítica e aprofundamento dessa proposta nos trabalhos de outros autores e autoras que se ocuparam da compreensão desse profícuo debate.
    Download  
     
    Export citation  
     
    Bookmark  
  31. The Transcendentist Theory of Persistence.Damiano Costa - 2017 - Journal of Philosophy 114 (2):57-75.
    This paper develops an endurantist theory of persistence. The theory is built around one basic tenet, which concerns existence at a time – the relation between an object and the times at which that object is present. According to this tenet, which I call transcendentism, for an object to exist at a time is for it to participate in events that are located at that time. I argue that transcendentism is a semantically grounded and metaphysically fruitful. It is semantically grounded, (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  32. Ignorância Branca - White Ignorance (Translation to Portuguese).Breno Ricardo Guimarães Santos & Charles Mills - 2018 - Griot 1 (17):413-438.
    In this paper, Charles Mills discusses what he calls “white ignorance”, developing one of the main themes of his 1997 book, The Racial Contract. His discussion is concerned with the idea of a cognitive disadvantage based on membership in a social group, which is not strange to the radical philosophical tradition, and that has been explored with more vigor in the recent Social Epistemology, in debates about epistemic injustices, silencing, willful ignorance, cognitive biases, epistemological standpoints, etc. Mills argues for an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  33. Essencialismo e Necessidade Modal em Aristóteles: uma análise de Segundos Analíticos I 6.Breno A. Zuppolini - 2011 - Filogenese 4 (1):21-35.
    At the beginning of the first book of Posterior Analytics, Aristotle‟s feature of demonstrative knowledge involves a certain concept of “necessity”. The traditional interpretation tends to associate this concept with modal necessity, which is found in the Prior Analytics and De interpretatione. The present article aims to show in which way the sixth chapter of book A of Posterior Analytics presupposes a set of essentialist theses that claims to base the necessity of scientific knowledge on predicative relations of essential character. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. From symbols to knowledge systems: A. Newell and H. A. Simon's contribution to symbolic AI.Luis M. Augusto - 2021 - Journal of Knowledge Structures and Systems 2 (1):29 - 62.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Fine’s Monster Objection Defanged.Damiano Costa, Alessandro Cecconi & Claudio Calosi - 2023 - Philosophical Quarterly 73 (2):435-451.
    The Monster Objection has often been considered one of the main reasons to explore non-standard mereological views, such as hylomorphism. Still, it has been rarely discussed and then only in a cursory fashion. This paper fills this gap by offering the first thorough assessment of the objection. It argues that different metaphysical stances, such as presentism and three- and four-dimensionalism, provide different ways of undermining the objection.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. Entities and their genera: Slicing up the world the medieval way--and does it matter to formal ontology?Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (2):4-47.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Forma Lógica das Proposições Científicas e Ontologia da Predicação: um dilema na filosofia da ciência de Aristóteles.Breno Zuppolini - 2013 - XI Semana Acadêmica Do PPG Em Filosofia da PUCRS:1-15.
    In the Posterior Analytics, Aristotle imposes some requirements on scientific propositions: (i) they must be susceptible of syllogistic articulation, (ii) they must have universal terms as subjects of predication and (iii) their subjects must be primary, i.e. they cannot “be said of a distinct underlying subject”. However, it is problematic to meet those three requirements together. If associated with the theory of predication in Categories, the requirement (iii) shall prescribe names or descriptions of individuals within the category of substance as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  38. The Multi-location Trilemma.Damiano Costa & Claudio Calosi - 2022 - Erkenntnis 87 (3):1063-1079.
    The possibility of multi-location—of one entity having more than one exact location—is required by several metaphysical theories such as the immanentist theory of universals and three-dimensionalism about persistence. One of the most pressing challenges for multi-location theorists is that of making sense of exact location—in that extant definitions of exact location entail a principle called ‘functionality’, according to which nothing can have more than one exact location. Recently in a number of promising papers, Antony Eagle has proposed and defended a (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  39.  42
    Deductive Computing over Knowledge Bases: Prolog and Datalog.Luis M. Augusto - 2024 - Journal of Knowledge Structures and Systems 5 (1):1-62.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. The van Wijngaarden grammars: A syntax primer with decidable restrictions.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (2):1-39.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  41. Supraclassical Consequence: Abduction, Induction, and Probability for Commonsense Reasoning.Luis M. Augusto - 2023 - Journal of Knowledge Structures and Systems 4 (1):1 - 46.
    Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...)
    Download  
     
    Export citation  
     
    Bookmark  
  42. Albertus Magnus and the emergence of late medieval intellectualism.Luis M. Augusto - 2009 - Mediaevalia: Textos E Estudos 28 (28):27-43.
    On how medieval philosophy is not (only) theology.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  43. Iconic semiosis and representational efficiency in the London Underground Diagram.Pedro Atã, Breno Bitarello & Joao Queiroz - 2014 - Cognitive Semiotics 7:177-190.
    The icon is the type of sign connected to efficient representational features, and its manipulation reveals more information about its object. The London Underground Diagram (LUD) is an iconic artifact and a well-known example of representational efficiency, having been copied by urban transportation systems worldwide. This paper investigates the efficiency of the LUD in the light of different conceptions of iconicity. We stress that a specialized representation is an icon of the formal structure of the problem for which it has (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  44. Who's Afraid of Idealism?: Epistemological Idealism From the Kantian and Nietzschean Points of View.Luis M. Augusto - 2005 - University Press of America.
    In Who's Afraid of Idealism? the philosophical concept of idealism, the extent to which reality is mind-made, is examined in new light. Author Luis M. Augusto explores epistemological idealism, at the source of all other kinds of idealism, from the viewpoints of Immanuel Kant and Friedrich Nietzsche, two philosophers who spent a large part of their lives denigrating the very concept. Working from Kant and Nietzsche's viewpoints that idealism was a scandal to philosophy and the cause of nihilism, (...) evaluates these philosophers and their role in shaping epistemological idealism. Using textual evidence from their writings and their reactions to western philosophers such as Plato, Descartes, and Hegel, Who's Afraid of Idealism? argues that in fact Kant and Nietzsche were really idealists at heart. In accessible prose, this text puts forward a theory that goes against current scholarly opinion, and even Kant and Nietzsche's opinions of themselves. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  45. Logical consequences. Theory and applications: An introduction.Luis M. Augusto - 2020 - London: College Publications.
    2nd edition. The theory of logical consequence is central in modern logic and its applications. However, it is mostly dispersed in an abundance of often difficultly accessible papers, and rarely treated with applications in mind. This book collects the most fundamental aspects of this theory and offers the reader the basics of its applications in computer science, artificial intelligence, and cognitive science, to name but the most important fields where this notion finds its many applications.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  46. Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.
    This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate calculus with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  47. Logic in knowledge representation and reasoning: Central topics via readings.Luis M. Augusto - manuscript
    Logic has been a—disputed—ingredient in the emergence and development of the now very large field known as knowledge representation and reasoning. In this book (in progress), I select some central topics in this highly fruitful, albeit controversial, association (e.g., non-monotonic reasoning, implicit belief, logical omniscience, closed world assumption), identifying their sources and analyzing/explaining their elaboration in highly influential published work.
    Download  
     
    Export citation  
     
    Bookmark  
  48. Aristotle’s theory of demonstration and its logical and metaphysical entanglements.Lucas Angioni & Breno Zuppolini - 2019 - Manuscrito 42 (4):i-ix.
    This is an Editorial Note for the special volume of the journal Manuscrito (42: 4) devoted to Aristotle's theory of demonstration and its logical and metaphysical entanglements, which has been organized by me and Breno Zuppolini (as Guest Editors), with papers authored by Benjamin Morison, Owen Goldin, David Bronstein, Michail Peramatzis, Andrea Falcon, Laura Castelli, Paolo Fait, Joseph Karbowski, Adam Crager, Klaus Corcilius, Robert J. Hankinson, Raphael Zillig and Pieter Sjoerd Hasper.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  49. Formal thought disorder and logical form: A symbolic computational model of terminological knowledge.Luis M. Augusto & Farshad Badie - 2022 - Journal of Knowledge Structures and Systems 3 (4):1-37.
    Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...)
    Download  
     
    Export citation  
     
    Bookmark  
  50. The competition for knowledge: Shades of gray and rules of thumb.Luis M. Augusto - 2022 - Journal of Knowledge Structures and Systems 3 (3):50 - 62.
    All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 333