Yo en 2021.

¡Hola mundo! Me llamo Felipe Schenone, soy de Buenos Aires (Argentina), filósofo de formación y desarrollador web de profesión, especializado en MediaWiki, el software de Wikipedia. Actualmente trabajo como desarrollador principal en appropedia.org, la wiki de sostenibilidad.

Sophivorus (del griego σοφία [sofía] 'sabiduría' y del latín vorare, 'devorar') es mi nombre de usuario en Wikipedia y muchos otros sitios. Lo elegí por su etimología que un poco me representa y porque cuando lo googlié, obtuve cero resultados (¿qué tan seguido se obtiene cero resultados?). Así que ahora todo lo que tenga que ver con sophivorus tiene que ver conmigo, aunque no todo lo que tenga que ver conmigo tiene que ver con sophivorus.

Este es mi sitio personal, lo utilizo para alojar y enlazar el contenido que voy desarrollando. Parte está en español y parte en inglés.

Wikis

Una wiki es un sitio web en el que cualquier persona con acceso puede modificar el contenido. Esto diferencia las wikis de otros sitios web como blogs o sitios de noticias. Wikipedia es la wiki más conocida, pero no es la única, ni la primera, ni la más grande. Existen muchas otras wikis sobre todo tipo de temáticas, como appropedia.org, la wiki de sostenibilidad para la cual trabajo actualmente.

Extractos

Representación visual de un árbol de extractos.

La plantilla Extracto es una herramienta que permite reutilizar contenido dentro de Wikipedia. La idea surgió mientras mejoraba los artículos de filosofía en la Wikipedia en español. Me di cuenta que por ejemplo, la sección Metafísica del artículo Filosofía era cada vez más parecida a la introducción del artículo Metafísica. Entonces se me ocurrió que las podría unificar y luego embeber (transcluir) la introducción del artículo Metafísica en la sección Metafísica del artículo Filosofía.

Tanto me gustó el resultado que pronto hice lo mismo con todas las demás secciones del artículo Filosofía. Luego también con varias de las secciones del artículo Metafísica y muchos otros. Así surgió el concepto de árbol de extractos. Eventualmente hice un software para visualizarlos y desarrollé varios de los árboles más grandes, como el de Filosofía, Ciencia, Argentina, Cambio climático, Vegetarianismo, Ecologismo, Pandemia de COVID-19 y otros.

En 2020 solicité y recibí financiamiento de la Fundación Wikimedia para difundir esta idea que hoy se utiliza en miles de artículos de la Wikipedia en español y en inglés, así como en 16 otros idiomas. Como parte de este esfuerzo desarrollé el módulo Transcluder, una herramienta genérica que permite reutilizar (transcluir) cualquier elemento de cualquier página wiki, por ejemplo tablas, imágenes, listas, etc. En Wikimanía 2021 hice una presentación sobre los extractos que hoy se puede ver en YouTube.

Wikidebate

Animación que muestra el algoritmo DebateTree en acción a medida que un debate crece.

Wikidebate (en inglés) es un proyecto que busca compilar y organizar todos los argumentos y objeciones en torno a controversias. El proyecto también existe en español, aunque un poco menos desarrollado. A continuación dejo algunos de los debates más interesantes y a los que más aporté, junto con su versión en español cuando la hubiere:

DebateTree es un algoritmo que ideé para computar el estado de los argumentos de un debate. Hice una implementación en JavaScript que permite correr el algoritmo en cualquier wikidebate (ejemplo).

El proyecto, el algoritmo y parte del contenido descienden de uno de mis primeros proyectos —FormalForum— que hoy solo se puede ver en la WaybackMachine (perdí el código).

Wikipedia

Con los años aporté a incontables artículos, plantillas, categorías, etc. Algunos de los más significativos son:

MediaWiki

A pedido de clientes y para proyectos propios, desarrollé muchas extensiones para MediaWiki, el software de Wikipedia. Las que me pareció que podían ser de utilidad a otros las subí a mediawiki.org: InterwikiExtracts, CategoryLockdown, Metadata, DebateTree, AnonPrivacy, NewsTicker, TimeMachine, HoverGallery, SectionDisqus, YotpoReviews y DisqusTag.

También dos skins: Poncho y Athena. Hoy Poncho es la skin por defecto en appropedia.org y su desarrollo está impulsado y condicionado por las necesidades del sitio.

Además me ocupo del mantenimiento de las siguientes extensiones: MobileDetect, ContributionCredits, NukeDPL, UserPageViewTracker, LastUserLogin, PageDisqus, GoogleDocTag, MsUpload, MsCalendar, MsCatSelect, MsLinks, MsWikiEditor y MsInsert.

Wikiwidgets

Wikiwidgets es un proyecto para incorporar pequeños programas interactivos escritos en JavaScript a Wikipedia. Además de diseñar el sistema que lo hace posible, escribí los primeros dos ejemplares:

Hoy se pueden ver y usar en algunos artículos de la Wikipedia en español, como Autómata celular, Juego de la vida y Hormiga de Langton. Desafortunadamente la idea no se expandió, seguramente porque programar un widget es bastante trabajoso y hay pocos artículos que se benefician de cada widget (aunque si tenemos en cuenta que cada artículo existe en 300+ lenguas, quizás no sean tan pocos). Lo que falta es un widget que beneficie a muchísimos artículos y así establezca y difunda su potencial. Por otra parte, al menos el código de Vivarium y Formicarium evolucionó en Pixel Mural.

ProveIt

ProveIt es un gestor de referencias para Wikipedia que reescribí por completo, mejoré y mantengo desde 2014. Hoy se utiliza en más de 40 idiomas. En dos ocasiones solicité y recibí financiamiento de la Fundación Wikimedia para mejorar la herramienta.

Otros

Juegos y arte

Pixel Mural

Primer dibujo que hice en Pixel Mural y que se convirtió en el logo.

Pixel Mural es un canvas infinito de pixel art colaborativo que programé de cero. Fue probablemente mi proyecto más difícil en cuanto a programación (código en GitHub). Además hice varios de los dibujos: el mandala, el nudo, el copo de nieve y otros.

Otros

  • MOCA - Misterioso autómata celular que descubrí por accidente mientras jugaba con generación de imágenes en PHP.
  • Fútbol ajedrez - Un simple juego de mesa que inventé para jugar al fútbol en un tablero de ajedrez.
  • Magic Sin Tierras - Una variante divertida del juego Magic: The Gathering que inventamos (o reinventamos) con mis amigos. Básicamente, es igual al juego original excepto que sin tierras (básicas o no básicas). Cualquier carta se puede jugar boca abajo como una tierra no básica que añade cualquier color.
  • Afinación binaria Sistema de afinación basado en divisiones y multiplicaciones de frecuencias por 2.

Filosofía

Representación del plan de estudios de la carrera de Filosofía en la Universidad de Buenos Aires.

En los años que estudié filosofía en la Universidad de Buenos Aires, tuve varias ideas relacionadas a lo que iba a estudiando.

Resúmenes

Resúmenes de libros clásicos de filosofía que hice durante mis años como estudiante, incluyendo:

Diccionario formal

Diccionario formal (en inglés) es un glosario de definiciones formales de términos filosóficos.

También desarrollé la primera teoría que utiliza el diccionario formal: una teoría formal de la causalidad (en inglés) y algunos teoremas sueltos.

Solución al problema de Kaplan

Las observaciones siguientes pretenden dar respuesta un problema semántico que planteó David Kaplan.

Los problemas relacionados con la indexicalidad («esto», «eso», «ahora» etc.) se pueden reducir a los problemas con los nombres propios, si solo consideramos a los demostrativos como nombres propios temporarios.

Esto incluso se amoldaría bastante bien con la teoría causal de la referencia (Kripke, Naming and Necesity) pues podríamos decir que cada vez que decimos algo como «eso es una locomotora», estamos haciendo un nuevo «bautismo» (en inglés dubbing, o redubbing) y el nuevo «nombre» de la cosa se puede transmitir como de costumbre a través de una cadena causal. Por ejemplo, cuando un padre le dice al hijo «eso es una locomotora», el nuevo referente del nombre «eso» le llega al hijo, y luego tal vez a la madre, cuando el hijo le dice: «papá me dijo que eso era una locomotora».

Al pensar en ciertos nombres, generalmente les asociamos una interpretación determinada. Por ejemplo, al nombre «Platón» generalmente le asociamos la interpretación que le asigna como referente al filósofo griego fundador de la Academia. En algunos contextos, sin embargo, podemos asociarlo con otra interpretación que le asigna otro referente (por ejemplo, el bar frente a mi facultad). Los demostrativos como «él», «eso» y «esto» se podrían pensar como nombres a los que no asociamos ninguna interpretación estándar. En cada contexto, la interpretación cambia y se define un nuevo referente. Pero no por eso dejan de ser nombres. Un oración como «él es mortal» se debería formalizar, por lo tanto, como Me. Los demostrativos serían nombres «comodines», semejantes a las expresiones como «Fulano» y «Mengano», nombres que sirven para cualquier caso en que no se tenga un nombre más apropiado, es decir un nombre cuya interpretación estándar sea aquello a lo que queremos referir.

A veces dos entidades distintas tienen el mismo nombre, como en el caso del filósofo griego y del bar frente a mi facultad. Por lo tanto al hablar de «Platón» en distintos contextos el referente pueda variar. Pero que un mismo nombre tenga dos referentes es una contingencia. Los demostrativos, en cambio, van variando su referente sistemáticamente con cada contexto.

Solución a la paradoja del cuervo

Cuando Hempel introdujo la paradoja del cuervo en su artículo de 1945, en la sección 5.12 consideró y descartó brevemente una posible solución. Sugirió que quizás el dominio de discurso (field of application) se deba restringir al conjunto de todos los cuervos. En tal caso, un zapato blanco no sería una confirmación de la hipótesis de que todos los cuervos son negros, porque no entraría dentro del dominio de discurso. Pero a Hempel le pareció que en la ciencia nunca se especifica un dominio de discurso, que la introducción de uno sería bastante arbitraria, y que, además, las hipótesis se aplican efectivamente a casos aparentemente irrelevantes. Por ejemplo, al encontrar un ave cualquiera, podríamos determinar que no es un cuervo, porque no es negro.

Tales fueron las consideraciones que llevaron a Hempel a rechazar esta solución, pero a mi me parecen muy débiles. En primer lugar, aunque las hipótesis no suelan ir acompañadas de la especificación de un dominio, la práctica científica muestra que sí hay uno, porque por ejemplo, los zoólogos o taxónomos o cualesquiera científicos que quieran confirmar una hipótesis como «todos los cuervos son negros», no salen al campo a buscar cóndores, gorriones, zapatos o cualquier otra cosa, sino cuervos y solo cuervos. Si su hipótesis no hablara acerca de cuervos, sino de animales, entonces saldrían a buscar animales. De modo que sí es plausible que haya un dominio de discurso implícito para las hipótesis científicas, e incluso que haya un criterio no arbitrario para determinarlo. Claro que esta cuestión está ligada al problema más general de la determinación del dominio de cuantificación en todo tipo de contextos, no solo científicos.

En cuanto a la segunda objeción, de que los científicos aplican las hipótesis a casos irrelevantes, concedido, pero eso es muy distinto a que busquen confirmación en casos irrelevantes, lo cual es evidente que no sucede. Cabría hacer una distinción, por lo tanto, entre el contexto de confirmación y el contexto de aplicación. El primero se restringiría a los cuervos, mientras que el segundo podría no estar restringido de ninguna manera.

Esta solución también explica por qué parece haber una paradoja. La paradoja surge porque cuando alguien dice que «todos los cuervos son negros», es fácil errar y pensar que está hablando acerca de algo más que de cuervos.

Un científico que propone una hipótesis como «todos los cuervos son negros», ¿afirma algo acerca del mundo, acerca de los animales en general, o acerca de los cuervos? Creo que hay razones para creer que la hipótesis es acerca de los cuervos y no del mundo o los animales en general.

Por supuesto que cuando el dominio de cuantificación es más grande que el conjunto de todos los cuervos, entonces la paradoja resurge. Pero mi opinión es que esto no tiene por qué ser una preocupación. En la práctica, la restricción impuesta sobre el dominio no permite que surja la paradoja.

Hay que agregar una condición más a la lista para que surja la paradoja: el dominio de cuantificación tiene que ser más grande que el conjunto de Fs (efes). Y esta es, creo, la condición que se debe atacar.

Otros

Otros

Mi avatar en algunos sitios.
  • Gestión del conocimiento - Curso que di en el Instituto Nacional de la Administración Pública (INAP) en 2019
  • Upwork - Parte de mi historial de trabajo como desarrollador web especializado en MediaWiki
  • StackOverflow - Mi perfil con mis preguntas y respuestas de programación
  • YouTube - Mi canal con recetas rápidas veganas
Retrieved from "https://sophivorus.com/w/index.php?title=Sophivorus&oldid=154872"