Logic and Foundations Commons^™

Structure, Neutrostructure, And Antistructure In Science, Florentin Smarandache

Branch Mathematics and Statistics Faculty and Staff Publications

In any science, a classical Theorem, defined on a given space, is a statement that is 100% true (i.e. true for all elements of the space). To prove that a classical theorem is false, it is sufficient to get a single counter-example where the statement is false. Therefore, the classical sciences do not leave room for partial truth of a theorem (or a statement). But, in our world and in our everyday life, we have many more examples of statements that are only partially true, than statements that are totally true. The NeutroTheorem and AntiTheorem are generalizations and alternatives of …

The Philosophical Foundations Of Plen: A Protocol-Theoretic Logic Of Epistemic Norms, Ralph E. Jenkins

Dissertations, Theses, and Capstone Projects

In this dissertation, I defend the protocol-theoretic account of epistemic norms. The protocol-theoretic account amounts to three theses: (i) There are norms of epistemic rationality that are procedural; epistemic rationality is at least partially defined by rules that restrict the possible ways in which epistemic actions and processes can be sequenced, combined, or chosen among under varying conditions. (ii) Epistemic rationality is ineliminably defined by procedural norms; procedural restrictions provide an irreducible unifying structure for even apparently non-procedural prescriptions and normative expressions, and they are practically indispensable in our cognitive lives. (iii) These procedural epistemic norms are best analyzed in …

Coincidence Of Bargaining Solutions And Rationalizability In Epistemic Games, Todd Stambaugh

Dissertations, Theses, and Capstone Projects

Chapter 1: In 1950, John Nash proposed the Bargaining Problem, for which a solution is a function that assigns to each space of possible utility assignments a single point in the space, in some sense representing the ’fair’ deal for the agents involved. Nash provided a solution of his own, and several others have been presented since then, including a notable solution by Ehud Kalai and Meir Smorodinsky. In chapter 1, a complete account is given for the conditions under which the two solutions will coincide for two player bargaining scenarios.

Chapter 2: In the same year, Nash …

Math, Minds, Machines, Christopher V. Carlile

Chancellor’s Honors Program Projects

No abstract provided.

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.

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”.

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

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.

Sketch Of A Typology Of Abstract Memristic Machines, Rudolf Kaehr

Rudolf Kaehr

A typology of memristic machines is sketched. This sketch gives an overview and orientation to the paper “Towards Abstract Memristic Machines”. It also intents to propose a concise systematization of the newly introduced terms and strategies to memristics and morphogrammatics. This sketch is introducing four types of sign-use for four types of machines of fundamentally different paradigms: 1. semiotic, 2. monomorphic, 3. polymorphic and 4. bisimilar abstract machines. Further definitions of abstract machines have to be based on those graphematic notational systems. A realization of such constructions of abstract machines, in contrast to existing abstract machines of the theory of …

Towards Abstract Memristic Machines, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

From Universe To Polyverses, Rudolf Kaehr

Rudolf Kaehr

Some thoughts about the power of speculation behind important discoveries in mathematics, physics and computer science. The exercise shows that there is no need for a compulsory ultimate unifying universe. It is speculated that just this paradigm of a single ultimate universe is unmasking itself today as the main obstacle for further development in Western science and technology.

Morphogrammatics For Dummies: The Domino Approach, Rudolf Kaehr

Rudolf Kaehr

Dominoes, morphograms, cellular automata, memristics. Topics: possible continuation, coalitions, cooperations, substitution, morphic bisimilarity.

The Logic Of Bailout Strategies, Rudolf Kaehr

Rudolf Kaehr

Some thoughts about/of the logic, blend, chiasm and diamond of bailout strategies. Eliciting aspects of the maxim: “Without insurrection, no resurrection".

Diamond Semiotic Short Studies, Rudolf Kaehr

Rudolf Kaehr

A collection of papers on semiotics, polycontexturality and diamond theory

Diamond Theory Collections. A Collection Of Papers And Fragments Towards Diamond Theory 2007-2009, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Double Cross Playing Diamonds, Rudolf Kaehr

Rudolf Kaehr

Understanding interactivity in/between bigraphs and diamonds Grammatologically, the Western notational system is not offering space in itself to place sameness and otherness necessary to realize interaction/ality. Alphabetism is not prepared to challenge the dynamics of interaction directly. The Chinese writing system in its scriptural structuration, is able to place complex differences into itself, necessary for the development and design of formal systems and programming languages of interaction. The challenge of interactionality to Western thinking, modeling and design interactivity has to be confronted with the decline of the scientific power of alpha-numeric notational systems as media of living in a complex …

Short Studies 2008. Adventures In Diamond Strategies Of Change(S), Rudolf Kaehr

Rudolf Kaehr

Modular Bolognese Paradoxes of postmodern education. A Tale of Fishes, Birds and Diamonds in Second-Order Epistemology Why it is useless to write about the mono-contexturality of alphabetism and digitalism Chez Maxime's Human rights in a polycontextural world Primary Thoughts to a Manifesto for Awareness Fashion Marketing Which Equality? How equal are equal human beings? Generalized Diamonds From monosemic to tectonic complementarity Diamond Disremption Diamond interpretation of the kenomic succession operation Diamond Web2.0? How social is social networking? Web Mobility Web computing between semiotic and kenomic spaces Double Cross Playing Diamonds Understanding interactivity in/between bigraphs and diamonds Morphogrammatics of Change A …

Actors, Objects, Contextures, Morphograms, Rudolf Kaehr

Rudolf Kaehr

Systematic and historic overview and critics of actor and object oriented programming.

From Dialogues To Polylogues, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

The Abacus Of Universal Logics, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Place-Valued Logics Around Cybernetic Ontology, The Bcl And Afosr, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

From Ruby To Rudy, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

The Chinese Challenge. Hallucinations For Other Futures, Rudolf Kaehr

Rudolf Kaehr

The main question is: What can we learn from China that China is not teaching us? It is proposed that a study of polycontextural logic and morphogrammatics could be helpful to discover this new kind of rationality.

Fibonacci In Contextures, An Application, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Contextures. Programming Dynamic Complexity, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Gödel Games: "Cloning Gödel's Proofs", Rudolf Kaehr

Rudolf Kaehr

Gödel's Proofs in the context of beautifying (Hehner) and re-beautifying in polycontextural logic. Deconstruction of the relevance.

Lambda Calculi In Polycontextural Situations, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Polylogics. Towards A Formalization Of Polycontextural Logics, Rudolf Kaehr

Rudolf Kaehr

No abstract provided.

Miniaturen. Studien Zu Kalkül Und Kreativität 1998-2002, Rudolf Kaehr

Rudolf Kaehr

Informatik, künstlerische Praktik und Kunsttheorie der digitalen Bildtechnologien NULL&NICHTS; weder leer, noch nicht – oder Kraut und Rüben Gedanken zu einer autonomen Medienwissenschaft Das Menschenbild aus der Sicht einer polykontexturalen Systemtheorie Thesen zum trans-klassischen Menschenbild Gebaute Phantasien, unkontrollierbare Schwankungen Kreativität und Kalkül Ver_Endungen in/der Programmierbarkeit Diagrammatik: Denken a la Carte Zur Verstörung des (H)ortes der Zerstörung Zur Kenogrammatik der Medientheorie

Dynamic Semantic Web, Rudolf Kaehr

Rudolf Kaehr

Dynamic Semantic Web (DSW) is based at first on the techniques, methods and paradigms of the emerging Semantic Web movement and its applications. DSW is advancing one fundamental step further from a static to a dynamic concept of the Semantic Web with extended flexibility in the navigation between ontologies and more profound transparency of the informational system. Web Services are now redefinded by Semantic Web. To proof the advantages of DSW, it is the main aim of this project to develop the tools and methods necessary to develop a DSW based Web Service (DSW business application). The existing framework of …