Solving The Helmholtz Equation For The Neumann Boundary Condition For The Pseudosphere By The Galerkin Method, 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, 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., 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, 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, 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, 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, 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, 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, 2010 John Carroll University
Ethics: A Contemporary Introduction, Harry Gensler, S.J.
Harry J. Gensler, S.J.
No abstract provided.
Rethinking Geometrical Exactness, 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, 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, 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, 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, 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, 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?, 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?, 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, 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, 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, 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.