Relations between logic and mathematics in the work of Benjamin and Charles S. Peirce.

Charles Peirce (1839-1914) was one of the most important logicians of the nineteenth century. This thesis traces the development of his algebraic logic from his early papers, with especial attention paid to the mathematical aspects. There are three main sources to consider. 1) Benjamin Peirce (1809-1880), Charles's father and also a leading American mathematician of his day, was an inspiration. His memoir Linear Associative Algebra (1870) is summarised and for the first time the algebraic structures behind its 169 algebras are analysed in depth. 2) Peirce's early papers on algebraic logic from the late 1860s were largely an attempt to expand and adapt George Boole's calculus, using a part/whole theory of classes and algebraic analogies concerning symbols, operations and equations to produce a method of deducing consequences from premises. 3) One of Peirce's main achievements was his work on the theory of relations, following in the pioneering footsteps of Augustus De Morgan. By linking the theory of relations to his post-Boolean algebraic logic, he solved many of the limitations that beset Boole's calculus. Peirce's seminal paper `Description of a Notation for the Logic of Relatives' (1870) is analysed in detail, with a new interpretation suggested for his mysterious process of logical differentiation. Charles Peirce's later work up to the mid 1880s is then surveyed, both for its extended algebraic character and for its novel theory of quantification. The contributions of two of his students at the Johns Hopkins University, Oscar Mitchell and Christine Ladd-Franklin are traced, specifically with an analysis of their problem solving methods. The work of Peirce's successor Ernst Schröder is also reviewed, contrasting the differences and similarities between their logics. During the 1890s and later, Charles Peirce turned to a diagrammatic representation and extension of his algebraic logic. The basic concepts of this topological twist are introduced. Although Peirce's work in logic has been studied by previous scholars, this thesis stresses to a new extent the mathematical aspects of his logic - in particular the algebraic background and methods, not only of Peirce but also of several of his contemporaries

Virtual articulation and kinematic abstraction in robotics

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2009.Cataloged from PDF version of thesis.Includes bibliographical references (p. 279-292).This thesis presents the theory, implementation, novel applications, and experimental validation of a general-purpose framework for applying virtual modifications to an articulated robot, or virtual articulations. These can homogenize various aspects of a robot and its task environment into a single unified model which is both qualitatively high-level and quantitatively functional. This is the first framework designed specifically for the mixed real/virtual case. It supports arbitrary topology spatial kinematics, a broad catalog of joints, on-line structure changes, interactive kinostatic simulation, and novel kinematic abstractions, where complex subsystems are simplified with virtual replacements in both space and time. Decomposition algorithms, including a novel method of hierarchical subdivision, enable scaling to large closed-chain mechanisms with 100s of joints. Novel applications are presented in two areas of current interest: operating high- DoF kinematic manipulation and inspection tasks, and analyzing reliable kinostatic locomotion strategies based on compliance and proprioception. In both areas virtual articulations homogeneously model the robot and its task environment, and abstractions structure complex models. For high-DoF operations the operator attaches virtual joints as a novel interface metaphor to define task motion and to constrain coordinated motion (by virtually closing kinematic chains); virtual links can represent task frames or serve as intermediate connections for virtual joints. For compliant locomotion, virtual articulations model relevant compliances and uncertainties, and temporal abstractions model contact state evolution.(cont.) Results are presented for experiments with two separate robotic systems in each area. For high-DoF operations, NASA/JPL's 36 DoF ATHLETE performs previously challenging coordinated manipulation/inspection moves, and a novel large-scale (100s of joints) simulated modular robot is conveniently operated using spatial abstractions. For compliant locomotion, two experiments are analyzed that each achieve high reliability in uncertain tasks using only compliance and proprioception: a novel vertical structure climbing robot that is 99.8% reliable in over 1000 motions, and a mini-humanoid that steps up an uncertain height with 90% reliability in 80 trials. In both cases virtual articulation models capture the essence of compliant/proprioceptive strategies at a higher level than basic physics, and enable quantitative analyses of the limits of tolerable uncertainty that compare well to experiment.by Marsette Arthur Vona, III.Ph.D

The Poetry of Logical Ideas: Towards a Mathematical Genealogy of Media Art

In this dissertation I chart a mathematical genealogy of media art, demonstrating that mathematical thought has had a significant influence on contemporary experimental moving image production. Rather than looking for direct cause and effect relationships between mathematics and the arts, I will instead examine how mathematical developments have acted as a cultural zeitgeist, an indirect, but significant, influence on the humanities and the arts. In particular, I will be narrowing the focus of this study to the influence mathematical thought has had on cinema (and by extension media art), given that mathematics lies comfortably between the humanities and sciences, and that cinema is the object par excellence of such a study, since cinema and media studies arrived at a time when the humanities and sciences were held by many to be mutually exclusive disciplines. It is also shown that many media scholars have been implicitly engaging with mathematical concepts without necessarily recognizing them as such. To demonstrate this, I examine many concepts from media studies that demonstrate or derive from mathematical concepts. For instance, Claude Shannon's mathematical model of communication is used to expand on Stuart Hall's cultural model, and the mathematical concept of the fractal is used to expand on Rosalind Krauss' argument that video is a medium that lends itself to narcissism. Given that the influence of mathematics on the humanities and the arts often occurs through a misuse or misinterpretation of mathematics, I mobilize the concept of a productive misinterpretation and argue that this type of misreading has the potential to lead to novel innovations within the humanities and the arts. In this dissertation, it is also established that there are many mathematical concepts that can be utilized by media scholars to better analyze experimental moving images. In particular, I explore the mathematical concepts of symmetry, infinity, fractals, permutations, the Axiom of Choice, and the algorithmic to moving images works by Hollis Frampton, Barbara Lattanzi, Dana Plays, T. Marie, and Isiah Medina, among others. It is my desire that this study appeal to scientists with an interest in cinema and media art, and to media theorists with an interest in experimental cinema and other contemporary moving image practices