Portada

WIKI INVESTIGACION SOBRE LA NATURALEZA DE INTERNET, SU LOGICA Y ETICA COMPUTACIONAL EN EL SIGLO XXI
Nuño Valenzuela Alonso
Idea: "to engage people in the web of flow, to question academic ideas" <a href="TO IDEAS">
Preguntas: [The viral education project http://www.vimeo.com/2544199]
EN PROGRESO Madrid - España - Europa

LOGICA Y FILOSOFIA EN NETWORK SCIENCE

Bienvenido a esta wiki-investigación sobre Internet.

Esta Wiki es un ensayo filosófico, con audiencia de Investigadores, mayoritariamente, a través de textos Network Science y el Link, con definiciones y funciones, que he indexado para reflexionar disciplinas filosóficas emergentes, orientadas a ideas como la Cibersemiótica, la Epistemología Interactiva, Ética Computacional y Lógica Matemática, Economía conductista, Ciencias Cognitivas, IR, IA, e Internet. Y sigue las reflexiones de tres grandes filósofos y lógicos del siglo XX: Shannon, Hinttika y Newton Da Costa y el filósofo Chino Pre-Han Gong Sun Long.

En 1997 John Perry y Edward N. Zalta publicaron ¿Por qué la filosofía necesita una enciclopedia dinamica de la filosofía?, un texto estimulante. Esta wiki-investigación es parecida pero acerca de la lógica paraconsistente, aspectos epistemológicos de la lógica de circuitos, y otras, y su relación con la Network, diversos sistemas formales, y o la ley de ex falsus sequitur quodlibet desde un punto de vista Cibernético. De especial interes nos resultan los operadores lógicos de Internet desde puntos de vista epistémicos y sus implicaciones éticas, anotado en la Carta de Descartes a Mersenne, 20 Noviembre 1629.

Este Wikiproyecto usa Links que aportan definiciones, sobre otras definiciones, y crean una suerte diccionario sobre Filosofía e Internet, siguiendo antiguas técnicas de razonamiento griego y Chino Pre-Han, como en los geniales Diálogos de Platón o Gong Sun Long, especialmente abstractos, y que maravillan por permitir pensar los Resultados, y del mismo modo, aprender a analizar las Búsquedas.

Esta Wiki-investigación esta dividida en tres secciones, y una addenda.

• Por favor, no uséis papel para leer este ensayo.

Search Filosofía - introducción a los principios de la Search Filosofía y Epistemología Interactiva(en progreso)

Search Economía - Search Economía, esbozo, con articulos y deduccciones(en progreso)

Lógica Search - ideas y cálculos de Lógica Search, miscelanea de elementos estructurales (en progreso)

Ética Computacional - Sobre la Superioridad del Humano frente a la Máquina (en progreso)

nsayo sobre Internet, Lógica y Libertad

Searchology, la Ciencia de la Búsqueda

Search is an unsolved problem

Algunas ideas generales:

La Ciencia de Búsqueda y el Resultado nace a principios del siglo XXI. Es una disciplina multidisciplinar e Internet, que dada su complejidad no pudo ser definida ni enmarcada en una Teoría Deductiva de manera satisfactoria al incluir disciplinas varias como IR, la Lógica Epistémica, o Analítica Web, y queda englobada comúnmente dentro de las llamadas Ciencias de Internet. Debe considerarse la Ciencia de la Búsqueda como una Ciencia Empírica emergente, que incluye campos tan diversos como la Programación, la Economía Conductista, la Psicología Lingüística, la Lógica Matemática, las Finanzas o las Ciencias Cognitivas, y por supuesto, la Epistemología Interactiva, la Filosofía de la Computación y la Tecnología. De especial importancia es la Matemática Discreta, hija del pensar filosófico.

Dos conceptos inician el decurso de este cambio de Ciclo, a saber: la Busqueda y el Resultado. Formalmente podemos sostener que su existencia es pública en el año 2007, cuando la experta en Sistema de Símbolos Marissa Mayer crea el término comercial Searchology, y une la Filosofía y la Computación, al indicar:

"Search is an unsolved problem".

Y refiere así al Futuro de la Búsqueda como Concepto, confirmando la necesidad del nacimiento de la nueva Teoría y ofreciendo un punto de partida.

Los problemas no resueltos en Search

Comercialmente.

• Encontrar la Informacion más reciente.
• Expresar aquello que tu quieres en un solo tipo de Resultado.
• Evaluar cuales son los Mejores resultados.
• Saber lo que estas buscando.
• Expresar tus Busquedas en Palabras Claves

A raiz de la creacion por parte de Google Inc. del termino Searchology aka. Búsqueda Universal, la invención Searchology es considerada como "el Estudio de la Búsqueda y el Resultado". La cientifica Marissa Mayer refiere a él comercialmente como "Ciencia de la Búsqueda". Es decir, lo que en Epistemología se denomina como "Representación Search del Conocimiento".

Así, en el 2010 aparece el label This Week in Search.

DE INTERNETIS NATURA

• Modos
• Clases
• Relaciones
• Propiedades

I

SEARCH FILOSOFIA

ONTOLOGIA SEARCH

II

SEARCH ECONOMIA

ECONOMIA ALGORITMICA

III

3 Links Lógico-Filosóficos sobre La Naturaleza de Internet.

Etica, que debe pensarse.

• SER HUMANO Y MÁQUINA

PENSAR Y SEARCH

La Historia del Ser humano gira a menudo en torno a las ideas de los Filósofos. Muchos han sido resultados secundarios en la Historia de la Humanidad. Pedagogos han detectado que puede tratarse de un problema de Educativo. Mientras los grandes filósofos sabían Lógica, hoy los grandes Programadores solo conocen a Descartes por ciertos retratos. Esto es esperanzador.

La gran reflexión lógico epistémica sobre los conceptos de la Búsqueda, el Resultado, y la Interpretación nace a mi ver en el Tractatus Logico-Philosophicus, ya que de forma indirecta puede considerarse como la primera reacción ante la frase del gran tecnólogo y matemático Shannon quien sostuvo que cuando las Máquinas empezasen a pensar, él las apoyaría. Esta Wiki sostiene que Shannon se equivocaba, y que cuando las Máquinas empiecen a Pensar, el Ser Humano será superior y dará las instrucciones.

Esta wiki investiga estos asuntos.

HISTORIA Y SEARCH

Sostenemos que el Pensamiento Search comienza con el razonamiento logico-filosofico aplicado a Internet, una vez es concebido como un Ente.

A finales del siglo XX se indico:

'Si se explora en esta lógica qué reglas permiten la demostración de Ex Contradictione Sequitur Quodlibet, se encuentra que la demostración en lógica de secuentes de ECQ involucra Introducción de la Negación en el prosecuente, Introducción de la Conjunción en el prosecuente y Atenuación en el postsecuente At.3 Por ello, se abren dos caminos, o bien se pone en duda o bien falla.'

Historicamente, se dice que es el gran Descartes el primer filósofo en haber tenido la idea de usar el álgebra, especialmente sus técnicas para resolver cantidades desconocidas en las ecuaciones, como vehículo para la exploración científica fueron notorias. Descartes era un tipo extraordinario y con un visión particular del mundo. Con todo, no se sabe a ciencia cierta si fue Descartes el que ideo el cálculo de razonamiento, cultivado y madurado por Gottfried Wilhelm Leibniz. En esos tiempos, los filosofos se copiaban o buscaban nuevas ideas. Para ser inmortales.

Leibniz es con todo absolutamente increible, ya que fue el primero en formular la noción de un sistema de lógica matemática aplicable de forma generalizada. Los documentos relevantes al respecto no fueron publicados hasta 1901, y muchos de ellos siguen sin estar publicados, y la actual comprensión del poder de los descubrimientos de Leibniz no empezó a desarrollarse hasta los años ochenta, en el siglo XX. Leibniz fue superdotado, y mente privilegiada. Se sostiene que Leibniz fuese tan filósofo que no quiso que lo leyesen, como el Newton esotérico.

La reflexión sobre Internet nace en otro siglo con el singular Gottlob Frege, en su Begriffsschrift (1879), que extendió la lógica formal más allá de la lógica proposicional para incluir constructores como "todo" y "algunos". Este hombre, mostró cómo introducir variables y cuantificadores para revelar la estructura lógica de las oraciones, que podría estar ocultas tras su estructura gramatical. Por ejemplo, "Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal." La peculiar doble notación dimensional de Frege hizo que su obra fuese ignorada durante muchos años.

Los avances realizados hasta ese momento fueron insuficientes.

En un magistral artículo de 1885 leído por Peano, Ernst Schröder y otros, el magnífico Charles Peirce, introdujo el término "Lógica de segundo orden" proporcionando la mayor parte de la moderna notación lógica, incluyendo los símbolos prefijados para la cuantificación universal y existencial. Los lógicos de finales del siglo XIX y de comienzos del XX estuvieron más familiarizados con el sistema lógico de Peirce-Schröder, aunque generalmente se reconoce que Frege es el Padre de la lógica moderna. En 1889 Giuseppe Peano publicó la primera versión de la axiomatización lógica de la aritmética. Cinco de los nueve axiomas son conocidos como axiomas de Peano. Uno de estos axiomas fue una formalización del principio de la inducción matemática.

En el siglo XX la Filosofía, madura en un nuevo campo de estudio llamado Lógica Modal, disciplina que se ocupa del razonamiento sobre el conocimiento, y su unión con la Filosofía.

Todo un hito.

En el siglo XXI el estudio de la variedad de problemas fundamentales acerca de cuestiones como la existencia, el conocimiento, la verdad, la moral, la belleza, la mente y el lenguaje, descubre en Internet una suerte de lugar donde el Sujeto y el Objeto, adquieren Sentido.

Mientras que la epistemología posee una larga tradición filosófica que se origina en la Grecia Antigua, la lógica epistémica es un desarrollo mucho más reciente con aplicaciones en numerosos campos, tales como filosofía, ciencia computacional teórica, inteligencia artificial, economía, Internet y lingüística.

A partir del gran Aristóteles, los filósofos han reflexionado la lógica modal, luego pensadores medievales como Ockham y Duns Scotus desarrollaron numerosas observaciones, hasta que llego C.I. Lewis, un Logico Analítico estadounidense, fundador del pragmatismo conceptual, quién en 1912 realizó el primer tratamiento simbólico y sistemático de este tema. La problematica en relación a los principios lógicos y humanos del Pensar continuó madurando, alcanzando su forma moderna en 1963 a partir del trabajo del filósofo Kripke, un Lógico poco usual.

Durante la década de 1950 se publicaron numerosos trabajos que mencionaban el paso de la lógica del conocimiento, y la posibilidad de Internet. Turing publica Computing Machinery and Intelligence. Y el trabajo de von Wright, titulado An Essay in Modal Logic publicado en 1951, es reconocido como el documento fundacional. Aunque The Varieties of Goodness 1958–1960 es el más personal.

No fue sino hasta 1962 en que el Lógico Filosófico finlandes, Hintikka, escribe Knowledge and Belief, un primer trabajo extenso en que sugiere utilizar modalidades para capturar la semántica del conocimiento. En vez de utilizar las premisas de la Escuela Lógica de Elea, con que típicamente se desarrolla la lógica modal, sentó las bases del tema, desde entonces se han realizado numerosas investigaciones y avances.

Hintikka es heredero intelectual del filosofo Kripke, que crea la Lógica de los Mundos posibles.

Dos gigantes que se conocieron a través de los libros.

Uno de los textos inaugurales es Man-Computer Symbiosis, que invitamos a leer.

Años más tarde, la lógica epistémica ha sido recientemente combinada con algunas ideas tomadas de la lógica dinámica para crear una lógica de las comunicaciones públicas y una lógica de actualización de producto, que intentan modelar las sutilezas epistémicas de las conversaciones.

Los trabajos fundacionales en este campo son los realizados por Plaza, van Benthem, y Baltag, Moss, y Solecki.

La llegada de Internet revoluciona estas reflexiones. E IR, SEO, UX, la Analítica, el Desarrollo y la Arquitectura de la Información, comienzan a aprender.

Y así se crearon los fundamentos de la reflexión filosófica del Siglo XXI, donde el Ser Humano piensa por primera vez en cómo ser superior a la Máquina.

• Search Filosofía: Ideas relativas a una Filosofía de la Búsqueda y el Resultado
• Search Economía: De cómo optimizar la Economía y relacion con la Filosofía de la Búsqueda y el Resultado
• Elementos de Lógica Search:Acerca de la Máquina de Pensar

INTROITIO

• Atmosfera: En el siglo XX se creyó que lo importante era controlar la Información. Sin embargo el que podemos llamar “gran descubrimiento filosófico de principios del siglo XXI” consistió en sacar a la luz una relectura de esta idea, que es la que sigue: lo esencial no es controlar la Información sino la Intermediación Search Económica de la Información.

• Futuro de la Búsqueda: El texto de Marissa Mayer.

• El Numero 1 de finales del Siglo XX: La historia primitiva de los buscadores e Internet puede ser leída como la increible competición entre la Máquina y el Humano por poder ofrecer Resultados Relevantes y, del mismo modo, por lograr disponer del llamado “Número 1”.

• ¿Ha contactado ya la Máquina con el Humano?: El lema puede reescribirse así: "Si los hombres buscan, ¡enseñemos al Buscador cómo buscan los hombres!". La reflexión nos hace preguntarnos: ¿ha contactado ya la Máquina con el Humano? ¿o es el Humano el que ya le ha respondido? Y si es el caso de que existe esa suerte de comunicación primitiva: ¿que tipo de lenguaje es ese? ¿en que consiste? ¿es verdaderamente un lenguaje o una simple señal?

• El Motor de Búsqueda: La capacidad de almacenamiento de Información y de clasificación de los Motor de Búsqueda crece vertiginosamente de manera indefinida y rapidamente.

• Problemata Search: A principios del siglo XXI Internet como Naturaleza no piensa. Sin embargo se crean las condiciones de posibilidad de tal acontecer.

• El texto de DE INTERNETIS NATURA

LOGICA Y SEARCH

Se dice que:

"Los Humanos buscan las ideas mientras que los sistemas automáticos están limitados a Buscar Palabras.

Para iniciarse en el estudio del la Filosofía y el Problema Search hemos reunido ciertos textos y una introducción, para aquellos interesados:

• Cibersemiótica
• La Filosofía del Lenguaje
• La Filosofía de la Información
• La Filosofía de la Lógica
• La Filosofía de la Matemática
• Epistemología Interactiva
• Lógica Borrosa
• Lógica Epistémica
• Lógica Filosófica
• Financial Cryptography

Introducciones:

• La Filosofía Lógica de Da Costa
• El Significado de la negación paraconsistente
• Grandes debates filosóficos del siglo XX
• Arboles Semánticos para Lógica Modal

OTRAS INVESTIGACIONES

SOBRE LÓGICA CHINA

TRADUCCIONES

• Traducción del Chino Clásico a Lengua Española de los Tratados Lógicos de GONG SUN LONG ZI 公孫龍
• El filósofo Gong Sun long Zi
• Los Tratados del filósofo Gong Sun long Zi

LOGICA PARACONSISTENTE EN LA LENGUA CHINA MANDARIN Y SU RELACION CON SEARCH ECONOMICA

• Search Economia en China
• La Lógica China

EXPERIMENTOS SEMIOTICOS CON LAS PALABRAS

• Obra de Teatro Dadaísta

LINKS

• Links sobre la Naturaleza de Internet

VIDEOS

• Videos sobre Internet

TEXTOS

• Textos Lógico Filosóficos online sobre Search, Lógica, IR, Filosofía

BIBLIOGRAFIA Y LINKS SOBRE SEARCH FILOSOFIA

Para saber más sobre Pensamiento Search:

• Bibliografía sobre Pensamiento Search

Puede colaborar incluyendo referencias y links que considere de utilidad. Muchas gracias.

IDEAS

EXPLOIT THE OPEN, REMIX PHILOSOPHY OF WEB 2.0 FOR DISSEMINATING INFORMATION ABOUT RESEARCH AND INFECTING THE NETWORK WITH FREE, USER MANAGED, AND MASS CREATED DISTRIBUTED KNOWLEDGE, LEARNING RESOURCES, CONNECTIONS AND SPACES.

ÍNDICE

• Índice

AGRADECIMIENTOS: Liberté, égalité, fraternité

Por permitir la indexazación de esta wiki-investigación, y permitir el Conocimiento Libre - que es lo que mueve el mundo - le damos las gracias a los Motores de Búsqueda que permiten la Libertad de expresión, derecho fundamental del ser humano y su Inteligencia, después de la Revolución Francesa:.

• Liberté, égalité, fraternité

CONTACTO

ithinksearch[at]gmail

• Investigadores: Linkedin
• Empresas: Linkedin Empresas