Facultad de Ingeniería Facultad de Ingeniería Universidad Nacional de ColombiaUniversidad Nacional de Colombia

HACIENDO TRABAJAR A LA HACIENDO TRABAJAR A LA CIENCIACIENCIADavid MillerDavid Miller

Departamento de FilosofíaDepartamento de FilosofíaUniversidad de WarwickUniversidad de WarwickCOVENTRY CV4 7AL RUCOVENTRY CV4 7AL RU

d.w.miller@warwick.ac.ukd.w.miller@warwick.ac.uk

Facultad de Ingeniería - Universidad Nacional de Colombia 2 de 18

HACIENDO TRABAJAR A LA HACIENDO TRABAJAR A LA CIENCIACIENCIA

0. Introducción0. Introducción

1.La ciencia básica y la ciencia aplicada1.La ciencia básica y la ciencia aplicada0- Los pájaros, los castores, y los topos0- Los pájaros, los castores, y los topos1- La cocina, la música, y la peluquería1- La cocina, la música, y la peluquería2- Kelvin, Rayleigh, y Rutherford2- Kelvin, Rayleigh, y Rutherford

2. Las leyes y las teorías de la ciencia2. Las leyes y las teorías de la ciencia0- Una muestra de la notación de la lógica formal 0- Una muestra de la notación de la lógica formal 1- Causa y efecto1- Causa y efecto

Facultad de Ingeniería - Universidad Nacional de Colombia 3 de 18

HACIENDO TRABAJAR A LA HACIENDO TRABAJAR A LA CIENCIACIENCIA

3. ¿Por qué la ciencia no nos informa como nos comportamos?3. ¿Por qué la ciencia no nos informa como nos comportamos?0- La cerveza y los analgésicos0- La cerveza y los analgésicos1- El péndulo1- El péndulo2- La vida2- La vida

4. Cómo sirve la ciencia a la tecnología y a la ingeniería4. Cómo sirve la ciencia a la tecnología y a la ingeniería0- La tecnología contrastada con la ingeniería0- La tecnología contrastada con la ingeniería

5. ¿Por qué lo anterior no es bien conocido?5. ¿Por qué lo anterior no es bien conocido?0- La historia de la ciencia0- La historia de la ciencia1- La represión1- La represión2- El científico hoy2- El científico hoy3- El inductivismo3- El inductivismo

Facultad de Ingeniería - Universidad Nacional de Colombia 4 de 18

HACIENDO TRABAJAR A LA HACIENDO TRABAJAR A LA CIENCIACIENCIA

Notación de la LógicaNotación de la Lógica

Sean Sean AA y y C C enunciados. El enunciado ‘si enunciados. El enunciado ‘si A A entonces entonces CC’ se llama ’ se llama un un condicional condicional y se le escribe:y se le escribe:

AA CC

El símbolo es un El símbolo es un cuantificadorcuantificador universaluniversal, que significa , que significa ‘todos’. Si abreviamos ‘todos’. Si abreviamos AA por ‘ por ‘aasno’ y sno’ y CC por ‘ por ‘ccontumaz’ [=terco], ontumaz’ [=terco], entonces entonces

Todos los asnos son contumacesTodos los asnos son contumaces

tiene la forma:tiene la forma: yy((Ay Ay CyCy))

Facultad de Ingeniería - Universidad Nacional de Colombia 5 de 18

HACIENDO TRABAJAR A LA HACIENDO TRABAJAR A LA CIENCIACIENCIA

donde la letra donde la letra yy (o cualquier letra – no importa qué) (o cualquier letra – no importa qué) es una es una variablevariable que recorre a través de un dominio que recorre a través de un dominio (aquí no especificado) de valores.(aquí no especificado) de valores.

Se puede escribir la ley newtoniana de la gravitación Se puede escribir la ley newtoniana de la gravitación (por ejemplo) así:(por ejemplo) así:

xx zz [ [FxzFxz==GmGmxxmmzz//ddxzxz22] ]

Facultad de Ingeniería - Universidad Nacional de Colombia 6 de 18

HACIENDO TRABAJAR A LA HACIENDO TRABAJAR A LA CIENCIACIENCIA

Causa y efectoCausa y efecto

AA se llama el se llama el antecedente antecedente del condicional del condicional yy (A (Ayy CyCy) y ) y CC se llama su se llama su consecuenteconsecuente..

Se dice que Se dice que AA es una es una condición suficiente condición suficiente para para CC, y , y que que CC es una es una condición necesaria condición necesaria para A.para A.

En la gran mayoría de las leyes naturales de la forma En la gran mayoría de las leyes naturales de la forma yy ( (Ay Ay CyCy), el antecedente ), el antecedente AA precede precede CC temporalmente, o más generalmente, proporciona temporalmente, o más generalmente, proporciona (en principio) una manera en que se puede realizar (en principio) una manera en que se puede realizar el consecuente el consecuente CC..

Facultad de Ingeniería - Universidad Nacional de Colombia 7 de 18

HACIENDO TRABAJAR A LA HACIENDO TRABAJAR A LA CIENCIACIENCIA

Todas las aplanadoras Todas las aplanadoras AA dejadas caer de una dejadas caer de una altura de 10 metros encima de una copa altura de 10 metros encima de una copa CC de de vidrio la quebrarán en pedazos.vidrio la quebrarán en pedazos.

Se dice comúnmente que el antecedente Se dice comúnmente que el antecedente AA de una de una ley natural describe una ley natural describe una causacausa del del efecto efecto que que describe describe C.C.

Facultad de Ingeniería - Universidad Nacional de Colombia 8 de 18

HACIENDO TRABAJAR A LA HACIENDO TRABAJAR A LA CIENCIACIENCIA

La ley del pénduloLa ley del péndulo

tt=2=2π√ (π√ (ll//gg))ll==tt22gg/4/4ππ22

La negaciónLa negación

El enunciado no-El enunciado no-BB, que es simbolizado , que es simbolizado ¬¬BB, es la , es la negaciónnegación del enunciado del enunciado BB..

Facultad de Ingeniería - Universidad Nacional de Colombia 9 de 18

HACIENDO TRABAJAR A LA HACIENDO TRABAJAR A LA CIENCIACIENCIA

La regla de La regla de modus tollens modus tollens se representa:se representa:

AA CC ¬¬CC ¬¬AA

Por lo tanto, utilizando adicionalmente una regla Por lo tanto, utilizando adicionalmente una regla cuantificacional:cuantificacional:

yy ( (AyAy CyCy) ) ¬¬CC ¬¬AyAy

Facultad de Ingeniería - Universidad Nacional de Colombia 10 de 18

HACIENDO TRABAJAR A LA HACIENDO TRABAJAR A LA CIENCIACIENCIA