Source author record

Andrew Schumann

Andrew Schumann appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

5works
5topics
2close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2014arXiv

Quantum Non-Objectivity from Performativity of Quantum Phenomena

We analyze the logical foundations of quantum mechanics (QM) by stressing non-objectivity of quantum observables which is a consequence of the absence of logical atoms in QM. We argue that the matter of quantum non-objectivity is that, on the one hand, the formalism of QM constructed as a mathematical theory is self-consistent, but, on the other hand, quantum phenomena as results of experimenter's performances are not self-consistent. This self-inconsistency is an effect of that the language of QM differs much from the language of human performances. The first is the language of a mathematical theory which uses some Aristotelian and Russellian assumptions (e.g., the assumption that there are logical atoms). The second language consists of performative propositions which are self-inconsistent only from the viewpoint of conventional mathematical theory, but they satisfy another logic which is non-Aristotelian. Hence, the representation of quantum reality in linguistic terms may be different: from a mathematical theory to a logic of performative propositions. To solve quantum self-inconsistency, we apply the formalism of non-classical self-referent logics.

preprint2011arXiv

Modal Calculus of Illocutionary Logic

The aim of illocutionary logic is to explain how context can affect the meaning of certain special kinds of performative utterances. Recall that performative utterances are understood as follows: a speaker performs the illocutionary act (e.g. act of assertion, of conjecture, of promise) with the illocutionary force (resp. assertion, conjecture, promise) named by an appropriate performative verb in the way of representing himself as performing that act. In the paper I proposed many-valued interpretation of illocutionary forces understood as modal operators. As a result, I built up a non-Archimedean valued logic for formalizing illocutionary acts. A formal many-valued approach to illocutionary logic was offered for the first time.

preprint2010arXiv

Towards Theory of Massive-Parallel Proofs. Cellular Automata Approach

In the paper I sketch a theory of massively parallel proofs using cellular automata presentation of deduction. In this presentation inference rules play the role of cellular-automatic local transition functions. In this approach we completely avoid axioms as necessary notion of deduction theory and therefore we can use cyclic proofs without additional problems. As a result, a theory of massive-parallel proofs within unconventional computing is proposed for the first time.