This paper is concerned with De Morgan’s explanation of the validity of arguments that involve relational notions. It discusses De Morgan’s expansion of traditional logic aimed at accommodating those inferences, and makes the point that his endeavour is not successful in that the rules that made up his new logic are not sound. Nevertheless, the most important scholarly work on De Morgan’s logic, and contrary to that De Morgan’s mistake is not beyond repair. The rules that determine his new logic (...) are in fact monotonie replacement rules. And provided they are restricted in the correct way, these rules are demonstrably sound. (shrink)

The word ``deme'' was coined by the botanists J.S.L. Gilmour and J.W.Gregor in 1939, following the pattern of J.S. Huxley's ``cline''. Its purposewas not only to rationalize the plethora of terms describing chromosomaland genetic variation, but also to reduce hostility between traditionaltaxonomists and researchers on evolution, who sometimes scorned eachother's understanding of species. A multi-layered system of compoundterms based on deme was published by Gilmour and J. Heslop-Harrison in1954 but not widely used. Deme was adopted with a modified meaning byzoologists (...) leading the evolutionary synthesis – Huxley, Simpson, Wright,and Mayr. Connections are shown between Gilmour's ideas around definingthe deme, his role in founding the Systematics Association, and his chapter``Taxonomy and Philosophy'' in the book The New Systematics. Thishistorical episode raises questions about the role of carefully-definedwords in scientific practice. (shrink)

The question of whether or not to partition data for the purposes of inferring phylogenetic hypotheses remains controversial. Opinions have been especially divided since Kluge's (1989, Systematic Zoology 38, 7–25) claim that data partitioning violates the requirement of total evidence (RTE). Unfortunately, advocacy for or against the RTE has not been based on accurate portrayals of the requirement. The RTE is a basic maxim for non-deductive inference, stipulating that evidence must be considered if it has relevance to an inference. Evidence (...) is relevant if it has a positive or negative effect on a given conclusion. In the case of ℈partitioned’ phylogenetic inferences, the RTE is violated, and the basis for rational belief in any conclusion is compromised, unless it is shown that the partitions are evidentially irrelevant to one another. The goal of phylogenetic systematics is to hypothesize past causal conditions to account for observed shared similarities among two or more species. Such inferences are non-deductive, necessitating consideration of the RTE. Some phylogeneticists claim the parsimony criterion as justification for the RTE. There is no relation between the two – parsimony is a relation between a hypothesis and causal question(s). Parsimony does not dictate the content of premises prior to an inference. ℈Taxonomic congruence,’ ℈supertrees,’ and ℈conditional combination’ methods violate the RTE. Taxonomic congruence and supertree methods also fail to achieve the intended goal of phylogenetic inference, such that ℈consensus trees’ and ℈supertrees’ lack an empirical basis. ℈Conditional combination’ is problematic because hypotheses derived from partitioned data cannot be compared – a causal hypothesis inferred to account for a set of effects only has relevance to those effects, not any comparative relevance to other causal hypotheses. A similar problem arises in the comparisons of hypotheses derived from different causal theories. (shrink)

الأهداف: هدفت هذه الملقالة إلى رصد العلاقة الجدلية القائمة بين الملعرفةا لعلمية والتكنولوجيا، من خلال محاولة الكشف عن الارتباط بينهما والوقوف عند أوجه التداخل والتأثير، وإبراز حدود هذه العالقة وخصائصها وأبعادها العلميةوالاجتماعية . المهجية: تبنت الدراسة مقاربة تحليلية ذات طابع سوسيو­ أنثربولوجي. من أجل ذلك جرى الوقوف عند مفهوم الملعرفة، ولملعرفة العلمية، كما جرى استدعاء مجموعةمن المواقف النظرية في تخصصات مختلفة لتبيان أثر الملعرفة العلمية في التطور التكنولوجي عبر العصور. النتائج: توصلت الدراسة إلى عدة نتائج أهمها: أن البحث العلمي ساهم (...) على نحو كبير في بناء التقنية على نحو عام، وبالمقابل فإن هذه التكنولوجيا هي انعكاس واضح المعالم لكل إنتاجات وتصورات العلم والملعرفة العلمية. الخلاصة: خلصت الدراسة إلى التشاوج الذي يلي كلا من الملعرفة والتقنية؛ فكما أن العلم يتدخل لإيجاد حلول لبعض المشاكل التي قد تنتج عن الاستعمال المفرط أو غير السليم للتكنولوجيا، لذلك يعد تدخل البحث العلمي في علاقته بالجوانب التقنية، وخاصة المصنعة، أمرا بالغ الأهمية، من أجل توجيه وتصحيح مسار الإنتاجات التكنولوجية لتكون مصدر راحة وسعادة للإلنسان، فإن التقنية بدورها أسهمت على نحو كبير في تقدم البحث العلمي وعملت على تحقيق سبل راحة وسعادة هذا الأخير. (shrink)

Opinionated state of the art paper on scientific explanation. Analysis and discussion of the most relevant models and theories in the contemporary literature, namely, the deductive-nomological model, the models of inductive-statistical and statistical relevance, the pragmatic theory of why questions, the unifying theory of standard arguments, and the causal/non-causal counterfactual theory.

In the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations for, Russell’s (...) method of analysis, which are intended to shed light on his view about the status of mathematical axioms. I describe the position Russell develops in consequence as “immanent logicism,” in contrast to what Irving (1989) describes as “epistemic logicism.” Immanent logicism allows Russell to avoid the logocentric predicament, and to propose a method for discovering structural relationships of dependence within mathematical theories. (shrink)

Setting out to understand Frege, the scholar confronts a roadblock at the outset: We just have little to go on. Much of the unpublished work and correspondence is lost, probably forever. Even the most basic task of imagining Frege's intellectual life is a challenge. The people he studied with and those he spent daily time with are little known to historians of philosophy and logic. To be sure, this makes it hard to answer broad questions like: 'Who influenced Frege?' But (...) the information vacuum also creates local problems of textual interpretation. Say we encounter a sentence that may be read as alluding to a scientific dispute. Should it be read that way? To answer, we'd need to address prior questions. Is it .. (shrink)

John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of representing classes (sets) and their relations in the form of propositions. Each is a proof method for syllogisms, and Carroll's is a sound and complete system. For a large number of sets, Carroll diagrams are easier to draw because of their self-similarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an (...) argument, a particularly difficult task in Venn diagrams for more than four sets. Carroll diagrams can represent existential propositions easily, so they are capable of clearly representing more complex problems than Venn's system can. Finally, both Carroll and Venn diagrams are maximal, in the sense that no additional logic information like inclusive disjunctions is able to be represented by them. Carroll's logic diagrams and logic trees constitute his visual logic system. (shrink)

This paper is concerned with De Morgan’s explanation of the validity of arguments that involve relational notions. It discusses De Morgan’s expansion of traditional logic aimed at accommodating those inferences, and makes the point that his endeavour is not successful in that the rules that made up his new logic are not sound. Nevertheless, the most important scholarly work on De Morgan’s logic, and contrary to that De Morgan’s mistake is not beyond repair. The rules that determine his new logic (...) are in fact monotonie replacement rules. And provided they are restricted in the correct way, these rules are demonstrably sound. (shrink)

O presente artigo busca debater a posição de Charles Sanders Peirce e dos primeiros estudantes peirceanos de Lógica (Christine Ladd e O. H. Mitchell nos Studies in Logic, 1883) dentro do debate inspirador da visão da linguagem dentro da Filosofia Analítica, conhecido como “Lingua Universalis contra Calculus Ratiocinator”, cujos primórdios podem ser traçados desde a filosofia de Gottfried Leibniz. Para isso, comparamos esse campo do pensamento peirceano com o debate crucial entre a conceitografia de Gottlob Frege (Begriffsschrift, 1879) e a (...) lógica algébrica de George Boole (An investigation of the Laws of Thought on which are founded the mathematical theories of Logic and Probabilities, 1854). O nosso objetivo principal é observar que esse momento da filosofia peirceana pode ser comparado com o pensamento wittgensteiniano, especialmente em sua nova vertente, chamada New Wittgenstein, que tenta superar a tradicional divisão entre Tractatus Logico-Philosophicus e Investigações Filosóficas. Pela comparação entre pensadores influenciados por C. S. Peirce e a filosofia de Ludwig Wittgenstein, pretendemos abrir caminhos na compreensão do conceito de jogo de linguagem, especialmente em sua gramática e em seus operadores simbólicos, através da observação das funções de verdade [truth functions] e as tabelas de verdade [truth tables] enquanto lógica algébrica. (shrink)

Robert Merton's essays on theories of the middle range and his essays on functional explanation and the structural approach are among the most influential in the history of sociology. But their import is a puzzle. He explicitly allied himself with some of the most extreme scientistic formalists and contributed to and endorsed the Columbia model of theory construction. But Merton never responded to criticisms by Ernest Nagel of his arguments or acknowledged the rivalry between Lazarsfeld and Herbert Simon, rarely cited (...) the philosophical and methodological literature, and responded to critics with ambiguous concessions, leaving the Mertonian legacy profoundly ambiguous. Key Words: Robert Merton • Paul Lazarsfeld • theory construction • middle range theory • causal modeling • Émile Durkheim. (shrink)

Two types of idealization in theory construction are distinguished, and the distinction is used to give a critique of Ron Laymon's account of confirming idealized theories and his argument for scientific realism.

An experiment, in the standard scientific sense of the term, is a procedure in which some object of study is subjected to interventions that aim at obtaining a predictable outcome or at least predictable aspects of the outcome. The distinction between an experiment and a non-experimental observation is important since they are tailored to different epistemic needs. Experimentation has its origin in pre-scientific technological experiments that were undertaken in order to find the best technological means to achieve chosen ends. Important (...) parts of the methodological arsenal of modern experimental science can be traced back to this pre-scientific, technological tradition. It is claimed that experimentation involves a unique combination of acting and observing, a combination whose unique epistemological properties have not yet been fully clarified. (shrink)

The problem of enumerating the types of Boolean functions under the group of variable permutations and complementations was first stated by Jevons in the 1870s. but not solved in a satisfactory way until the work of Pólya in 1940. This paper explains the details of Pólya's solution, and also the history of the problem from the 1870s to the 1970s.

E. E. Constance Jones was one of the first women to study philosophy at the University of Cambridge. This paper focuses on her claim from her first major work, Elements of Logic as a Science of Propositions, that each thing has a unique existence. Jones’s claim follows from claims about tropes and haecceities; but, I suggest, it’s not claims about tropes and haecceities that lead her to accept it. Rather, I suggest, it’s claims about what she calls the denomination of (...) names and the quantitiveness of things that lead her to accept it. Her claim that each thing has a unique existence thus fits within her more general views in Elements of Logic. (shrink)

This paper explores the relationship of time and value in the history of economics, using the contributions of Girard, Achterhuis, Kula and Mirowski. In the ‘anthropometric stage’ time and value are intertwined: value and time are not abstract concepts, but they express a concrete process which incorporates the social positions of individuals. In the ‘lineamentric stage’ the concepts of time and value remain cyclical, but they receive an abstract character. The economy reproduces itself cyclically, because the origin of value – (...) human labour – reproduces itself in each production period. In the ‘syndetic stage’ the cyclical conception of the economy is abandoned through the perception of a non-reproductive system. Time and value are detached from each other, and linear time enters economic theory as an analytical tool. The labour theory of value is replaced by external denominants of value: utility and external scarcity. (shrink)

This article analyses the relationship between the concept of single aspect similarity and proposed measures of similarity. More precisely, it compares eleven measures of similarity in terms of how well they satisfy a list of desiderata, chosen to capture common intuitions concerning the properties of similarity and the relations between similarity and dissimilarity. Three types of measures are discussed: similarity as commonality, similarity as a function of dissimilarity, and similarity as a joint function of commonality and difference. Relative to the (...) desiderata, it is found that a measure of the second type fares the best. However, rather than recommend this measure alone as a measure of similarity, it is suggested that there are at least three separate concepts of single aspect similarity, corresponding to the three types of measures. In light of this proposal, three of the eleven measures (and variants of these) are deemed acceptable. (shrink)

We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis of propositions involving implication. In 1997, John Shosky discovered, on the verso of a page of the typed transcript of Bertrand Russell's 1912 lecture on ?The Philosophy of Logical Atomism? truth table matrices. The matrix for negation is Russell's, alongside of which is the matrix for material implication in the hand of Ludwig (...) Wittgenstein. It is shown that an unpublished manuscript identified as composed by Peirce in 1893 includes a truth table matrix that is equivalent to the matrix for material implication discovered by John Shosky. An unpublished manuscript by Peirce identified as having been composed in 1883?1884 in connection with the composition of Peirce's ?On the Algebra of Logic: A Contribution to the Philosophy of Notation? that appeared in the American Journal of Mathematics in 1885 includes an example of an indirect truth table for the conditional. (shrink)

in this paper i assess Pierre Duhem’s criticism of crucial experiments, and argue that we have reasons to vindicate their existence. i then analize the experiments carried out by Fizeau and Foucault in 1850, and criticize Duhem’s interpretation of their results. i contend that the results of crucial experiences can be described in terms that are neutral with respect to the competing theories. For that reason an experimental result is relatively stable and open to different interpretations in the light of (...) new theories. i conclude by distinguishing successful crucial experiments from decisive experiments. The former are meant to provide evidence that confirms one theory and disconfirms its rivals, but not necessarily to provide sufficient reasons for accepting or rejecting one of those theories. (shrink)