En filosofía y ciencias sociales, el software social es un programa de investigación interdisciplinario que toma prestadas herramientas y técnicas matemáticas de la teoría de juegos y la informática para analizar y diseñar procedimientos sociales . Los objetivos de la investigación en este campo son modelar situaciones sociales, desarrollar teorías de corrección y diseñar procedimientos sociales. [1]
El trabajo bajo el término software social ha estado en marcha desde aproximadamente 1996, y las conferencias en Copenhague, Londres, Utrecht y Nueva York se han dedicado parcial o totalmente a él. Gran parte del trabajo se lleva a cabo en la City University of New York bajo el liderazgo de Rohit Jivanlal Parikh , quien fue influyente en el desarrollo del campo.
La investigación actual en el área del software social incluye el análisis de los procedimientos sociales y su examen para determinar su imparcialidad, idoneidad, corrección y eficiencia. Por ejemplo, un procedimiento de elección podría ser un voto de mayoría simple , un recuento de Borda , un voto único transferible (STV) o una votación de aprobación. Todos estos procedimientos pueden examinarse en busca de varias propiedades como la monotonicidad. La monotonicidad tiene la propiedad de que votar por un candidato no debe dañar a ese candidato. Esto puede parecer obvio, cierto en cualquier sistema, pero es algo que puede suceder en STV. [ cita requerida ] Otra pregunta sería la capacidad de elegir un ganador de Condorcet en caso de que haya uno.
Otros principios que son considerados por los investigadores en software social incluyen el concepto de que un procedimiento para una división justa debe ser óptimo de Pareto, equitativo y libre de envidias. Un procedimiento para las subastas debe ser uno que anime a los postores a ofertar su valoración real, una propiedad que se mantiene con la subasta de Vickrey.
Lo nuevo en el software social en comparación con los campos más antiguos es el uso de herramientas de la informática como la lógica de programas, el análisis de algoritmos y la lógica epistémica. Al igual que los programas, los procedimientos sociales encajan entre sí. Por ejemplo, un aeropuerto proporciona pistas de aterrizaje para los aviones, pero también proporciona controles de seguridad y debe prever las formas en que los autobuses y taxis pueden llevar a los pasajeros que llegan a sus destinos locales. Todo el mecanismo se puede analizar de la misma manera que se puede analizar un programa informático complejo. El procedimiento de Banach-Knaster para dividir un pastel de manera justa, o los Bramsy el procedimiento de Taylor para la división equitativa se han analizado de esta manera. Para señalar la necesidad de una lógica epistémica, un edificio no solo necesita baños, por razones obvias, también necesita señales que indiquen dónde están. Así, las consideraciones epistémicas entran además de las estructurales. Para un ejemplo más urgente, además de los medicamentos, los médicos también necesitan pruebas para indicar cuál es el problema de un paciente.