Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations of Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

408 Full-Text Articles 279 Authors 392,495 Downloads 66 Institutions

All Articles in Logic and Foundations of Mathematics

Faceted Search

408 full-text articles. Page 11 of 13.

Solving The Helmholtz Equation For The Neumann Boundary Condition For The Pseudosphere By The Galerkin Method, Jane Pleskunas 2011 Roger Williams University

Solving The Helmholtz Equation For The Neumann Boundary Condition For The Pseudosphere By The Galerkin Method, Jane Pleskunas

Mathematics Theses

In this paper, the Helmholtz equation for the exterior Neumann boundary condition for the pseudosphere in three dimensions using the global Galerkin method is studied. The Galerkin method will be used to solve Jones’ modified integral equation approach (modified as a series of radiating waves will be added to the fundamental solution) for the Neumann problem for the Helmholtz equation, which uses a series of double sums to approximate the integral. A Fortran 77 program is used and some required subroutines from the Naval Warfare Center are called to help increase ouraccuracy since these boundary integrals are difficult to solve. …


Loss Of Vision: How Mathematics Turned Blind While It Learned To See More Clearly, Bernd Buldt, Dirk Schlimm 2011 Indiana University - Purdue University Fort Wayne

Loss Of Vision: How Mathematics Turned Blind While It Learned To See More Clearly, Bernd Buldt, Dirk Schlimm

Bernd Buldt

To discuss the developments of mathematics that have to do with the introduction of new objects, we distinguish between ‘Aristotelian’ and ‘non-Aristotelian’ accounts of abstraction and mathematical ‘top-down’ and ‘bottom-up’ approaches. The development of mathematics from the 19th to the 20th century is then characterized as a move from a ‘bottom-up’ to a ‘top-down’ approach. Since the latter also leads to more abstract objects for which the Aristotelian account of abstraction is not well-suited, this development has also lead to a decrease of visualizations in mathematical practice.


Una Reflexión Entorno A “El Espíritu De La Ilustración” De Tzvetan Todorov., Mariado Hinojosa 2011 University of Valencia, Spain

Una Reflexión Entorno A “El Espíritu De La Ilustración” De Tzvetan Todorov., Mariado Hinojosa

Mariado Hinojosa

Tomando como referencia la obra de Tzvetan Todorov, el presente artículo reflexiona brevemente sobre algunos de los presupuestos heredados de la Ilustración y que marcaron profundamente el horizonte social, cultural y político del pasado siglo XX.


Powerful Arguments: Logical Argument Mapping, Michael H.G. Hoffmann 2011 Georgia Institute of Technology - Main Campus

Powerful Arguments: Logical Argument Mapping, Michael H.G. Hoffmann

Michael H.G. Hoffmann

This paper argues that deductive arguments are "powerful" when the goal is to stimulate reflection on one's own reasoning. Powerful arguments are defined as arguments that leave only one choice for a potential opponent: either to accept the conclusion or to defeat one of its premises. In the first part, the paper presents an argument for the thesis that so defined powerful arguments are possible when we do not only provide reasons as premises of an argument, but also what is called an "enabler." An "enabler" is that premise in an argument that guarantees that the reason provided in this …


Cognitive Effects Of Argument Visualization Tools, Michael H.G. Hoffmann 2011 Georgia Institute of Technology - Main Campus

Cognitive Effects Of Argument Visualization Tools, Michael H.G. Hoffmann

Michael H.G. Hoffmann

External representations play a crucial role in learning. At the same time, cognitive load theory suggests that the possibility of learning depends on limited resources of the working memory and on cognitive load imposed by instructional design and representation tools. Both these observations motivate a critical look at Computer-Supported Argument Visualization (CSAV) tools that are supposed to facilitate learning. This paper uses cognitive load theory to compare the cognitive efficacy of RationaleTM 2 and AGORA.


Analyzing Framing Processes In Conflicts And Communication By Means Of Logical Argument Mapping, Michael H.G. Hoffmann 2011 Georgia Institute of Technology - Main Campus

Analyzing Framing Processes In Conflicts And Communication By Means Of Logical Argument Mapping, Michael H.G. Hoffmann

Michael H.G. Hoffmann

The primary goal of this chapter is to present a new method—called Logical Argument Mapping (LAM)—for the analysis of framing processes as they occur in any communication, but especially in conflicts. I start with a distinction between boundary setting, meaning construction, and sensemaking as three forms or aspects of framing, and argue that crucial for the resolution of frame-based controversies is our ability to deal with those “webs” of mutually supporting beliefs that determine sensemaking processes. Since any analysis of framing in conflicts and communication is itself influenced by sensemaking—there is no “frame-neutrality”—the main problem for an analyst is to …


Propositional Quantification, Ryan Christensen 2011 Brigham Young University

Propositional Quantification, Ryan Christensen

Philosophy Faculty Publications

Ramsey deWned truth in the following way: xz is true if and only if 'pzz(xz = [zpz] & pz). This deWnition is ill-formed in standard Wrst-order logic, so it is normally interpreted using substitutional or some kind of higher-order quanti-Wer. I argue that these quantiWers fail to provide an adequate reading of the deWnition, but that, given certain adjustments, standard objectual quantiWcation does provide an adequate reading.


A Foundation For Arithmetic, Kevin Halasz 2011 University of Puget Sound

A Foundation For Arithmetic, Kevin Halasz

Summer Research

This paper contains a proof of Frege's Theorem: the statement, first discovered by George Boolos, that Gottlob Frege's failed proof of the analyticity of arithmetic could be slightly altered so as to provide an axiomitization of arithmetic with just one proposition. After an expository treatment of the mathematical work in Frege's 'Foundations of Arithmetic,' the work in which Frege presented his failed proof, a novel, and particularly succinct, proof of the Theorem is provided.


Ethics: A Contemporary Introduction, Harry Gensler, S.J. 2010 John Carroll University

Ethics: A Contemporary Introduction, Harry Gensler, S.J.

Harry J. Gensler, S.J.

No abstract provided.


Rethinking Geometrical Exactness, Marco Panza 2010 Chapman University

Rethinking Geometrical Exactness, Marco Panza

MPP Published Research

A crucial concern of early modern geometry was fixing appropriate norms for deciding whether some objects, procedures, or arguments should or should not be allowed into it. According to Bos, this is the exactness concern. I argue that Descartes’s way of responding to this concern was to suggest an appropriate conservative extension of Euclid’s plane geometry (EPG). In Section 2, I outline the exactness concern as, I think, it appeared to Descartes. In Section 3, I account for Descartes’s views on exactness and for his attitude towards the most common sorts of constructions in classical geometry. I also explain in …


Breathing Fresh Air Into The Philosophy Of Mathematics, Marco Panza 2010 Chapman University

Breathing Fresh Air Into The Philosophy Of Mathematics, Marco Panza

MPP Published Research

A review of Paolo Mancosu (ed.): The Philosophy of Mathematical Practice.


Morphogrammatics Of Reflection, Rudolf Kaehr 2010 ThinkArt Lab Glasgow

Morphogrammatics Of Reflection, Rudolf Kaehr

Rudolf Kaehr

Turning back from the studies of morphogrammatics to some open questions of reflectional programming, the recountered problematics might be put into a different light and new methods of handling formal aspects of reflection and reflectionality shall be introduced. Albeit the use of light-metaphors, morphogrammatic reflection is not sketched along the paradigm of optical metaphors. Morphograms are presenting neither propositions nor perceptions able for mirroring (representation). Exercises in defining morphogrammatic retro-grade recursion and reflection schemata are continued from the paper “Sketches to Morphogrammatic Programming”.


Agnostic Science. Towards A Philosophy Of Data Analysis, Domenico Napoletani, Marco Panza, Daniele C. Struppa 2010 George Mason University

Agnostic Science. Towards A Philosophy Of Data Analysis, Domenico Napoletani, Marco Panza, Daniele C. Struppa

MPP Published Research

In this paper we will offer a few examples to illustrate the orientation of contemporary research in data analysis and we will investigate the corresponding role of mathematics. We argue that the modus operandi of data analysis is implicitly based on the belief that if we have collected enough and sufficiently diverse data, we will be able to answer most relevant questions concerning the phenomenon itself. This is a methodological paradigm strongly related, but not limited to, biology, and we label it the microarray paradigm. In this new framework, mathematics provides powerful techniques and general ideas which generate new …


Why There Can't Be A Logic Of Induction, Stuart Glennan 2010 Butler University

Why There Can't Be A Logic Of Induction, Stuart Glennan

Stuart Glennan

Carap's attempt to develop an inductive logic has been criticized on a variety of grounds, and while there may be some philosophers who believe that difficulties with Carnap's approach can be overcome by further elaborations and modifications of his system, I think it is fair to say that the consensus is that the approach as a whole cannot succeed. In writing a paper on problems with inductive logic (and with Carnap's approach in particular), I might therefore be accused of beating a dead horse. However, there are still some (e.g., Spirtes, Glymour and Scheines 1993) who seem to believe that …


Forall X: An Introduction To Formal Logic, Version 1.28, P.D. Magnus 2010 University at Albany, State University of New York

Forall X: An Introduction To Formal Logic, Version 1.28, P.D. Magnus

Philosophy Faculty Books

This is a textbook covering translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix


Memristics: Memristors, Again? – Part Ii, How To Transform Wired ‘Translations’ Between Crossbars Into Interactions?, Rudolf Kaehr 2010 ThinkArt Lab Glasgow

Memristics: Memristors, Again? – Part Ii, How To Transform Wired ‘Translations’ Between Crossbars Into Interactions?, Rudolf Kaehr

Rudolf Kaehr

The idea behind this patchwork of conceptual interventions is to show the possibility of a “buffer-free” modeling of the crossbar architecture for memristive systems on the base of a purely difference-theoretical approach. It is considered that on a nano-electronic level principles of interpretation appears as mechanisms of complementarity. The most basic conceptual approach to such a complementarity is introduced as an interchangeability of operators and operands of an operation. Therefore, the architecture of crossbars gets an interpretation as complementarity between crossbar functionality and “buffering” translation functionality. That is, the same matter functions as operator and at once, as operand – …


Memristics: Memristors, Again?, Rudolf Kaehr 2010 ThinkArt Lab Glasgow

Memristics: Memristors, Again?, Rudolf Kaehr

Rudolf Kaehr

This collection gives first and short critical reflections on the concepts of memristics, memristors and memristive systems and the history of similar movements with an own focus on a possible interplay between memory and computing functions, at once, at the same place and time, to achieve a new kind of complementarity between computation and memory on a single chip without retarding buffering conditions.


The Biopolitical Unconscious: Not-All Persons Are Political, Ross G. Shields 2010 Macalester College

The Biopolitical Unconscious: Not-All Persons Are Political, Ross G. Shields

Media and Cultural Studies Honors Projects

It is a tenet of post-structuralist theory that discursive series fail in their attempts to constitute themselves as totalities. A system can fail in two distinct ways—from Kant’s dynamic and mathematic failures of reason, to Jacques Lacan’s equation of the two failures of language with the two failures (male and female) of sex. Biopolitical theory offers the most recent account of failure and collapse, now on the geopolitical scale. Given that the biopolitical subject too is sexed, this thesis asks the question: How does biopolitics fail? Franz Kafka’s aborted novels offer a premonition to a possible answer.


Opinion Polls And Presidential Campaign In Colombia, Fernando Estrada 2010 SelectedWorks

Opinion Polls And Presidential Campaign In Colombia, Fernando Estrada

Fernando Estrada

The polls, these surveys do not withstand any rigorous testing. And contrary to expand the formation of public opinion, impaired. To overcome this defect should propose means fewer surveys and more discussions. Presidential campaigns should seek democratic enlargement, and a less massive media exposure to foot the surveys. Simplify


Reconstruction Of Concept Of Paradigm In Thomas S. Kuhn, Fernando Estrada 2010 SelectedWorks

Reconstruction Of Concept Of Paradigm In Thomas S. Kuhn, Fernando Estrada

Fernando Estrada

This article aims to discuss an evaluation of the concept of paradigm of T. Kuhn in his representative work: The Structure of Scientific Revolutions ERC, [Ku96] and the complementary version by W. Stegmüller, Structure and dynamics of theories EDT, [Steg83]. This refined interpretation of the concept of paradigm allows for a more complete set of central Kuhnian concept.


Digital Commons powered by bepress