El trabajo que presento está sustentado en la tesis de Augusto Salazar Bondy: “Ensayo sobre la distinción entre el ser irreal y el ser ideal”, posteriormente publicado como libro con el título Irrealidad e idealidad(...)los cambios introducidos en este nuevo libro hacen referencia solamente a la forma, ordenación de los capítulos, notas aclaratorias y la introducción del apartado final.

Presenta la teoría tarskiana de la verdad para los lenguajes formalizados de las ciencias deductivas, lenguajes artificiales y arbitrarios creados con alguna intención en mente, cuya característica principal es la ausencia de contenido semántico de sus términos componentes; es decir, estos lenguajes carecen de significado; por consiguiente, solo para estos lenguajes formalizados será definido satisfactoriamente el concepto de «verdad». Luego trata sobre el uso continuo de Karl Popper sobre este concepto en sus principales textos para justificar su filosofía y su metodología de la ciencia; así, justificar como el concepto de verdad estuvo siempre presente para sustentar el desarrollo de su epistemología y, en términos popperianos, en el crecimiento del conocimiento científico en las ciencias empíricas. Posteriormente hace una crítica al uso que hace Popper del concepto de ...