In “Is Justified True Belief Knowledge?” Edmund Gettier (1963) attacked the thesis ‘S knows that P iff P is true, S believes that P, and S is justified in believing that P’. His intention was to sustain that someone can have a justified true belief without knowing that belief. He made that by creating two counter-examples to that thesis. In this article, I try to show that Gettier’s arguments are based in a weak account of justification, and that such a (...) weak view cannot talk about someone knowing something. I begin by presenting his counter-examples, and then I show they do not work. (shrink)

A critical and reflexive approach to God's question from diverse lines of the Postmodernity; showing roots, shadows and lights of some of the nowadays philosophies.

A review of the concept of nature by Plotinus thinking from the necessity of a new philosophy of nature to understand the significant density of matter and physis.

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)

My aim here is to answer the question about why is there something rather than nothing by arguing for the existence of some necessary beings (that, as such, couldn’t not exist) – the space, the time, and the natural basic laws – and by showing that the existence of nothingness is logically impossible. I also try to account for the fact that contingent beings arise from necessary beings by distinguishing between necessary existence and necessary arising, as to answer the question (...) about why is there anything contingent at all and to propose a solution to the Dilemma of Contingency. (shrink)

Throughout the present text, an account of the main contributions of Luis Villoro Toranzo will be made as a tribute to three years after his death.

It is common, even among the laity, the doubt about the reality of time. We think it is possible that time is an illusion and that the perception of his passage is just awareness of something other than time. There are a number of arguments made by philosophers, both to defend and to attack the intuition that time is real. One of them, and perhaps the best known, is the argument of McTaggart, which tries to establish some condition for the (...) existence of time and that time, thought through that condition and applied to reality, leads to a contradiction, which makes him conclude that time can not exist, and therefore does not exist. What I intend in this article is to present the argument of McTaggart along with some original and non-original objections, and try to show that if we accept the Prior’s approach of the flow of time, the cogency of the argument of McTaggart is lost. (shrink)

This study divides some of the philosophical anthropologies developed after the Holocaust into three frameworks. To do this the author shows how the present modern crisis is an anthropological one and unites the sum of the different crisis dimensions mankind is currently facing. The article approaches the postmodern journey from its two routes—the relativistic and the metaphysical. The second is presented as “status quo-oriented” or as a form of modernized democracy. Because of its popularity, the neologism “transhumanism” is here examined (...) togeth er with the hypothetical coming of a post-human era. This in turn is viewed as a revival of the illustrated myth of the happy world. The author first offers a “status quo” criticism “transhumanism” from the metaphysical anthropology viewpoint and then proposes an approach to a “third way, that is, the convergence of other anthropologies revolving around a person’s dignity born of his or her metaphysical roots together with a recovery of the value of human carnality. The article concludes by putting the different philosophers’ viewpoints face-to-face with the Person of Jesus Christ. (shrink)

My main purpose in this article is to present an argument for the idea that necessity qua truth in all possible worlds, without other qualifications, leads us to contradiction. If we do not want to accept the contradiction, we will face a dilemma: or accepting that everything we take as contingent is in fact necessary, or accepting that we cannot translate some sentences – at least the indexed to worlds sentences – to the possible worlds vocabulary. We have an intuition (...) – and we develop an argument for it – that if “P”, evaluated in w*, is a contingent truth, so it cannot be the case that “P in w*” is a necessary truth. Generally, the argument tries to show that “P”, evaluated in w*, and “P in w*” are made true by the same contingent fact. If we suppose that “P in w*” is necessary, we would have to suppose that the fact that makes it true is also necessary, which would be contradictory with the fact that makes “P” true in w*, if we accept that what makes “P” in w* and “P in w*” true is the same fact. I attain such an aim by presenting an argument that is divided in two parts, one to imply the contradiction and the other to show that there is no relevant difference between the indicated sentences, by showing how the dilemma arises, and by answering some possible objections. This is an important objective because the possible worlds vocabulary is the default vocabulary to treat the modalities of necessity and possibility. And if it is flawed, it is important that we identify the flaw and fix it – which is exactly what we intend to do at the end of this article, by suggesting some qualification at the necessity notion, that the necessity is the native truth in all possible worlds. And this would save the possible worlds vocabulary from the presented objection. (shrink)

If we want to say what “fundamentality” means, we have to start by approaching what we generally see at the empty place of the predicate “____ is fundamental”. We generally talk about fundamental entities and fundamental theories. At this article, I tried to make a metaphysical approach of what is for something to be fundamental, and I also tried to talk a little bit of fundamental incomplete and complete theories. To do that, I start stating the notion of “entity” and (...) looking at the difference at perceived entities. The difference led us to talk about the entities’ structures and their powers, and about the supervenience between these last two. The supervenience talk made us to see the fight between emergentism and reductionism as the difference between the irreducibility of laws and the reducibility of powers and structures to lower-order domains. Then, we conclude that “fundamentality” is a mereological relation – a relation that a whole structure has to a certain combination of its structural parts or that a power has to a certain combination of its constituent powers – of to be identical and to exist in virtue of them. (shrink)

In this article, I intend to show what the metaphysical possibility is, distinguishing it from the logical and the physical possibilities, and then to indicate that at least there is two kinds of metaphysical possibilities, i.e., the potentialities of the things and the possibilities of the events to occur. This is an important goal because it makes clearer the discussion about possibilities. To show what the metaphysical possibility is, I try to show that we need an absolute modality for the (...) debate about what is possible do not be trivial. And to indicate that there are two kinds of metaphysical possibilities, I show that we can talk independently about these two notions of possibility, and that the debate between determinism and indeterminism presupposes such distinction. The conclusion we achieve is that there really are these two kinds of metaphysical possibilities, and that if we don’t want to be ambiguous, we have good reasons to use such distinction in our theories about the possibilities. (shrink)

It was argued by Célia Teixeira (2003) that the actualized descriptivist theory of names have the problem of generating undesired epistemic necessities. In this paper I want to argue for a descriptivis theory that does not suffer from such problem. For this I will explain Teixeira's objections and later present my own conception of an actualized descriptivist theory of names; it is, protected against the problem of undesired necessities.

In this paper I intend to expose some of Nathan Salmon's arguments, which aim to show that the conceptual theories of the informational value of singular terms cannot be the case, and to present some objections to these arguments, objections which seek to restore the capacity of the conceptual theories to secure the referent, and to have a concept as the informational value of a singular term. I fulfill such goal by making an initial introduction, where I briefly explain Frege's (...) Puzzle, and then I show Salmon's presentation of Frege's Puzzle along with his arguments against the conceptual theories, and I intermittently present my objections to Salmon's arguments. Finally, I conclude that if the objections are satisfactory, they restore the capacity of conceptual theories that would have been removed by the arguments advanced by Salmon. (shrink)

O objetivo deste artigo é ser uma introdução aos diversos tipos de possibilidades e mostrar o caminho que a discussão sobre a existência de possibilidades não-atuais deve seguir a partir da aceitação do determinismo. E essa discussão é relevante porque sua resposta tem bastante infl uência em nossos pensamentos e lógicas sobre as modalidades da necessidade e da possibilidade. Cumprimos tal objetivo através de um diálogo a respeito das possibilidades. Este formato de texto tem a vantagem de ser mais pedagógico (...) do que os ensaios em terceira pessoa, pois insere o problema fi losófi co das possibilidades em uma situação real particular sem que a generalidade do assunto e dos argumentos seja perdida. (shrink)

The aim of this paper is to indicate the purpose of education and how it implies changes in the curricula of basic education and in the methods of teaching, guidance and evaluation. We start with the concepts of capacities and overlapping consensus, created respectively by Amartya Sen and John Rawls, and find something that we can call a good life and what it means to improve life. So, we established that education should have as its primary function to enable the (...) subject to lead a good life in harmony with the social environment. To decide whether the basic educational curriculum fulfills this function, we started with an analysis of school subjects. We realized that both the curriculum and the teaching methods were important for the fulfillment of the function of education, and that Brazilian basic education fails to fulfill these two points satisfactorily, as the current curriculum does not fully enable the individual to lead a good life and teaching methods are not guided and evaluated pedagogically by professionals. Anyway, the conclusion we reached was that we need certain changes in the curriculum and teaching methods. / O objetivo deste artigo é indicar qual a finalidade da educação e como isso implica modificações nos currículos da educação básica e nos métodos de orientação e avaliação de ensino. Partimos dos conceitos de capacidades e consenso sobreposto, criados respectivamente por Amartya Sen e John Rawls, e encontramos algo que podemos chamar de vida boa e o que significa melhoria de vida. Então, estabelecemos que a educação deve ter como função primordial capacitar o sujeito a levar uma vida boa em harmonia com o meio social. Para decidirmos se o currículo educacional básico cumpre essa função, partimos para uma análise das disciplinas escolares. Percebemos que tanto o currículo, quanto os métodos de ensino eram importantes para a realização da função da educação, e que a educação básica brasileira não consegue cumprir esses dois pontos satisfatoriamente, pois o currículo atual não capacita plenamente o indivíduo a levar uma vida boa e os métodos de ensino não são orientados e avaliados pedagogicamente por profissionais. Enfim, a conclusão que chegamos foi a de que precisamos de certas mudanças no currículo e nos métodos de ensino. (shrink)

The goal of this thesis to defend the philosophical view of the new ante rem substantivism against its supposed alternatives. To achieve such goal, we will present four views about the nature of laws, two kinds of realism and two kinds of anti-realism, and evaluate them critically. The disadvantages from those theories are going to be presented for us to show that they are insufficient to provide a metaphysics that is able to explain the world's counterfactuality, universality, and regularity, and (...) that just one form of realism, the new ante rem substantivism, can. This goal is important because the concept of laws of nature is widely used in many areas of science and philosophy, and because according to the view we accept, the laws may fulfill some theoretical roles, and not others. We intent to show that the new ante rem substantivism's laws are able to fulfill the roles that scientists would hope the natural laws to fulfill. (shrink)

James Sterba has recently argued that the free will defense fails to explain the compossibility of a perfect God and the amount and degree of moral evil that we see. I think he is mistaken about this. I thus find myself in the awkward and unexpected position, as a non-theist myself, of defending the free will defense. In this paper, I will try to show that once we take care to focus on what the free will defense is trying to (...) accomplish, and by what means it tries to do so, we will see that Sterba’s criticism of it misses the mark. (shrink)

With this book we want to illustrate the way we philosophers think that public argument and debate should be. Our goal is not to present a collection of academic texts. Although most of us are part of the academy, we want to present to the lay public shorter, more essay-like texts, originally published on an Internet page called Refutations. The page is not, of course, an academic journal; it is a digital magazine with opinion texts that share simplicity, rigor and (...) total accessibility to anyone not initiated to the philosophers' way of thinking. And although the magazine's columnists are friends, they actively disagree on the most diverse topics, such as politics, economics, ethics and art. The reader, therefore, has before him a book with the most varied opinions on some of the main contemporary themes. Naturally, we do not expect to have the last word on any matter. Our intention is much more modest, but also very important: to show that it is possible, even without putting an end to the debates, to think in a creative, clear and civilized way. / Com este livro queremos ilustrar a maneira como nós, filósofos, pensamos que a argumentação e o debate públicos devem ser. Nosso objetivo não é apresentar uma coletânea de textos acadêmicos. Embora a maioria de nós seja parte da academia, queremos apresentar ao público leigo textos mais curtos e ensaísticos, originalmente publicados em uma página na Internet chamada Refutações. A página não é, naturalmente, um periódico acadêmico; trata-se de uma revista digital com textos de opinião que compartilham a simplicidade, o rigor e a total acessibilidade a qualquer não iniciado ao modo de pensar dos filósofos. E, embora os colunistas da revista sejam amigos, eles discordam ativamente a respeito dos mais diversos temas, como política, economia, ética e arte. O leitor, portanto, tem diante de si um livro com as mais variadas opiniões a respeito de alguns dos principais temas contemporâneos. Naturalmente, não esperamos dar a última palavra a respeito de qualquer assunto. Nossa pretensão é bem mais modesta, mas também muito importante: mostrar que é possível, mesmo sem colocar pontos finais aos debates, pensar de forma criativa, clara e civilizada. (shrink)

In this paper I intend to present the Dilemma of Continuity of Matter and a possible solution to it. This dilemma consists in choosing between two misfortunes in explaining the continuity of matter: or to say that material objects are infinitely divisible and not explain what constitutes the continuity of some kind of object, or to say that there is a certain kind of indivisible object and not explain what constitutes the continuity of such an object. The solution we provide (...) is precisely the thesis that material objects consists of points, a thesis we try to make clearer, although we have not developed it much. (shrink)

Antes de começarmos a falar sobre as leis da natureza, creio que vale a pena explicar algumas coisas sobre o título dessa conferência. Nele, digo que farei uma introdução à metafísica das leis da natureza. Uma introdução, em filosofia, consiste da apresentação de um problema filosófico, indicando as razões pelas quais tal problema é um problema, e das principais posições que tentam resolvê-lo, com suas respectivas dificuldades mais aparentes. Uma introdução não deve dar respostas definitivas sobre qual posição devemos aceitar, (...) nem argumentar decisivamente contra ou a favor de uma posição qualquer frente a outras; mas deve fornecer um quadro geral, para que os filósofos que não conhecem o tema possam começar a sua própria investigação. Dessa forma, o que pretendemos fazer aqui é uma introdução. (shrink)

When we ask ourselves about the meaning of life, two analyses are possible in principle: 1. that we are asking something about the purpose or the reason of being of life or of a life, or 2. that we are asking something the value of life or of a life. At the present article, I do not approach 1 neither the life as a whole, but I take the individual lives in the context of 2. I briefly explain what would (...) be to someone to have an objectivist conception of the meaning of life and what would be to someone to have a subjectivist one; and, then, I try to show how we can think in formulas that can capture the intuitions of those conceptions, without acquiring commitment with none of them. My way is to show that both objectivist and subjectivist conceptions think the meaning of life as related to projects or realizations that fulfill principles of value (the value can be objective or subjective according to the adopted conception), and ten I try to indicate that the projects or realizations from a person’s life come together through a simple sum to make the meaning of life of such a person’s life. The way I suggested for us to find the value of one of those realizations does not seem to present none theoretical problem. But the simple sum of realizations (and/or projects) to represent the value of the meaning of a person’s life simply did not work. That’s because it seems to lack some kind of index that is able to formalize the relations between realizations. Thus, although we couldn’t properly formalize the relation between the realizations that achieve the meaning of someone’s life at a certain moment, we get a good intuitive formalization of the value of a realization and we hope to have started an interesting investigation for future logicians, metaphysicians, mathematicians and theorists of value. (shrink)

My main aim at this paper is to present Lewis Carrol’s Paradox on the justification of logical principles inasmuch as some attempts of solving it. This is important because if there are basic logical principles, it also seems necessary to exist some justification for them. By considering some observations from Ryle, Devitt and Kripke about the theme, we intend to briefly display their theories and their core critics among themselves and, mainly, the critics against adoption theory.

These days philosophy teaching in universities follows two main views: the continental philosophy and the analytic philosophy. Each one of those traditions has very different philosophical and pedagogical practices. My objectives in this article are: 1. to show the distinctions between the practices that continental and analytical philosophies cultivated at the universities; 2. to indicate that there is a confusion at the characterization of what is analytic philosophy, and that the critics driven to it are in fact driven to logical (...) positivism; 3. to show that the analytic practices are the ones we consider as genuinely philosophical. / Atualmente o ensino de Filosofia nas universidades tem seguido duas visões principais: a filosofia continental e a filosofia analítica. Cada uma dessas duas tradições diferem bastante em suas práticas filosófica e pedagógica. Meus objetivos neste artigo são: 1. mostrar as distinções entre as práticas cultivadas dentro das universidades pela filosofia continental e pela filosofia analítica; 2. indicar que há uma confusão na caracterização do que é filosofia analítica e que as críticas a ela dirigidas na verdade apontam para o positivismo lógico; 3. mostrar que as práticas analíticas são aquelas que consideramos como genuinamente filosóficas. (shrink)

In this paper, I intend to argue against Alexander Bird‟s thesis (2001) that the law salt dissolves in water is metaphysically necessary. I briefly indicate Bird‟s argument for the necessity of such law, and then I provide a counter-argument to his thesis. In a general way, Bird wants to show that the existence of certain substances depends on the truth of certain laws, and that because of this the existence of such substances implies the existence of such laws. That would (...) make the laws existing at least while the substance it rules exists; what, for Bird, makes such laws metaphysically necessary. My counter-argument to Bird is that such conception apprehends just what we call “weak necessity”, and not the strong necessity we would like a metaphysically necessary law to have. (shrink)

We intend at this article to show some reasons to think the laws of nature as metaphysically necessary: to distinguish the metaphysical modality from the epistemical modality, and to have an absolute modality to face the relative physical and logical modalities. Lately, we indicate what does it mean to talk about metaphysically necessary laws, distinguishing two kinds of metaphysical modalities, and we account for the question about if the laws of nature are metaphysically necessary. The conclusion we get is that (...) the laws, whichever they are, are metaphysically necessary. (shrink)

This article intends to present the thought of Wittgenstein – mainly from his notes at Philosophical Investigations (PI), Remarks on the Philosophy of Psychology (RPP), and Last Writings on the Philosophy of Psychology (LW) – and of his commentators about important thesis on memory. This one is a major epistemic problem, since our knowledge of the past facts comes from it. Provided that it sometimes fails, is important to know of what we are talking about when we use the term (...) “memory” and to know how can we trust it. (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.

The main intent of this thesis is to defend that the laws of nature are better thought as transcendent universals, such as platonic governism suggests, and that they are metaphysically necessary in a strong way, such as the heterodox version of such platonism defends. With this intention, we sustain that physical symmetries are essential consequences of the laws of nature – what solves the challenge of symmetries – thus being metaphysically necessary, without being governist's necessitation laws. First, we will show (...) what laws of nature are and the reasons to reject other metaphysical theories and to accept platonic governism. Soon after, we will present the challenge of symmetries and the reasons to prefer the platonic governist answer over dispositionalist, regularist, aristotelic (governism), counterfatualist and primitivist ones. At last, we will define what is the metaphysical necessity, argue for the strong metaphysical necessity of laws and their consequences, and show why the reasons for the contingency or weak necessity of laws are bad theoretical paths. (shrink)

This book deals with an internal theme of metaphysics, which is the metaphysics of the laws of nature. The author presents traditional contemporary theories, as well as his own original theory, and evaluates each one at a time. He also addresses the problem of the modality of the laws of nature and makes some criticism of the standard view of necessity as truth in all possible worlds, and shows an application of his discussion to the metaphysics of physics. / Este (...) livro trata de um tema interno à metafísica, que é a metafísica das leis da natureza. O autor apresenta as teorias tradicionais contemporâneas, tal como também a sua própria teoria original, e avalia cada uma delas por vez. Ele também aborda o problema da modalidade das leis da natureza e apresenta uma certa crítica à visão padrão da necessidade como verdade em todos os mundos possíveis, e mostra uma aplicação da sua discussão à metafísica da Física. (shrink)

This book talks about the city's reception of philosophy. The purpose of this chapter is to show that philosophy is essential for the maintenance of human security in our cities. The importance of this apology for philosophy is precisely to undo a common but erroneous conception of the nature and disadvantages of this discipline and to politically base its existence. To do this, we will present a characterization of philosophy and some of the most important criticisms of its development within (...) the city, and show that they are not sustainable. Subsequently, we will approach the concept of human security, constructed by Amartya Sen and Obuchi Keizo, and indicate how philosophy is fundamental to its preservation. /// Este livro fala sobre a recepção da filosofia pela cidade. O objetivo deste capítulo é mostrar que a filosofia é essencial para a manutenção da segurança humana de nossas cidades. A importância dessa apologia da filosofia é justamente desfazer uma concepção comum, porém errônea, da natureza e das desvantagens dessa disciplina e fundamentar politicamente sua existência. Para fazermos isso, apresentaremos uma caracterização de filosofia e algumas das mais importantes críticas ao seu desenvolvimento no seio da cidade, e mostraremos que elas não se sustentam. Posteriormente, abordaremos o conceito de segurança humana, construído por Amartya Sen e Obuchi Keizo, e indicaremos como a filosofia é fundamental para a sua preservação. (shrink)

Are philosophy and literature allies or enemies in Jorge Luis Borges's fictions? In this paper, I argue that Borges can satisfy membership in the allies camp because his fictions provide the imaginative scenarios the allies believe are so necessary to this coalition; however, because his stories question philosophy's hold on reality, they can also seem to fall into the enemies camp by countervailing any claim philosophy has on reality and truth; although, ultimately, the manner in which Borges forges an alliance (...) between philosophy and literature will be for reasons not traditionally accepted by those in either the allies or enemies camps. (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)

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)

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.

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us to (...) assess processes of reasoning involving attitudes of suspended judgment. (shrink)

The purposes of this paper are: (1) to present four theories of the nature of natural laws, (2) to show that only one of them is capable of adequately answering to Tooley's Cases, and (3) indicate why these cases are relevant for our ontology. These purposes are important since the concept of "natural law" is used in many (if not all) realms of natural science and in many branches of philosophy; if Tooley's cases are possible, they represent situations that must (...) be adequately described. If there is only one theory that can adequately describe such cases, there are strong reasons to prefer this theory over the other ones. (shrink)

A primeira tese de Sober é que não podemos agir livremente, a não ser que o Argumento da Causalidade ou o Argumento da Inevitabilidade tenham alguma falha. O Argumento da Causalidade é o seguinte: nossos estados mentais causam movimentos corporais; mas nossos estados mentais são causados por fatores do mundo físico. Nossa personalidade pode ser reconduzida à nossa experiência e à nossa genética. E tanto a experiência quanto a genética foram causados por itens do mundo físico. Assim, o meio ambiente (...) e os genes são os causadores de nossas crenças e desejos. E estes, por sua vez, causam o nosso comportamento. Como, em última instância, não escolhemos nem os nossos genes e nem o meio ambiente no qual adquirimos as nossas experiências, também não escolhemos o nosso comportamento: ele é causado por fatores além do nosso controle; isso nos faz não ser livres. E o Argumento da Inevitabilidade é exposto por Sober assim: se uma ação foi praticada livremente, então deve ter sido possível ao agente agir de outra forma. Mas, dado que as causas de nossas ações são as nossas crenças e desejos, não poderíamos ter agido diferentemente de como elas nos determinam a agir. (shrink)

Neste capítulo, Loux apresenta alguns problemas com relação às modalidades e algumas das relações entre elas e o vocabulário dos mundos possíveis, expondo as duas principais posições ontológicas com relação a tais mundos e às modalidades e com relação à natureza das modalidades, a saber, o possibilismo e o actualismo, defendidos respectivamente por Lewis e Plantinga. Essas são teorias inconsistentes entre si, que intentam nos dizer se os mundos possíveis são concretos ou abstratos e se existe algo além do que (...) é actual. (shrink)

Abstracting away from its various particular versions, contemporary externalism about knowledge can be broadly characterized as the rejection of two central ideas: that knowledge is incompatible with reflective awareness of the possibility of error, and that knowledge is necessarily tied to the resources that are available from within the first-person perspective. In this brief introduction, I outline five distinctly externalist accounts of knowledge, and two distinctly externalist methodological approaches to knowledge, all fitting this general description.

In this paper, I offer two counterexamples to the so-called ‘Uniqueness Thesis.’ As one of these examples rely on the thesis that it is possible for a justified belief to be based on an inconsistent body of evidence, I also offer reasons for this further thesis. On the assumption that doxastic justification entails propositional justification, the counterexamples seem to work.

This article explores the work and thought of French pedagogue Fernand Deligny (1913-1996), focusing on his last project commonly referred to as the Tentative des Cévennes, developed between 1967-1996. From this experience that Deligny forged together with his collaborators, the article exposes the generation of a particular form of knowledge, a philosophy subordinated to a gestural solidarity network formed by human and non-human bodies, environments and situations, minimal gestures, everyday actions, and contingent events, visible only through a series of aesthetic (...) devices that were developed during this period: writings, traces, maps, films, interviews, and wanderings. This gestural philosophy would be linked to a series of actions that would constitute an organic system in its apparent material dispersion. The article is organized through a biographical and historical contextualization, to later deploy the theoretical framework of the research and a conclusion. (shrink)

Resenha de "Sobre o sentido e a referência" / Review of "On sense and reference".

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)

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 (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

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 (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

This paper introduces pragmatic hypotheses and relates this concept to the spiral of scientific evolution. Previous works determined a characterization of logically consistent statistical hypothesis tests and showed that the modal operators obtained from this test can be represented in the hexagon of oppositions. However, despite the importance of precise hypothesis in science, they cannot be accepted by logically consistent tests. Here, we show that this dilemma can be overcome by the use of pragmatic versions of precise hypotheses. These pragmatic (...) versions allow a level of imprecision in the hypothesis that is small relative to other experimental conditions. The introduction of pragmatic hypotheses allows the evolution of scientific theories based on statistical hypothesis testing to be interpreted using the narratological structure of hexagonal spirals, as defined by Pierre Gallais. (shrink)

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

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)