Performative Science

Science suffers from its focus on description and prediction. Science should not be a slave to manufacturing, its first obligation is to inform us about the universe (the way things are), and the way things are changes. It involves time. Scientific theories change. They evolve. Die.

A performative utterance is a motivated sentence, within which lie the tools and techniques of its own performance. A science of these utterances is a performative science. In its infancy it was called cryptoeconomics.

A __performative science__ is interested in more than describing how things are. We also wish to know how they could be. Not how they will be (prediction), but the full range of possibilities that may interest us.

The scientific method is just that, a __method__. An algorithm for pursuing knowledge. As such it can be applied to many domains. To creativity for instance.

Researching this idea I've come across these researchers who appear to also have explored this path in science and economics: - Andrew Pickering - Michel Callon

There have been a number of attempts to define a formalisation of Performative speech. We could consider the wok on intuitionistic type theory by the Swedish logician Per Martin-Löf as an attempt at creating a __performative logic__. His work on type theory has influenced computer science.

We can also understand cryptoeconomics as the study of a class of performative logic that we know as smart contracts. In this analysis, what is special about a well designed blockchain is that the language used is a different class of language - a performative or illocutionary language. In every-day parlance - something which we would use the word Law.

# Formalization

There have been a number of attempts to formalise the logic of speech acts. Per Martin-Löf has done a body of work on the concept of assertion inside intuitionistic type theory.

Carlo Dalla Pozza, has made a proposal to create a formal pragmatics connecting propositional content (given with classical semantics) and illocutionary force (given by intuitionistic semantics).

# Conversation for Action

Computational speech act models of Human–computer interaction have been developed. Speech act theory has been used to model conversations for automated classification and retrieval - wikipedia

# See also