Scientific investigation procedures have been evolving to follow an ever-changing cultural landscape, the sophistication of the technology available and an ever-growing knowledge base. This continuous evolution brought investigation practices through distinct historical phases, mostly marked by different types of participants and organization, from individual natural philosophers to science driven by large institutions. There is clear evidence that we are now getting to an age of drastic disruptive change. Increased complexity and mandatory multidisciplinary thinking have moved research from an initial phase of disjoint polymaths into a current phase of widespread uncontrolled use of computational tools and data generation, the "informatics crisis". The use of advanced computational technology for communication and generation of data in large scale without proper controls is compromising our ability to conduct an adequate reproducible investigation, causing a dangerous drift from the scientific method. To counteract this deviation, we advocate the use of a next-generation investigative approach leveraging forces of human diversity, micro-specialized crowds and proper computer-assisted control methods associated with a "pipeline of proof". This paper outlines the impact of advanced computational technology, not only as an accelerator of the rate in which humanity acquires objective knowledge but also as a dangerous side effect as a generator of massive amounts of uncontrolled, unverified and untraceable data and results that cannot be reproduced. We propose an alternative for methods of investigation based on collaboration in large-scale through standard procedures of proof and crowds in building a "collective brain in which neurons are human collaborators".

Peirce’s Deductive Logic

Automating Truth: The Case for Crowd-Powered Scientific Investigation in Economics

Here we continue with the ideas expressed in “On the strangeness of quantum mechanics” [1] aiming to demonstrate more concretely how this philosophical outlook might be used as a key for resolving the measurement problem. We will address in detail the problem of determining how the concept of undecidability leads to substantial changes to classical theory of probability by showing how such changes produce a theory that coincides with the principles underlying quantum mechanics. 

/pdf/on-the-strangeness-of-quantum-probabilities-16zxqwaj.pdf

On the strangeness of quantum probabilities

In the vein of a renewed interest in diagrammatic reasoning, this paper challenges an opposition between logic diagrams and formal languages that has traditionally been the common view in philosophy of logic and linguistics. We examine, from a philosophical point of view, what we call five dogmas of logic diagrams. These are as follows: (1) diagrams are non-linguistic; (2) diagrams are visual representations; (3) diagrams are iconic, and not symbolic; (4) diagrams are non-linear; (5) diagrams are heterogenous, and not homogenous. Using historical examples, we argue that none of these dogmas is an adequate criterion to distinguish logic diagrams from formal languages. Instead, we advocate that there is a common core between linguistic and diagrammatic representation and reasoning. 

Peirce’s Deductive Logic

Citations

Automating Truth: The Case for Crowd-Powered Scientific Investigation in Economics

On the strangeness of quantum probabilities

Five dogmas of logic diagrams and how to escape them

References

Automating Truth: The Case for Crowd-Powered Scientific Investigation in Economics

Related Papers (5)

Peirce on the nature of logic.

What is deductive logic

Peirce and the logic of image

The principles of deductive logic

“Logic, considered as Semeiotic”: On Peirce's Philosophy of Logic