Logic History Overview...

Logic History Overview...
Quantification Logic...

Sunday, December 23, 2012

N.A. Vasiliev's "Imaginary" Experimental Modal Logic...

Evolutionary Thinking in Past Scientific Theories: A Logical Analysis by Antonino Drago, Dept. Phys. Sci., Univ. “Federico II”, Naples, Italy
Abstractions lead us to shape ideas, about which our minds argue by means of logic. An evolutionary thinking occurs when these ideas are not linked together by means of mechanistic deductions, but in a creative way. In this sense evolutionary thinking pushes us to shape a broader kind of logic. The phenomenon of a double negated statement whose corresponding positive statement is lacking of scientific evidence (=DNS) will be examined. It represents a failure of the double negation law; this law constitutes the borderline between classical logic and, broadly speaking, non-classical logic (in particular, intuitionistic logic). In fact, several scientific theories born in past times include in an essential way DNSs. In particular, quantum logic can be represented by means of DNSs inside intuitionistic logic. When DNSs pertain in an essential way to a theory, no more – as a comparative analysis upon the several instances shows – a deductive organization of the theory is possible; rather, the theory puts an universal problem by means of a DNS, then some double negated methodological principles (e.g.: “It is impossible a motion without an end”) follow in order to achieve a new scientific method, capable to solve the problem at issue. This arguing evolves through a cyclic pattern, according to the synthetic method as it was improved by L. Carnot. The crucial step in this pattern is an ad absurdum theorem (likely as in thermodynamics S. Carnot’s theorem is). This theorem reaches evidence for a possible conclusion, still enunciated by means of a DNS. Then by a move like Markoff principle this DNS is changed in a positive statement; it can now be put as a new hypothesis from which to develop a full deductive system. This move is illustrated at best in Lobachevsky’s – maybe first – presentation of a non-Euclidean geometry, but can be recognised also in S. Carnot’s thermodynamics, Avogadro’s atomic theory, Einstein’s founding special relativity. This pattern of arguing is examined by means of paraconsistent logic. In correspondence to the use by theoretical scientific research, of respectively paraconsistent logic, intuitionistic logic and classical logic about statements which are potentially principles for a theory, three kinds of principles are recognized; i.e., a guess, a methodological principle, an axiom-principle. These differences are expressed in a lucid way by Einstein again in his celebrated paper on special relativity: “We will raise the conjecture (the substance of which will be hereafter called the “[axiom-]principle of relativity”) to the state of a [methodological] postulate”

LINK:
In a previous paper I obtained a relevant result regarding paraconsistent logic. The

founder of paraconsistent logic, N.A. Vasiliev, stated as a characteristic feature of his logic,

three kinds of sentence, i.e., "S is A", "S is not A", "S is and is not A" ("indifferent judgment"). I was able to show that they hold true even when one substitutes "¬¬A" for "S" and "-->" for "is". One obtains respectively: "¬¬A-->A ", "¬¬A fails to -->A", "¬¬A-->A and ¬¬A fails to -->A".(substitute necessity [box] for --> everywhere)

Let us remark that the three cases represent three different roles played (in) a sentence in an

argument.

i) ¬¬A-->A represents as an affirmative sentence, i.e. a sentence well-supported by

scientific evidence;

ii) ¬¬A fails to -->A represents a logical problem, i.e., it can represent a sentence still

insufficiently supported by scientific evidence;

iii) ¬¬A-->A and ¬¬A fails to -->A represents a sentence whose truth and falsity is not yet decided in scientific terms; this kind of sentence may be considered inside a theoretical

framework as a guess, whose scientific qualification it is still yet to be decided. The last kind of sentence qualifies the characteristic sentence of paraconsistent logic as pertaining to a theory in construction. Antonino Drago

 

Imaginary(meaning sheet of assertions in imagination) Experimental Modal Logic:

¬¬A-->A(classical linear deduction)

¬¬A fails to -->A(non-classical/non-linear induction)

¬¬A-->A and ¬¬A fails to -->A(non-classical/non-linear abduction, hypothesis, theory)Antonino Drago on N.A. Vasiliev(my additions in italics)

 

Infinity__ Where all doubts are allowed…

Let us consider Lobachevskii's geometry. By substituting "two straight lines meet" for A

and "It is not true that two straight lines do not meet" for ¬¬A, i.e. Vasiliev's S, the three

Vasiliev's above sentences describe respectively

i) ¬¬A-->A, i.e. the hyperbolic secant lines,

ii) ¬¬A fails to-->A, i.e. the hyperbolic ultra-parallel lines and,

iii) ¬¬A-->A and ¬¬A fails to -->A, i.e. the parallel lines - which meet at a point which is located at infinity, i.e. where all doubts are allowed. This last meaning is presented by

Lobachevskii himself in his most relevant writing; there, Lobachevskii refers to the meeting

point at infinity by means of the following words: "In the uncertainty...", just the meaning of

Vasiliev's third kind of sentence. That vindicates Vasiliev's reiterated claim, i.e. his logic
represents just the logic of Lobachevskii's geometrical theory.

"Handle two sorts of negations (logical and ontological)"; as paraconsistent logic does.

 

Conclusions

The three main kinds of logic correspond to three characteristic ways of organizing a set

of scientific data in a systematic way. Paraconsistent logic is a relevant logic since it represents

the logic of the work of a scientist in his guessing new hypotheses for a given set of scientific

data.

I would add that the above exploration of the different roles played by the three kinds of logic has introduced us to a new kind of study, which can be called experimental logic; it is based upon evidence coming from the characteristic features of past scientific theories rather

than the characteristic features of natural languages. Antonino  Drago
Vasiliev affirmed, only ''positive'' sensations are possible, by which we can distinguish only contrary qualities. This is the basis of qualitatively different types of judgments - affirmative and negative. If one imagines a world in which not only positive but negative sensations are possible, then such a world will indeed require a different logic, and the introduction of supplementary qualitative judgments…

Thursday, December 6, 2012

A Few New Ideas From FQXi

First Prize


The paradigm of kinematics and dynamics must yield to causal structure
Robert Spekkens

Essay Abstract
The distinction between a theory's kinematics and its dynamics, that is, between the space of physical states it posits and its law of evolution, is central to the conceptual framework of many physicists. A change to the kinematics of a theory, however, can be compensated by a change to its dynamics without empirical consequence, which strongly suggests that these features of the theory, considered separately, cannot have physical significance. It must therefore be concluded (with apologies to Minkowski) that henceforth kinematics by itself, and dynamics by itself, are doomed to fade away into mere shadows, and only a kind of union of the two will preserve an independent reality. The notion of causal structure seems to provide a good characterization of this union.

Author Bio
Robert Spekkens is a faculty member at the Perimeter Institute for Theoretical Physics in Waterloo, Canada. His area of research is the foundations of quantum theory.

download essay
 
Second Prizes

Recognising Top-Down Causation
George Ellis

Essay Abstract
One of the basic assumptions implicit in the way physics is usually done is that all causation flows in a bottom up fashion, from micro to macro scales. However this is wrong in many cases in biology, and in particular in the way the brain functions. Here I make the case that it is also wrong in the case of digital computers – the paradigm of mechanistic algorithmic causation - and in many cases in physics, ranging from the origin of the arrow of time to the process of quantum state preparation. I consider some examples from classical physics; from quantum physics; and the case of digital computers, and then explain why it this possible without contradicting the causal powers of the underlying micro physics. Understanding the emergence of genuine complexity out of the underlying physics depends on recognising this kind of causation. It is a missing ingredient in present day theory; and taking it into account may help understand such mysteries as the measurement problem in quantum mechanics:

Author Bio
George Ellis is a relativist and cosmologist residing in Cape Town, South Africa. His books include On the Large Scale Structure of Space-Time co-authored with Stephen Hawking. In addition to contemplating relativistic and philosophical aspects of cosmology, he is now engaged in trying to understand how complex systems such as you and me can arise out of the underlying physics.

download essay
 
Third Prizes

Reductionist Doubts
Julian Barbour

Essay Abstract
According to reductionism, every complex phenomenon can and should be explained in terms of the simplest possible entities and mechanisms. The parts determine the whole. This approach has been an outstanding success in science, but this essay will point out ways in which it could nevertheless be giving us wrong ideas and holding back progress. For example, it may be impossible to understand key features of the universe such as its pervasive arrow of time and remarkably high degree of isotropy and homogeneity unless we study it holistically -- as a true whole. A satisfactory interpretation of quantum mechanics is also likely to be profoundly holistic, involving the entire universe. The phenomenon of entanglement already hints at such a possibility.

Author Bio
After completing a PhD in theoretical physics, I became an independent researcher to avoid the publish-or-perish syndrome. For 45 years I have worked on the nature of time, motion, and the quantum theory of the universe. I am the author of two books: The Discovery of Dynamics and The End of Time, in which I argue that time is an illusion. Details of my research work are given at my website platonia.com. Since 2008 I have been a Visiting Professor at the University of Oxford.

download essay