SOBRE UN MÉTODO ARBORESCENTE PARA UNA LÓGICA SINTÉTICA DE TÉRMINOS

La combinación de lógicas se suele llevar a cabo entre sistemas fregeanos-tarskianos-kripkeanos, pero como la lógica no necesita estar restringida a esta visión heredada, en este trabajo reproducimos una lógica sintética de términos al estilo de Sommers, junto con un método de prueba arborescente y...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Signos filosóficos 2023-07, Vol.25 (50), p.120
1. Verfasser:	Castro-Manzano, J.-Martín
Format:	Artikel
Sprache:	spa
Schlagworte:	Frege, Gottlob Kripke, Saul Sommers, Fred Tarski, Alfred
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!