Scientists typically use a variety of representations, including different kinds of figures, to present and defend hypotheses. In order to understand the justification of scientific hypotheses, it is essential to understand how visual representations contribute to scientific arguments. Since the logical understanding of arguments involves the truth or falsity of the representations involved, visual representations must have the capacity to bear truth in order to be genuine components of arguments. By drawing on Goodman's analysis of symbol systems, and on Tarski's (...) work on truth, I show that the figures used in science meet this criterion. (shrink)

Publications in contemporary science journals often include figures like graphs, diagrams, photographs, and MRIs, which are presented as support for the hypothesis the author is defending. As a first step to explaining how figures contribute to confirmation, I present an account of visual representation and use examples to show how the visual format is involved in the support those figures provide the authors’ conclusions. I then show that attempts to explain what figures contribute to scientific arguments without analyzing them as (...) visual representations will not succeed. (shrink)

Na semântica ockhamiana, o predicado ‘verdadeiro’ deriva de uma outra relação semântica mais fundamental, a relação de suposição. O autor mostra como esta relação de dependência entre dois predicados semânticos figura na análise das condições de verdade de proposições passadas, um modelo que pode ser estendido a proposições futuras e possíveis. O texto procura indicar como a explicação das condições de verdade de proposições possíveis situa a semântica das modalidades aléticas em continuidade com a semântica de proposições não presentes. Este (...) último ponto ganha em interesse se o colocarmos ao lado de um outro aspecto da teoria modal ockhamiana, a saber, o fato de modalidades serem definidas como todo termo que pode ser predicado de proposições inteiras. Como conclusão, o autor expõe os diferentes níveis de análise de modalidades aléticas, dentro do quadro teórico ockhamiano. (shrink)

Recordando a Bachelard a medio siglo de su muerte (2011) -- Filosofia de la relatividad (2011) -- La proliferación de los conceptos de especie en la biología evolucionista (2010).

The distinction between semantics and pragmatics is often seen as a discussion about where to place pragmatic inferences: while minimalists think that they only come into play after the proposition is grasped, for contextualists, there are already pragmatic processes in the very determination of what is said, leading to ad hoc conceptual adjustments. There is, however, another way to look at this matter: we may keep a sensitive truth-distribution across contexts without ad hoc conceptual manoeuvres. An intuitive distribution of truth-values (...) may be explained as a variation in (kaplanian) circumstances, without any tampering with sentence constituents. This way of understanding the debate connects, maybe surprisingly, a first reaction to the semantics-pragmatics divide, in Cavell, and Predelli’s original stance on this debate. (shrink)

This high-level study discusses Newtonian principles and 19th-century views on electrodynamics and the aether. Additional topics include Einstein's electrodynamics of moving bodies, Minkowski spacetime, gravitational geometry, time and causality, and other subjects. Highlights include a rich exposition of the elements of the special and general theories of relativity.

O sofisma ‘omnis homo de necessitate est animal’ é um dos mais discutidos naliteratura filosófica medieval. Meu objetivo neste texto é o de propor uma hipótese deanálise das estratégias argumentativas para uma resposta positiva, isto é, que consideraesta frase verdadeira. Para isto, trabalharei com três textos: a hipótese será formulada apartir da leitura do AnonymusGC611, soph. 7, e será em seguida testada, de maneirapreliminar, nos bem mais longos Anonymus Erfordensise Gonville e Caius 512-543. Umaestratégia postula próprio de ser como relatumde (...) uma frase descrevendo a essência dealgo, enquanto a outra propõe que tais sentenças são tornadas verdadeiras pela speciesassociada a sua apreensão. (shrink)

Volume 19, Issue 9, September 2019, Page 37-39.

A critical survey of the main philosophical theories about events and event talk, organized in three main sections: (i) Events and Other Categories (Events vs. Objects; Events vs. Facts; Events vs. Properties; Events vs. Times); (ii) Types of Events (Activities, Accomplishments, Achievements, and States; Static and Dynamic Events; Actions and Bodily Movements; Mental and Physical Events; Negative Events); (iii) Existence, Identity, and Indeterminacy.

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

Considering topology as an extension of mereology, this paper analyses topological variants of mereological essentialism (the thesis that an object could not have different parts than the ones it has). In particular, we examine de dicto and de re versions of two theses: (i) that an object cannot change its external connections (e.g., adjacent objects cannot be separated), and (ii) that an object cannot change its topological genus (e.g., a doughnut cannot turn into a sphere). Stronger forms of structural essentialism, (...) such as morphological essentialism (an object cannot change shape) and locative essentialism (an object cannot change position) are also examined. (shrink)

When and why do we need the indexical ‘I’? Perry (1979) thinks that ‘I’ is an essential ingredient to the explanation and prediction of action. We need ‘I’ to classify the kind of belief that causes an agent to produce a new action. In his view, classifying the agent’s belief in terms of ‘I’ makes sense because, when asked to explain her behavior, the agent will be disposed to say ‘I’. Here, we argue that this dispositional assumption is problematic. The (...) disposition to act according to an essential indexical and the disposition to make a speech act that contains ‘I’ are two very different things that are not always related. The most common circumstances in which we need to say ‘I’ to explain ourselves involve other agents: when we coordinate in joint actions or when we engage in self-talk to save face before the eyes of potential witnesses. Finally, we revisit Perry’s famous messy shopper anecdote to offer a better story about why its main character is disposed to say ‘I’. (shrink)

This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way, and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological (...) spaces that have proved of use in the modelling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. (shrink)

Reasons-first theorists claim that facts about reasons for attitudes are normatively primitive, and that all other normative facts ultimately reduce to facts about reasons. According to their view, for example, the fact that something is good ultimately reduces to facts about reasons to favour it. I argue that these theories face a challenging dilemma due to the normativity of arational lifeforms, for instance the fact that water is good for plants. If all normative facts are, ultimately, facts about reasons for (...) attitudes, then reasons-first theorists must either (a) show that these facts do reduce to facts about reasons, or (b) concede that they do not and, instead, show that this is not a problem for their view. Both options, however, are riddled with difficulties—or so I will try to argue. (shrink)

Neste artigo, temos como objetivo perscrutar o funcionamento da verbo-visualidade de uma perspectiva dialógica do discurso, utilizando, como material de análise, uma videomontagem humorística acerca do ator político Dilma Rousseff, durante a campanha presidencial brasileira do ano de 2010. Primeiramente, procuramos refletir acerca de alguns pressupostos teórico-metodológicos de Bakhtin e de Brait, qual seja, o de verbo-visualidade, alicerçado na concepção bakhtiniana de linguagem. Em um segundo momento, detivemo-nos na análise do texto objeto do artigo, que se pautou na seguinte indagação: (...) como contribuem e funcionam os elementos verbais e visuais para produção e direcionamento de sentidos na videomontagem? Nossa hipótese é a de que os discursos carregados pela montagem criam uma trilha ideológica de sentido que leva os interlocutores a interpretar a então candidata como uma pessoa sem discurso, manipulável. Diante do exposto, tentaremos demonstrar a hipótese que sustentamos. (shrink)

ABSTRACT The philosophical tradition approaches to morals have their grounds predominantly on metaphysical and theological concepts and theories. Among the traditional ethics concepts, the most prominent is the Divine Command Theory (DCT). As per the DCT, God gives moral foundations to the humankind by its creation and through Revelation. Morality and Divinity are inseparable since the most remote civilization. These concepts submerge in a theological framework and are largely accepted by most followers of the three Abrahamic traditions: Judaism, Christianity, and (...) Islam: the greatest part of the human population. Holding faith and Revelation for its grounds, the Divine Command Theories are not strictly subject to the demonstration. The opponents to the Divine Command conception of morals, grounded in the impossibility of demonstration of its metaphysical and religious assumptions, have tried for many centuries (albeit unsuccessfully) to devalue its importance. They held the argument that it does not show material evidence and logical coherence and, for this reason, cannot be taken into account for scientific nor philosophical purposes. It is just a belief and, as so, should be understood. Besides these extreme oppositions, many other concepts contravene the Divine Command theories, in one or another way, in part or in full. Many philosophers and social scientists, from the classic Greek philosophy up to the present date, for instance, sustain that morality is only a construct, and thus culturally relative and culturally determined. However, this brings many other discussions and imposes the challenge to determine what is the meaning of culture, which elements of culture are morally determinant, and finally, what are the boundaries of such relativity. Moral determinists claim that everything related to human behavior, including morality, is determined, once free will does not exist. More recently, modern thinkers argued that there is a strict science of morality. However, the scientific method alone, despite explaining several facts and evidence, cannot enlighten the entire content and full meaning of ethics. Morals’ understanding requires a broader perception, and an agreement among philosophers, which they have never achieved. All of these questions have many different configurations depending on each philosophical strand, and start complex analysis and endless debates, as long as many of them are reciprocally conflictive. The universe and the atmosphere involving this thesis are the dominions of all these conceptual conflicts, observed from an objective and evolutionary standpoint. Irrespective of this circumstance and its intrinsic importance, however, these questions are far distant from the methodological approach of an analytical discussion on objective morals, what is, indeed, the aim and scope of this work. We should briefly revisit these prominent traditional theories because this thesis shelters a comparative study, and its assumptions at least differ profoundly from all traditional theories. Therefore, it becomes necessary offering direct and specific elements of comparison to the reader, for the right criticism, dispensing interruptive researches. However, even revisiting the traditional theories, for this comparative and critical exposure purpose, they will be kept by the side of our main concerns, as “aliena materia.” Irrespective of the validity of any or all of the elements of this discussion, and their meaning as the philosophical universe of this thesis, the purpose of this work is demonstrating and justifying the existence and meaning of prehistoric moral archetypes arisen directly from the very first social needs and efforts for survival. These archetypes are the definition of the essential foundation of ethics, its aggregation to the collective unconscious and corresponding logic organization and transmission to evolutionary stages of the human genome and different relations space-time, irrespective of any contemporary experience of the individuals. The system defined by these archetypes composes an evolutionary human social model. Is this a metaethical position? Yes, it is. Moreover, as in any metaethical reasoning, we should look carefully for the best and coherent routes, as the Analytical Philosophy offers them. Thus, this work should reasonably demonstrate that morals are not a cultural product of the civilized men or modern societies and that despite being subject to several cultural relative aggregations and subtractions, its essential foundations are archetypal and have never structurally changed. This reasoning induces that morality is an original attribute of the “homo sapiens”; it is not a property and nor an accident: it integrates the human essence and belongs to the realm of the ontological human identity. The human phenomena is a continuing process, playing its role between random determination and free will, and we need to question how morality began and how did it come to us in the present. (shrink)

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

This paper introduces a natural deduction calculus for intuitionistic logic of belief \ which is easily turned into a modal \-calculus giving a computational semantics for deductions in \. By using that interpretation, it is also proved that \ has good proof-theoretic properties. The correspondence between deductions and typed terms is then extended to a categorical semantics for identity of proofs in \ showing the general structure of such a modality for belief in an intuitionistic framework.

"Perhaps not all the stories that follow are true. They could, however, be true, and the Reader is invited to ponder this." So begins _Insurmountable Simplicities_, Roberto Casati and Achille Varzi's colorful incarnation of the many philosophical conundrums that hide in the wrinkles of everyday life. Why do mirrors seem to invert left and right but not up and down? How do we know whether strawberries taste the same for everyone? Where is it written that we must observe the (...) law, and if it is not written, why should we observe it? What if we could swap brains-or the rest of our bodies? _Insurmountable Simplicities_ is filled with stories, dialogues, and epistolary exchanges that cover a range of themes-such as personal identity, causality and responsibility, fortune, the nature of things, the paradoxes of time and space, the interface between logic and language-in captivating and inventive ways. Clear, concise, and intellectually engaging, this internationally acclaimed book brilliantly demonstrates that the beauty of philosophy resides in its thorough engagement with the simplicities of the world, insurmountable as they might initially appear. (shrink)

"A pleasure to read. Gracefully written by a scholar well grounded in the relevant philosophical, historical, and technical background. . . . a helpfully clarifying review and analysis of some issues of importance to recent philosophy of science and a source of some illuminating insights."--Burke Townsend, Philosophy of Science.

v. 1. A alma é o corpo -- v. 2. A arma é o corpo.