In this work, formulas are inclusions \ and non-inclusions \ between Boolean terms \ and \. We present a set of rules through which one can transform a term t in a diagram \ and, consequently, each inclusion \ ) in an inclusion \ ) between diagrams. Also, by applying the rules just to the diagrams we are able to solve the problem of verifying if a formula \ is consequence of a, possibly empty, set \ of formulas (...) taken as hypotheses. Our system has a diagrammatic language based on Venn diagrams that are read as sets, and not as statements about sets, as usual. We present syntax and semantics of the diagrammatic language, define a set of rules for proving consequence, and prove that our set of rules is strongly sound and complete in the following sense: given a set \ of formulas, \ is a consequence of \ iff there is a proof of this fact that is based only on the rules of the system and involves only diagrams associated to \ and to the members of \. (shrink)

We study regularity properties related to Cohen, random, Laver, Miller and Sacks forcing, for sets of real numbers on the Δ31\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_3}$$\end{document} level of the projective hieararchy. For Δ21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_2}$$\end{document} and Σ21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Sigma}^1_2}$$\end{document} sets, the relationships between these properties follows the pattern of the well-known Cichoń diagram for cardinal characteristics of the continuum. It is known that (...) assuming suitable large cardinals, the same relationships lift to higher projective levels, but the questions become more challenging without such assumptions. Consequently, all our results are proved on the basis of ZFC alone or ZFC with an inaccessible cardinal. We also prove partial results concerning Σ31\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Sigma}^1_3}$$\end{document} and Δ41\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_4}$$\end{document} sets. (shrink)

We investigate cardinal invariants related to the structure of dense sets of rationals modulo the nowhere dense sets. We prove that , thus dualizing the already known [B. Balcar, F. Hernández-Hernández, M. Hrušák, Combinatorics of dense subsets of the rationals, Fund. Math. 183 59–80, Theorem 3.6]. We also show the consistency of each of and . Our results answer four questions of Balcar, Hernández and Hrušák [B. Balcar, F. Hernández-Hernández, M. Hrušák, Combinatorics of dense subsets of the rationals, Fund. Math. (...) 183 59–80, Questions 3.11]. (shrink)

Throughout the history of the philosophy of science, theories have been linked to formulas as a privileged representational format. In this paper, following, I defend a semantic-representational conception of theories, where theories are identified with sets of scientific re-presentations by virtue of their epistemic potential and independently of their format. To show the potential of this proposal, I analyze as a case study the use of phase diagrams in statistical mechanics to convey in a semantically consistent and syntactically correct (...) way theoretical principles such as Liouville’s theorem. I conclude by defending this philosophical position as a tool to show the enormous representational richness underlying scientific practices. (shrink)

In this paper we introduce a recursive notation system O(Π 3 ) of ordinals. An element of the notation system is called an ordinal diagram. The system is designed for proof theoretic study of theories of Π 3 -reflection. We show that for each $\alpha in O(Π 3 ) a set theory KP Π 3 for Π 3 -reflection proves that the initial segment of O(Π 3 ) determined by α is a well ordering. Proof theoretic study for such theories (...) will be reported in [4]. (shrink)

Not simply set out in accompaniment of the Greek geometrical text, the diagram also is coaxed into existence manually (using straightedge and compasses) by commands in the text. The marks that a diligent reader thus sequentially produces typically sum, however, to a figure more complex than the provided one and also not (as it is) artful for being synoptically instructive. To provide a figure artfully is to balance multiple desiderata, interlocking the timelessness of insight with the temporality of construction. Our (...) account of the diagram complements those of Manders and Macbeth by more strongly emphasizing practical synthesis. (shrink)

This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of modern diagrammatic logic (...) and introduce an Euler-style diagrammatic representation system that is designed to avoid problems inherent to a traditional version of Euler diagrams. It is hypothesized that Euler diagrams are effective not only in interpreting sentential premises but also in reasoning about semantic structures implicit in given sentences. To test the hypothesis, we compared Euler diagrams with other types of diagrams having different syntactic or semantic properties. Experiment compared the difference in performance between syllogistic reasoning with Euler diagrams and Venn diagrams. Additional analysis examined the case of a linear variant of Euler diagrams, in which set-relationships are represented by one-dimensional lines. The experimental results provide evidence supporting our hypothesis. It is argued that the efficacy of diagrams in supporting syllogistic reasoning crucially depends on the way they represent the relational information contained in categorical sentences. (shrink)

This article puts forward the notion of “evolving diagram” as an important case of mathematical diagram. An evolving diagram combines, through a dynamic graphical enrichment, the representation of an object and the representation of a piece of reasoning based on the representation of that object. Evolving diagrams can be illustrated in particular with category-theoretic diagrams (hereafter “diagrams*”) in the context of “sketch theory,” a branch of modern category theory. It is argued that sketch theory provides a diagrammatic* (...) theory of diagrams*, that it helps to overcome the rivalry between set theory and category theory as a general semantical framework, and that it suggests a more flexible understanding of the opposition between formal proofs and diagrammatic reasoning. Thus, the aim of the paper is twofold. First, it claims that diagrams* provide a clear example of evolving diagrams, and shed light on them as a general phenomenon. Second, in return, it uses sketches, understood as evolving diagrams, to show how diagrams* in general should be re-evaluated positively. (shrink)

Truth diagrams are introduced as a novel graphical representation for propositional logic. To demonstrate their epistemic efficacy a set of 28 concepts are proposed that any comprehensive representation for PL should encompass. TDs address all the criteria whereas seven other existing representations for PL only provide partial coverage. These existing representations are: the linear formula notation, truth tables, a PL specific interpretation of Venn Diagrams, Frege’s conceptual notation, diagrams from Wittgenstein’s Tractatus, Pierce’s alpha graphs and Gardner’s shuttle (...) diagrams. The comparison of the representations succeeds in distinguishing ideas that are fundamental to PL from features of common PL representations that are somewhat arbitrary. (shrink)

This paper outlines a method to assess the effectiveness of diagrams, from semiotic foundations. In doing so, we explore the Peircian notion of signification, as applied to diagrammatic representations. We review a history of diagrams, with particular emphasis on schematics used for representing systems, and uncover the neglect of semiotic analysis of diagrammatic representations. Through application of category theory to the Peircian triadic model, we propose a set of quantitative quality measures for diagrams, and a framework for (...) their assessment, based on the properties of their encoding, pragmatic and perceptual morphisms. These measures include diagram complexity, utility, aesthetics and expert assessment of semiotic content, together with qualitative feedback. We consider the diagrams as an aid to cognitive processes, rather than a purely communication media. This utility-focused perspective on diagram quality dimensions allows for fresh insights into the creation of effective diagrams. (shrink)

This book is about the relationship between necessary reasoning and visual experience in Charles S. Peirce’s mathematical philosophy. It presents mathematics as a science that presupposes a special imaginative connection between our responsiveness to reasons and our most fundamental perceptual intuitions about space and time. Central to this view on the nature of mathematics is Peirce’s idea of diagrammatic reasoning. In practicing this kind of reasoning, one treats diagrams not simply as external auxiliary tools, but rather as immediate visualizations (...) of the very process of the reasoning itself. Thus conceived, one's capacity to diagram their thought reveals a set of characteristics common to ordinary language, visual perception, and necessary mathematical reasoning. The book offers an original synthetic approach that allows tracing the roots of Peirce’s conception of a diagram in certain patterns of interrelation between his semiotics, his pragmaticist philosophy, his logical and mathematical ideas, bits and pieces of his biography, his personal intellectual predispositions, and his scientific practice as an applied mathematician. (shrink)

Scientists use a variety of modes of representation in their work, but philosophers have studied mainly sentences expressing propositions. I ask whether diagrams are mere conveniences in expressing propositions or whether they are a distinct, ineliminable mode of representation in scientific texts. The case of path analysis, a statistical method for quantitatively assessing the relative degree of causal determination of variation as expressed in a causal path diagram, is discussed. Path analysis presents a worst case for arguments against eliminability (...) since path diagrams are usually presumed to be mathematically or logically “equivalent” in an important sense to sets of linear path equations. I argue that path diagrams are strongly generative, i.e., that they add analytical power to path analysis beyond what is supplied by linear equations, and therefore that they are ineliminable in a strong scientific sense. (shrink)

Participants in cognitive psychology experiments on reasoning and problem solving are commonly sequestered: Efforts are made to impoverish the physical context in which the problem is presented, decoupling people from the richer and modifiable environment that naturally instantiates it outside the lab. Sense-making activities are constrained, but this conforms to the strong internalist and individualist commitments implicit to these research efforts: Cognition reflects internal computations and the scientists’ toils must focus on the individual and what she is thinking, decoupled from (...) the world. We contrast this position with one that identifies cognition as the product of a cognitive system that is configured and enacted by, minimally, an agent and the world in which she is embedded. We review work on the psychology of hypothesis testing and problem solving and argue that refocusing research efforts on the dynamic agent-environment couplings that generate cognitive products — such as a problem representation, a hypothesis or a problem solution — offers a much richer set of methodological opportunities to unveil how people actually think outside the cognitive psychologist’s laboratory. We conclude by exploring the ontological implications of a systemic perspective on cognition. (shrink)

Participants in cognitive psychology experiments on reasoning and problem solving are commonly sequestered: Efforts are made to impoverish the physical context in which the problem is presented, decoupling people from the richer and modifiable environment that naturally instantiates it outside the lab. Sense-making activities are constrained, but this conforms to the strong internalist and individualist commitments implicit to these research efforts: Cognition reflects internal computations and the scientists’ toils must focus on the individual and what she is thinking, decoupled from (...) the world. We contrast this position with one that identifies cognition as the product of a cognitive system that is configured and enacted by, minimally, an agent and the world in which she is embedded. We review work on the psychology of hypothesis testing and problem solving and argue that refocusing research efforts on the dynamic agent-environment couplings that generate cognitive products — such as a problem representation, a hypothesis or a problem solution — offers a much richer set of methodological opportunities to unveil how people actually think outside the cognitive psychologist’s laboratory. We conclude by exploring the ontological implications of a systemic perspective on cognition. (shrink)

This paper describes methods for generating interactive Euler diagrams. User interaction is needed to improve the aesthetic quality of the drawing without writing tedious formal specifications. More precisely, the user can modify the diagram’s layout on the fly by mouse control. We prove that the satisfiability problem is in \ and we provide two syntactic fragments such that the corresponding restricted satisfiability problem is already \-hard. We describe an improved local search based approach, a method inspired from the gradient (...) method and a hybrid method mixing both and. A software tool was implemented and its implementation is described. We also experimentally compare the different methods. We first see that the improved local search and the hybrid method outperforms the local search from the literature and the gradient method for generating a diagram. Concerning interaction, the local search approach is not suitable but hybrid method and gradient method give both good results in terms of quality of drawings and stability. Specifications are written using region connection calculus ), radius constraints and disjunctions. Euler diagrams are described as set of circles. (shrink)

We can regard operations that discard information, like specializing to a particular case or dropping the intermediate steps of a proof, as projections, and operations that reconstruct information as liftings. By working with several projections in parallel we can make sense of statements like “Set is the archetypal Cartesian Closed Category”, which means that proofs about CCCs can be done in the “archetypal language” and then lifted to proofs in the general setting. The method works even when our archetypal language (...) is diagrammatical, has potential ambiguities, is not completely formalized, and does not have semantics for all terms. We illustrate the method with an example from hyperdoctrines and another from synthetic differential geometry. (shrink)

A blue-ribbon panel convened by the National Council for Accreditation of Teacher Education (NCATE) concluded in 2010 that teacher education in the United States must be “turned upside down,” with practical experience at its center and academic content woven around the practical. It might seem that the new clinical model based on medical education, which has been adopted by eight states, would be well-aligned with a Deweyan inquiry-based pedagogy. Dewey himself recognized a paradox, however: preparation for the combination of rigor (...) and flexibility needed for inquiry-based pedagogical skills absolutely requires immersion in clinical settings, even as immersion in the teaching environment that prevails in U.S. public schools systematically socializes new teachers to a very different set of skills than those needed for this model of effective pedagogy. Recent scholarship by Kuhnian scholars provides practical guidance for an alternative understanding of how changes in practice occur and may be transmitted to future generations. (shrink)

After determining one set of skills that we hoped our students were learning in the introductory philosophy class at Carnegie Mellon University, we designed an experiment, performed twice over the course of two semesters, to test whether they were actually learning these skills. In addition, there were four different lectures of this course in the Spring of 2004, and five in the Fall of 2004; and the students of Lecturer I were taught the material using argument diagrams as a (...) tool to aid understanding and critical evaluation, while the other students were taught using more traditional methods. We were interested in whether this tool would help the students develop the skills we hoped they would master in this course. In each lecture, the students were given a pre-test at the beginning of the semester, and a structurally identical post-test at the end. We determined that the students did develop the skills in which we were interested over the course of the semester. We also determined that the students who were able to construct argument diagrams gained significantly more than the other students. We conclude that learning how to construct argument diagrams improves a student's ability to analyze, comprehend, and evaluate arguments. (shrink)

LetSbe the group of finitely supported permutations of a countably infinite set. Let$K[S]$be the group algebra ofSover a fieldKof characteristic 0. According to a theorem of Formanek and Lawrence,$K[S]$satisfies the ascending chain condition for two-sided ideals. We study the reverse mathematics of this theorem, proving its equivalence over$RC{A_0}$ to the statement that${\omega ^\omega }$is well ordered. Our equivalence proof proceeds via the statement that the Young diagrams form a well partial ordering.

Linear structural equation models (SEMs) are widely used in sociology, econometrics, biology, and other sciences. A SEM (without free parameters) has two parts: a probability distribution (in the Normal case specified by a set of linear structural equations and a covariance matrix among the “error” or “disturbance” terms), and an associated path diagram corresponding to the functional composition of variables specified by the structural equations and the correlations among the error terms. It is often thought that the path diagram is (...) nothing more than a heuristic device for illustrating the assumptions of the model. However, in this paper, we will show how path diagrams can be used to solve a number of important problems in structural equation modelling. (shrink)

This article explores aspects of Rosenzweig’s Star of Redemption from the perspective of systems theory. Mosès, Pollock, and others have noted the systematic character of the Star. While “systematic” does not mean “systems theoretic,” the philosophical theology of the Star encompasses ideas that are salient in systems theory. The Magen David star to which the title refers, and which deeply structures Rosenzweig’s thought, fits the classic definition of “system” – a set of elements (God, World, Human) and relations between the (...) elements (Creation, Revelation, Redemption). The Yes and No of the elements and their reversals illustrate the bridging of element and relation with the third category of “attribute,” a notion also central to the definition of “system.” In the diachronics of “the All,” the relations actualize what is only potential in the elements in their primordial state and thus remedy the incompleteness of these elements, fusing them into an integrated whole. Incompleteness is a major theme of systems theory, which also explicitly examines the relations between wholes and parts and offers a formal framework for expressing such fusions. In this article, the systems character of Parts I & II of the Star is explored through extensive use of diagrams; a systems exploration of Part III is left for future work. Remarkably, given its highly architectonic character, diagrams are absent in Rosenzweig’s book, except for the triangle of elements, the triangle of relations, and the hexadic star, which are presented on the opening page of each part of the book. While structures can be explicated entirely in words, diagrams are a visual medium of communication that supplements words and supports a nonverbal understanding that structures both thought and experience. (shrink)

The article examines the relevance of Aristotle’s analysis that concerns the syllogistic figures. On the assumption that Aristotle’s analytics was inspired by the method of geometric analysis, we show how Aristotle used the three terms, when he formulated the three syllogistic figures. So far it has not been appropriately recognized that the three terms — the major, the middle and the minor one — were viewed by Aristotle syntactically and predicatively in the form of diagrams. Many scholars have misunderstood (...) Aristotle in that in the second and third figure the middle term is outside and that in the second figure the major term is next to the middle one, whereas in the third figure it is further from it. By means of diagrams, we have elucidated how this perfectly accords with Aristotle's planar and graphic arrangement. In the light of these diagrams, one can appropriately capture the definition of syllogism as a predicative set of terms. Irrespective of the tricky question concerning the abbreviations that Aristotle himself used with reference to these types of predication, the reconstructed figures allow us better to comprehend the reductions of syllogism to the first figure. We assume that the figures of syllogism are analogous to the figures of categorical predication, i.e., they are specific syntactic and semantic models. Aristotle demanded certain logical and methodological competence within analytics, which reflects his great commitment and contribution to the field. (shrink)

Dynamo: Diagrams for Evolutionary Game Dynamics is free, open-source software used to create phase diagrams and other images related to dynamical systems from evolutionary game theory. We describe how to use the software’s default settings to generate phase diagrams quickly and easily. We then explain how to take advantage of the software’s intermediate and advanced features to create diagrams that highlight the key properties of the dynamical system under study. Sample code and output are provided to (...) help demonstrate the software’s capabilities. (shrink)

Linear structural equation models (SEMs) are widely used in sociology, econometrics, biology, and other sciences. A SEM (without free parameters) has two parts: a probability distribution (in the Normal case specified by a set of linear structural equations and a covariance matrix among the “error” or “disturbance” terms), and an associated path diagram corresponding to the causal relations among variables specified by the structural equations and the correlations among the error terms. It is often thought that the path diagram is (...) nothing more than a heuristic device for illustrating the assumptions of the model. However, in this paper, we will show how path diagrams can be used to solve a number of important problems in structural equation modelling. (shrink)

This article puts forward the thesis that the contemporary global movement against capitalism, and the post-Fordist regime it is responding to, is best understood in terms of the emergence of ‘human nature’ as the crux of political struggle. According to Virno, the biological invariant has become the raw material of social praxis because the capitalist relation of production mobilizes to its advantage, in a historically unprecedented way, the species-specific prerogatives of Homo sapiens. Through the concept of ‘natural-historical diagrams’, the (...) article explores the significance of socio-political states of affairs which directly display key aspects of anthropogenesis, and, making use of Ernesto De Martino’s concept of ‘cultural apocalypses’, considers the different relations that a biological ‘background’ and a socio-political ‘foreground’ entertain in traditional and contemporary societies. The attempt to develop a ‘natural history’ of such diagrams leads Virno to reflecting on the importance of the language faculty, neoteny, non-specialization and the absence of a predetermined natural environment for political action. This reflection on the contemporary importance of political anthropology leads Virno to a set of concluding remarks on the role of ethics and the idea of the ‘good life’ in the practice of the ‘new global’ movement. (shrink)

Starting from Poincaré’s assignment of an algebraic object to a topological manifold, namely the fundamental group, this article introduces the concept of categories and their language of arrows that has, since their mid-20th-century inception, altered how large areas of mathematics, from algebra to abstract logic and computer programming, are conceptualized. The assignment of the fundamental group is an example of a functor, an arrow construction central to the notion of a category. The exposition of category theory’s arrows, which operate at (...) three distinct but deeply interconnected levels, is framed by a comparison with the language and outlook of set theory founded on the concept of membership; sets and their theorization having provided, famously through the Bourbaki initiative, the basic ontological and epistemological vocabulary for defining and handling all mathematical entities. The comparison with sets emphasizes how categories offer a form of diagrammatic argument and thought against set theory’s fidelity to syntax-based proofs; how categories invert set theory’s priority of objects and their attributes over relations by making the relations of an object to others of its kin primary; and how categories replace identity, that is, equality, between objects, by the weaker notion of isomorphism, restricting equality to identity between arrows. The article concludes with a return to topology and some remarks about the question of its possible use in articulating/characterizing cultural dynamics. (shrink)

After determining one set of skills that we hoped our students were learning in the introductory philosophy class at Carnegie Mellon University, we performed an experiment twice over the course of two semesters to test whether they were actually learning these skills. In addition, there were four different lectures of this course in the first semester, and five in the second; in each semester students in some lectures were taught the material using argument diagrams as a tool to aid (...) understanding and critical evaluation, while the other students were taught using more traditional methods. In each lecture, the students were given a pre-test at the beginning of the semester, and a structurally identical post-test at the end. We determined that the students did develop the skills in which we were interested over the course of the semester. We also determined that the students who were taught argument diagramming gained significantly more than the students who were not. We conclude that learning how to construct argument diagrams significantly improves a student’s ability to analyze arguments. (shrink)

One of the traditional applications of Euler diagrams is as a representation or counterpart of the usual set-theoretical models of given sentences. However, Euler diagrams have recently been investigated as the counterparts of logical formulas, which constitute formal proofs. Euler diagrams are rigorously defined as syntactic objects, and their inference systems, which are equivalent to some symbolic logical systems, are formalized. Based on this observation, we investigate both counter-model construction and proof-construction in the framework of Euler (...) class='Hi'>diagrams. We introduce the notion of “counter-diagrammatic proof”, which shows the invalidity of a given inference, and which is defined as a syntactic manipulation of diagrams of the same sort as inference rules to construct proofs. Thus, in our Euler diagrammatic framework, the completeness theorem can be formalized in terms of the existence of a diagrammatic proof or a counter-diagrammatic proof. (shrink)

Inheritance diagrams are directed acyclic graphs with two types of connections between nodes: x → y and x ↛ y . Given a diagram D, one can ask the formal question of “is there a valid path between node x and node y?” Depending on the existence of a valid path we can answer the question “x is a y” or “x is not a y”. The answer to the above question is determined through a complex inductive algorithm on (...) paths between arbitrary pairs of points in the graph. This paper aims to simplify and interpret such diagrams and their algorithms. We approach the area on two fronts. Suggest reactive arrows to simplify the algorithms for the winning paths. We give a conceptual analysis of inheritance diagrams, and compare our analysis to the “small” and “big sets” of preferential and related reasoning. In our analysis, we consider nodes as information sources and truth values, direct links as information, and valid paths as information channels and comparisons of truth values. This results in an upward chaining, split validity, off-path preclusion inheritance formalism of a particularly simple type. We show that the small and big sets of preferential reasoning have to be relativized if we want them to conform to inheritance theory, resulting in a more cautious approach, perhaps closer to actual human reasoning. We will also interpret inheritance diagrams as theories of prototypical reasoning, based on two distances: set difference, and information difference. We will see that some of the major distinctions between inheritance formalisms are consequences of deeper and more general problems of treating conflicting information. It is easily seen that inheritance diagrams can also be analysed in terms of reactive diagrams - as can all argumentation systems. AMS Classification: 68T27, 68T30. (shrink)

The study of classes of models of a finite diagram was initiated by S. Shelah in 1969. A diagram D is a set of types over the empty set, and the class of models of the diagram D consists of the models of T which omit all the types not in D. In this work, we introduce a natural dependence relation on the subsets of the models for the 0-stable case which share many of the formal properties of forking. This (...) is achieved by considering a rank for this framework which is bounded when the diagram D is 0-stable. We can also obtain pregeometries with respect to this dependence relation. The dependence relation is the natural one induced by the rank, and the pregeometries exist on the set of realizations of types of minimal rank. Finally, these concepts are used to generalize many of the classical results for models of a totally transcendental first-order theory. In fact, strong analogies arise: models are determined by their pregeometries or their relationship with their pregeometries; however the proofs are different, as we do not have compactness. This is illustrated with positive results as well as negative results . We also give a proof of a Two Cardinal Theorem for this context. (shrink)

Euler famously used diagrams to illustrate syllogisms in his Lettres à une princesse d’Allemagne [1]. His diagrams are usually seen as suffering from a fatal “ambiguity problem” [11]: as soon as they involve intersecting circles, which are required for the representation of existential statements, it becomes unclear what exactly may be read off from them, and as Hammer & Shin conclusively showed, any set of reading conventions can lead to erroneous conclusions. I claim that Euler diagrams can, (...) however, be used rigorously, if they are read in conjunction with the premises they are supposed to illustrate. More precisely, I give rigorous “heterogeneous” inference rules (in the sense of Barwise and Etchemendy) – rules whose premises are a sentence and a diagram and whose conclusion is a sentence – which allow to use them safely. I conclude that one should abandon the preconception that diagrams can only be used rigorously if they can be given a context-independent semantics. Finally, I suggest that context-dependence is a widespread feature of diagrams: for instance, Mumma [12] noticed that what may be read off from a Euclidean diagram depends not only on the diagram’s appearance, but also on the way it was constructed. (shrink)

Venn diagrams, which are widely used in introductory logic courses, provide a convenient and illuminating way of presenting the various theories concerning the nature of law. When combined with the Aristotelian square of opposition, these diagrams show not only how the theories are related to one another, logically, which is essential to understanding them, but also which theories are compossible. One surprising result of this approach is that it shows the substantive compatibility of the theories of law set (...) forth by H. L. A. Hart and Ronald Dworkin, who are usually pitted against one another. I show, through quotation and visual representation, that there is no essential disagreement between these jurisprudential stalwarts concerning the relation of law and morality. (shrink)

That diagrams are analog, i.e., homomorphic, representations of some kind, and sentential representations are not, is a generally held intuition. In this paper, we develop a formal framework in which the claim can be stated and examined, and certain puzzles resolved. We start by asking how physical things can represent information in some target domain. We lay a basis for investigating possible homomorphisms by modeling both the physical medium and the target domain as sets of variables, each with a (...) constraint structure. When a homomorphism exists, the causality of the physical medium can provide a “free ride,” automatically determining the information that is needed to solve a problem. The modeling technique enables us to show how in sentential representations the structure of the 2-D space is used non-homomorphically to define tokens, and to provide a minimal homomorphism with respect to the ordering of the arguments for n-ary functions, predicates, and operators, but otherwise there is no homomorphism with the target domain. Our treatment also characterizes diagrams as a type of a more general class of physical representations in which physical causality plays a role in providing the information needed to solve a problem. (shrink)

© 2017 by the authors. Aristotelian diagrams visualize the logical relations among a finite set of objects. These diagrams originated in philosophy, but recently, they have also been used extensively in artificial intelligence, in order to study various knowledge representation formalisms. In this paper, we develop the idea that Aristotelian diagrams can be fruitfully studied as geometrical entities. In particular, we focus on four polyhedral Aristotelian diagrams for the Boolean algebra B4, viz. the rhombic dodecahedron, the (...) tetrakis hexahedron, the tetraicosahedron and the nested tetrahedron. After an in-depth investigation of the geometrical properties and interrelationships of these polyhedral diagrams, we analyze the correlation between logical and geometrical distance in each of these diagrams. The outcome of this analysis is that the Aristotelian rhombic dodecahedron and tetrakis hexahedron exhibit the strongest degree of correlation between logical and geometrical distance; the tetraicosahedron performs worse; and the nested tetrahedron has the lowest degree of correlation. Finally, these results are used to shed new light on the relative strengths and weaknesses of these polyhedral Aristotelian diagrams, by appealing to the congruence principle from cognitive research on diagram design. (shrink)

A logical system is studied whose well-formed representations consist of diagrams rather than formulas. The system, due to Shin [2, 3], is shown to be complete by an argument concerning maximally consistent sets of diagrams. The argument is complicated by the lack of a straight forward counterpart of atomic formulas for diagrams, and by the lack of a counterpart of negation for most diagrams.

How can Euler diagrams support non-consequence inferences? Although an inference to non-consequence, in which people are asked to judge whether no valid conclusion can be drawn from the given premises, is one of the two sides of logical inference, it has received remarkably little attention in research on human diagrammatic reasoning; how diagrams are really manipulated for such inferences remains unclear. We hypothesized that people naturally make these inferences by enumerating possible diagrams, based on the logical notion (...) of self-consistency, in which every Euler diagram is true in a set-theoretical interpretation. The work is divided into three parts, each exploring a particular condition or scenario. In condition 1, we asked participants to directly manipulate diagrams with size-fixed circles as they solved syllogistic tasks, with the result that more reasoners used the enumeration strategy. In condition 2, another type of size-fixed diagram was used. The diagram layout change interfered with accurate task performances and with the use of the enumeration strategy; however, the enumeration strategy was still dominant for those who could correctly perform the tasks. In condition 3, we used size-scalable diagrams, which reduced the interfering effect of diagram layout and enhanced participants’ selection of the enumeration strategy. These results provide evidence that non-consequence inferences can be achieved by diagram enumeration, exploiting the self-consistency of Euler diagrams. An alternate strategy based on counter-example construction with Euler diagrams, as well as effects of diagram layout in inferential processes, are also discussed. (shrink)

We prove an exponential lower bound on the size of proofs in the proof system operating with ordered binary decision diagrams introduced by Atserias, Kolaitis and Vardi [2]. In fact, the lower bound applies to semantic derivations operating with sets defined by OBDDs. We do not assume any particular format of proofs or ordering of variables, the hard formulas are in CNF. We utilize (somewhat indirectly) feasible interpolation. We define a proof system combining resolution and the OBDD proof system.

This paper, we propose a modal logic satisfying minimal requirements for reasoning about diagrams via collection of sets and relations between them, following Harel's proposal. We first give an axiomatics of such a theory and then provide its Kripke semantics. Then we extend previous works of ours in order to obtain a decision procedure based on tableaux for this logic. Beside soundness and completeness of our tableaux, we manage to define a strategy of rule application ensuring termination by extending (...) the usual loop test of modal logic S4 to whole sub-structures of the model being computed. (shrink)

This article reports the results of an experiment involving 108 college students with varying backgrounds in biology. Subjects answered questions about the evolutionary history of sets of hominid and equine taxa. Each set of taxa was presented in one of three diagrammatic formats: a noncladogenic diagram found in a contemporary biology textbook or a cladogram in either the ladder or tree format. As predicted, the textbook diagrams, which contained linear components, were more likely than the cladogram formats to yield (...) explanations of speciation as an anagenic process, a common misconception among students. In contrast, the branching cladogram formats yielded more appropriate explanations concerning levels of ancestry than did the textbook diagrams. Although students with stronger backgrounds in biology did better than those with weaker biology backgrounds, they generally showed the same effects of diagrammatic format. Implications of these results for evolution education and for diagram design more generally are discussed. (shrink)

This book examines the transmission processes of the Aristotelian Mechanics. It does so to enable readers to appreciate the value of the treatise based on solid knowledge of the principles of the text. In addition, the book’s critical examination helps clear up many of the current misunderstandings about the transmission of the text and the diagrams. The first part of the book sets out the Greek manuscript tradition of the Mechanics, resulting in a newly established stemma codicum that illustrates (...) the affiliations of the manuscripts. This research has led to new insights into the transmission of the treatise, most importantly, it also demonstrates an urgent need for a new text. A first critical edition of the diagrams contained in the Greek manuscripts of the treatise is also presented. These diagrams are not only significant for a reconstruction of the text but can also be considered as a commentary on the text. Diagrams are thus revealed to be a powerful tool in studying processes of the transfer and transformation of knowledge. This becomes especially relevant when the manuscript diagrams are compared with those in the printed editions and in commentaries from the early modern period. The final part of the book shows that these early modern diagrams and images reflect the altered scope of the mechanical discipline in the sixteenth century. (shrink)

The foundations of mathematics are divided into proof theory and set theory. Proof theory tries to justify the world of infinite mind from the standpoint of finite mind. Set theory tries to know more and more of the world of the infinite mind. The development of two subjects are discussed including a new proof of the accessibility of ordinal diagrams. Finally the world of large cardinals appears when we go slightly beyond girard's categorical approach to proof theory.

ArgumentThe study of algebra in China has often focused on the algebraic “procedure of the Celestial Source.” Its geometrical ancestors are less known. TheYigu yanduan, authored by Li Ye (1192-1279), presents the procedure alongside its two geometrical counterparts, the “Section of Pieces [of Areas]” and the “Old Procedure.” The three procedures are known to represent three generations of algorithms used to set up quadratic equations. A similar geometrical procedure appears in a treatise written by Yang Hui (second half of thirteenth (...) century). Although the procedures look alike at first glance, the two treatises reveal different moments in their work on the relation between counting materials and geometrical representation. This study challenges their chronology trying to identify the meander of the geometrical roots of the Celestial Source. The construction of negative coefficients plays a pivotal role in this mutation and shows several layers of composition. (shrink)

This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of this book. Students learn to handle and solve new problems on their own. A straightforward, clear writing style and well-crafted examples with diagrams invite the students to develop into precise and critical thinkers. Particular attention has been given to the material that some students find challenging, such as (...) proofs. This book illustrates how to spot invalid arguments, to enumerate possibilities, and to construct probabilities. It also presents case studies to students about the possible detrimental effects of ignoring these basic principles. The book is invaluable for a discrete and finite mathematics course at the freshman undergraduate level or for self-study since there are full solutions to the exercises in an appendix. (shrink)

We present a set-theoretic model of the mental representation of classically quantified sentences (All P are Q, Some P are Q, Some P are not Q, and No P are Q). We take inclusion, exclusion, and their negations to be primitive concepts. We show that although these sentences are known to have a diagrammatic expres- sion (in the form of the Gergonne circles) that constitutes a semantic representation, these concepts can also be expressed syntactically in the form of algebraic formulas. (...) We hypothesized that the quantified sen- tences have an abstract underlying representation common to the formulas and their associated sets of dia- grams (models). We derived 9 predictions (3 semantic, 2 pragmatic, and 4 mixed) regarding people’s as- sessment of how well each of the 5 diagrams expresses the meaning of each of the quantified sentences. We report the results from 3 experiments using Gergonne’s (1817) circles or an adaptation of Leibniz (1903/ 1988) lines as external representations and show them to support the predictions. (shrink)

In this paper, we have developed an Excel package to be utilized for calculating neutrosophic data and analyze them. The use of object oriented programming techniques and concepts as they may apply to the design and development a new framework to implement neutrosophic data operations, the c# programming language, NET Framework and Microsoft Visual Studio are used to implement the neutrosophic classes. We have used Excel as it is a powerful tool that is widely accepted and used for statistical analysis. (...) Figure 1 shows Class Diagram of the implemented package. Figure 2 presents a working example of the package interface calculating the complement. Our implemented Neutrosophic package can calculate Intersection, Union, and Complement of the nuetrosophic set. Figure 3 presents our neutrosphic package capability to draw figures of presented neutrosphic set. Figure 4 presents charting of Union operation calculation, and figure 5 Intersection Operation. nuetrosophic set are characterized by its efficiency as it takes into consideration the three data items: True, Intermediate, and False. (shrink)

Free rides and observational advantages occur in visualizations when they reveal facts that must be inferred from an alternative representation. Understanding whether these concepts correspond to cognitive advantages is important: do they facilitate information extraction, saving the ‘deductive cost’ of making inferences? This paper presents the first evaluations of free rides and observational advantages in visualizations of sets compared to text. We found that, for Euler and linear diagrams, free rides and observational advantages yielded significant improvements in task performance. (...) For Venn diagrams, whilst their observational advantages yielded significant performance benefits over text, this was not universally true for free rides. The consequences are two-fold: more research is needed to establish when free rides are beneficial, and the results suggest that observational advantages better explain the cognitive advantages of diagrams over text. A take-away message is that visualizations with observational advantages are likely to be cognitively advantageous over competing representations. (shrink)

We study the values of the higher dimensional cardinal characteristics for sets of functions $f:\omega ^\omega \to \omega ^\omega $ introduced by the second author in [8]. We prove that while the bounding numbers for these cardinals can be strictly less than the continuum, the dominating numbers cannot. We compute the bounding numbers for the higher dimensional relations in many well known models of $\neg \mathsf {CH}$ such as the Cohen, random and Sacks models and, as a byproduct show that, (...) with one exception, for the bounding numbers there are no $\mathsf {ZFC}$ relations between them beyond those in the higher dimensional Cichoń diagram. In the case of the dominating numbers we show that in fact they collapse in the sense that modding out by the ideal does not change their values. Moreover, they are closely related to the dominating numbers $\mathfrak {d}^\lambda _\kappa $. (shrink)