Human evolution
This presentation is the property of its rightful owner.
Sponsored Links
1 / 28

Human Evolution PowerPoint PPT Presentation

  • Uploaded on
  • Presentation posted in: General

Human Evolution. IV Session Formal Sciences. A multidisciplinary anthropic focus. C reating formal sciences. Interdisciplinarity leads us to formal activity of the mind. The human brain is gifted with functional skills to: perceive and analyze a world of structures

Download Presentation

Human Evolution

An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript

Human evolution

Human Evolution

IV Session

Formal Sciences

A multidisciplinary anthropic focus

C reating formal sciences

Creating formal sciences

Interdisciplinarity leads us to formal activity of the mind.

The human brain is gifted with functional skills to:

  • perceive and analyze aworld of structures

  • abstract certain structural features of reality

  • conceive and imagine new forms and structures

    Why is the human mind capable of creating formal sciences?

    Could mental forms, formalization, formal sciences, exist without brains? (Hofstadter)


S tructures and rationality

Structures and rationality

Our human evolutive sensitive experience is structured by the perception of:

  • Differentiated objects as a unity (elements of a set).

  • Structures, operations and relations between them

  • Consequential, logical, unity


S tructures and rationality1

Structures and rationality

The world is experienced as a variety of structures logically involved in other structures of superior level. We do not know neither the final micro-physic nor the final macro-physic structures, but we know a multiplicity of consequential intermediate connections.


Counting and measurements

Counting and measurements

The first formal abstraction was probably that of numbers and geometric figures. Human mind was capable:

  • To perceive differentiated entities: two fish, three stones…measure changes in time: days, seasons, years… compare size, shape and relative position of geometrical figures.

  • To formally represent these entities: by abstract numerical structures concerning numbers and operations on them and abstract geometrical structures with metrical properties.


Counting and measurements1

Counting and measurements

Mayan numerals


C lassical arithmetic and geometry

Classical arithmetic and geometry

Formal Sciences seemed to be firmly established on the simple foundation of numbers and geometry:

  • The formal language of mathematics allowed counting and space-time measurements.

  • Developments in formal logic and set theory led to questions about mathematical certainty:

  • What is the cause of mathematical certainty?

  • Why does mathematical reason work like it actually does?

  • What is the ontological status of formal entities?


F ormal theories

Formal theories


F oundation of mathematics

Foundation of mathematics

  • The relationship between mathematics and logic.

  • Philosophers of mathematics began to divide into various schools of thought.

  • Logic apriorism, formalism and intuitionism emerged partly in response to the search for the causes of mathematical certainty.


A priorism


  • Platonism suggests that mathematical entities exist independently of the human mind.

  • E. Kant believes that the objectivity of mathematics is based in space and time as an a priori forms of sensibility.

  • Different forms of apriorism remain present among today mathematicians.

  • For Roger Penrose some mathematical assertions belong to an unchanging world of essences.


L ogicism


Mathematics can be known a priori because it is part of logic. Logic is the proper foundation of mathematics. Logicism becomes strong with the formalization of logic.

G. Frege constructed a formal logical system that made it possible to represent the logical inferences as formal operations.

This program was continued by Russell and Whitehead.


F ormalism


Formal logic is a part of formal mathematics.

Can mathematics rationally justify itself as a purely formal science?

The meta-mathematical Hilbert program intends to justify mathematics as a pure formal science.

Meta-mathematics uses mathematics as a formal language to speak about mathematics as a formal object.


Intuitionism constructivism


Gödel caused a crisis in the Hilbert’s programme proving that, if the formal system of arithmetic is consistent, then it is incomplete.

Intuitionism rejected the meta-mathematical formal foundation of mathematics. Only the mathematical entities which can be explicitly constructed are admitted.

Intuitionist logic does not contain the law of excluded middle. Constructivism regards the sets with infinite elements.


O bjective reality

Objective reality


Natural aposteriorism

Natural aposteriorism

What is the origin of human reason’s formal capacities?

  • Aposteriorism responds to the evolutive adaptation of consciousness to an objective and structural reality.

  • Neurological anthropology, evolutive epistemology, and authors like J. Piaget and X. Zubiri do support this point of view.

  • It is congruent with the paradigm of evolution in modern Science.


Natural aposteriorism1

Natural aposteriorism

Aposteriorism states the:

  • structural construction of an objective physical world.

  • emergent properties of mind to adapt behaviourally to this structural world.

  • emergent structural representation of reality and capacity to abstract specific structural features.

  • emergent skills to imagine created structural forms in order to open new possibilities for knowledge and technology




  • Computing is formal mathematics applied to the development of algorithms.

  • From ancient times algorithmic processes have been used in algebra and formal logic.

  • The old mechanist ideal consisted of obtaining a mechanical artifice by which it would be possible to execute all the deductions.

  • In 1936 Turing specified the informal idea of an algorithm through what we call the Turing machine.




By means of his machine, Turing showed that there is no general solution to the Decidability’s Problem: Given a formal statement in a formal system, there is not always a general algorithm which decides if the statement is valid or not.

The incompleteness of arithmetic caused disappointment against the mechanicist ideal, but the negative solution to the problem of decidability by the Turing machine, in some way, involves a deepening in this disappointment.


Liberation and extension of ffss

Liberation and extension of FFSS


Liberation and extension of ffss1

Liberation and extension of FFSS

The applicability of computing has highlighted applied dimensions of languages and formal models.

This has led to the use of a plurality of logics, suited to several finalities.

The existence of a plurality of logics opens up new perspectives for scientific language.


Anthropic perspectives

Anthropic perspectives


  • Formal languages allow a high degree of objectivity. Is this objectivity total? Are formal sciences really objective and independent of the subject that formulates them?

  • The pluralism of formal systems and their undecidability leads us to ask about the rationality of inevitable non formal decisions.

  • Are formal sciences a mask disfiguring the real world?

  • How does mathematics access the real world?


Anthropic perspectives1

Anthropic perspectives


  • We can say that we control a scientific theory when we have expressed it in formal language. Formal language, as it is objective, permits the technological implementation of scientific theories.

  • Do formal sciences qualify natural sciences for a new design of theoretical frameworks of new instrumental machinery to formalize and control reality?


Anthropic perspectives2

Anthropic perspectives


  • Do formal sciences formalize open or closed systems?

  • Will they establish insurmountable limits to human reason?

  • How far will they be able to formalize open or closed natural systems?

  • How does philosophy of formal sciences behave in face of metaphysics?


Expressing reality

Expressing reality


K nowing reality

Knowing reality

New forms to know reality:

  • Classical formal sciences intended to be mechanicist.

  • Do we have new formalisms for new holistic ontologies? Formal sciences are analytical, not holistic. They can analytically interpret holistic properties.

  • The human mind: Do we have new classical-quantum forms to formally describe the functioning of our human mind?


Creating technology

Creating technology

New forms for manipulating technologically reality:

  • Classical technology intends to be mechanistic. Technology is based in our formal control of reality, and classically the ideal of reality control was mechanist.

  • Quantum technology:quantum properties such as superposition and entanglement can be used to represent and structure formal data.

  • Classical-quantum technology for information processing: new forms to implement new technologies of the mind?


S peculating in metaphysics

Speculating in metaphysics

The main problem of metaphysics: Universe’s sufficiency/insufficiency

Physical knowledge is constructed by applying formal models. Do formal sciences offer to physics a closed and self consistent formal system to organize natural knowledge?

Philosophy should think about internal possibilities of formal sciences

Gödel’s theorem shows that if formal systems are consistent, they are incomplete and therefore they are intrinsically open.

Consistency is an unrenounceable value of formal systems


S peculating in metaphysics1

Speculating in metaphysics

Do formal sciences qualify human reason for an open or a closed metaphysics?

Will formal sciences empower human reason for an absolute consistent dominium over natural reality?


  • Login