The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules (...) de Araujo Feitosa, Luiz Henrique da Cruz Silvestrini; 8 La lógica, el tiempo y el lenguaje natural: un sistema formal para tiempos de portugués, Carlos Luciano Manholi. / Temas em filosofia contemporânea II / Jonas Rafael Becker Arenhart, Jaimir Conte, Cezar Augusto Mortari (orgs.) – Florianópolis : NEL/UFSC, 2016. 167 p. : tabs. - (Rumos da epistemologia ; v. 14); ISBN 978-85-87253-27-9 (papel); ISBN 978-85-87253-26-2 (e-book). (shrink)

Four ordering systems have been used most frequently in taxonomy: (1) special purpose classifications, (2) downward classifications (identification schemes), (3) upward or grouping classifications (traditional), and (4) Hennigian phylogenetic systems. The special properties of these four systems are critically evaluated. Grouping classifications and phylogenetic systems have very different objectives: the former the documentation of similarity and closeness of relationship, the latter of phylogeny. Both are legitimate ordering systems.

This paper contributes to explaining the rise of logical empiricism in mid-twentieth century (North) America and to a better understanding of American philosophy of science before the dominance of logical empiricism. We show that, contrary to a number of existing histories, philosophy of science was already a distinct subfield of philosophy, one with its own approaches and issues, even before logical empiricists arrived in America. It was a form of speculative philosophy with a concern for speculative metaphysics, normative issues relating (...) to science and society and issues which later were associated with logical empiricist philosophy of science, issues such as confirmation, scientific explanation, reductionism and laws of nature. Further, philosophy of science was not primarily pragmatist in orientation. We also show, with the help of our historical characterization, that a recent account of the emergence of analytic philosophy applies to the rise of logical empiricism. It has been argued that the emergence of American analytic philosophy is partly explained by analytic philosophers’ use of key institutions, including of journals, to marginalize speculative philosophy and promote analytic philosophy. We argue that this use of institutions included the marginalization of speculative and value-laden philosophy of science and the promotion of logical empiricism. (shrink)

One way to determine the quality and pace of change in a science as it undergoes a major transition is to follow some feature of it which remains relatively stable throughout the process. Following the chosen item as it goes through reinterpretation permits conclusions to be drawn about the nature and scope of the broader change in question. In what follows, this device is applied to the change which took place in logic in the mid-nineteenth century. The feature chosen as (...) the focal point is the categorical syllogism. (shrink)

If one investigates a process that has several causes but assumes that it has only one cause, one risks ruling out important causal factors. Three mechanisms account for this mistake: either the significance of the single cause under test is masked by noise contributed by the unsuspected and uncontrolled factors, or the process appears only when two or more causes interact, or the process appears when there are present any of a number of sufficient causes which are not mutally exclusive. (...) In ecology and evolutionary biology, experiments usually test single factor hypotheses, and many scientists apparently believe that hypotheses incorporating several factors are so much more difficult to test that to do so would not be practical. We discuss several areas in ecology and evolutionary biology in which the presupposition of simple causation has apparently impeded progress. We also examine a more mature field, the study of atherosclerosis, in which single factor studies did significantly delay progress towards understanding what now appears to be a multifactor process. The problem has three solutions: either factorial experiments, dynamic models that make quantitative predictions, response-surface methods, or all three. In choosing a definition for ‘cause’, we make a presupposition that profoundly influences subsequent observations and experimental designs. Alternative definitions of causation should be considered as contributing to potential cures for research problems. (shrink)

To explain the phenomena in the world of our experience, to answer the question “why?” rather than only the question “what?”, is one of the foremost objectives of all rational inquiry; and especially, scientific research in its various branches strives to go beyond a mere description of its subject matter by providing an explanation of the phenomena it investigates. While there is rather general agreement about this chief objective of science, there exists considerable difference of opinion as to the function (...) and the essential characteristics of scientific explanation. In the present essay, an attempt will be made to shed some light on these issues by means of an elementary survey of the basic pattern of scientific explanation and a subsequent more rigorous analysis of the concept of law and of the logical structure of explanatory arguments. (shrink)

We examine the notions of negative, infinite and hotter than infinite temperatures and show how these unusual concepts gain legitimacy in quantum statistical mechanics. We ask if the existence of an infinite temperature implies the existence of an actual infinity and argue that it does not. Since one can sensibly talk about hotter than infinite temperatures, we ask if one could legitimately speak of other physical quantities, such as length and duration, in analogous terms. That is, could there be longer (...) than infinite lengths or temporal durations? We argue that the answer is surprisingly yes, and we outline the properties of a number system that could be employed to characterize such magnitudes. (shrink)

The aim of this paper is to defend the claim that arguments are truth-directed, and to discuss the role that truth plays in the evaluation of arguments that are truth-directed. It concludes that the proper place of truth is in the metatheory in terms of which a theory of evaluation is to be worked out, rather than in the theory of evaluation itself as a constraint on premise adequacy.

This essay discusses epistemic analysis of the fallacy of begging the question. In the literature, there are two prominent epistemic explanations of the fallacy, the objective and the subjective. The objective account bases the analysis of the fallacy on the epistemic relations of the propositions used in the argument. The subjective account bases the analysis on the way the arguers acquire their beliefs in the propositions used in the argument. Arguments that aim to show that a propositional analysis is not (...) flexible enough for fallacy analysis have been taken to be a decisive argument for the subjective approach. Yet, the propositional sense seems to address a central intuition about this fallacy. In this essay, it is argued that both analyses need to be retained. (shrink)