¿Donde se emplea, usa, la lógica simbólica?

¿Donde se emplea, usa, la lógica simbólica? Los filósofos generalmente no lo aplican mucho, a menos que tal vez en algún ambicioso proyecto de postgrado (generalmente con un alto grado de especialización, por ejemplo, al agregar ciencias sociales, psicología o categorización ética).

Los programadores y los ingenieros han aplicado la lógica simbólica (que no es tan diferente de la lógica misma, cuando se trata de ella, simplemente más avanzada), con éxito a los programas informáticos e incluso al diseño de placas de circuitos. En el caso de las computadoras, la lógica se volvió lo suficientemente complicada como para manejar numerosas llamadas a funciones, así como hacer matemáticas avanzadas y resolver problemas matemáticos. Gran parte de esta lógica se basa en el conocimiento de la resolución de problemas matemáticos y la probabilidad combinada con reglas lógicas de exclusión, expansión y reducción, etc. Los lenguajes de computadora no están hechos para ser entendidos fácilmente tanto para trabajar lógicamente dentro del conocimiento de las matemáticas, e incluso para manejar funciones especiales. Una gran parte del lenguaje informático es probablemente propiedad o solo se entiende por computadora. Ahora los programadores a menudo dejan que las computadoras hagan la lógica ellos mismos, a menudo ha sido así, los programadores solo necesitan saber cómo obtener resultados diseñando aspectos de software y reutilizando software disponible libremente que ha sido codificado previamente.
Comprender la tecnología tal como existe hoy en día es una tarea cada vez más grande que ningún ser humano individual puede comprender a menos que sea sobrehumano. Sin embargo, los humanos todavía son grandes generalistas, y algunos humanos tienen una habilidad especial para entender áreas particulares. Muchas de las funciones lógicas integradas en el hardware son puramente utilitarias, sin embargo, y no son necesariamente entretenimientos filosóficos, es simplemente inteligente que funcionen. Ayuda a darse cuenta de que los titulares de patentes son raros entre los hombres, y una gran parte de las patentes pertenecen a empresas que anteriormente tenían patentes más simples y que contratan a miles de personas para trabajar juntas en un proyecto, con el objetivo de mejorar una tecnología particular. . Mejorar la lógica no es una tarea pequeña, por lo que concluí que algunos de los grandes logros recientemente son, irónicamente, bastante fundamentales y básicos. A lo largo de la línea de mejora de la tecnología de cómputo, la gente comenzó a olvidar cuán simple es todo realmente, y qué tanto progreso exponencial podría hacerse simplemente determinando sistemas alternativos que tengan la misma validez que los silogismos. Si se incorporara más de un sistema a la tecnología, el efecto sería realmente exponencialmente eficiente.
Por supuesto, construir cosas desde cero no es un buen consejo una vez que se ha avanzado mucho, pero eso no significa que no sea útil para el software, o que no ayude a crear una capa de software estándar. eso fue exponencialmente más fácil de procesar modificando el hardware de una manera muy leve. ¿Tal vez la nueva lógica incluso crearía computación cuántica sin el cambio dramático en los requisitos de hardware? Quién sabe, ¿tal vez esto es lo que están haciendo en secreto? Tal vez hayan descubierto algún tipo de cosa omnisciente para que los multimillonarios puedan usar microchips o servidores para investigar la inmortalidad o algo así, mientras el mundo se pregunta por qué sus computadoras todavía no pueden hacer todo. Leer también: que es la lógica matemática