Banner Portal
Un desafío para las teorías cognitivas de la competencia lógica: los fundamentos pragmáticos de la semántica de la lógica linear
PDF

Palavras-chave

Lógica linear
pragmática
semántica

Como Citar

RAHMAN, Sharid. Un desafío para las teorías cognitivas de la competencia lógica: los fundamentos pragmáticos de la semántica de la lógica linear. Manuscrito: Revista Internacional de Filosofia, Campinas, SP, v. 25, n. 2, p. 381–432, 2016. Disponível em: https://periodicos.sbu.unicamp.br/ojs/index.php/manuscrito/article/view/8644571. Acesso em: 4 dez. 2024.

Resumo

Marcelo Dascal destaca en diversos artículos en los que analiza las consecuencias de la concepción pragmática del significado, la importancia de estudiar la estructura dialógica (incluyendo la teoría de la semántica de juegos) de la controvérsia argumentativa tanto epistemológica como lógica para la formulación de un concepto de conocimiento alternativo al concepto representacional y computacional usual en las ciencias cognitivas. Ahora bien, se supone que la lógica linear es el instrumento más apropiado para describir procesos computacionales de deducción. Irónicamente, las semánticas formales usuales, que podrían utilizarse para una fundamentación representacional de la lógica linear han sido hasta ahora más bien infructuosas. Es más, parece que la semántica de la lógica linear es esencialmente pragmática y basada en una estructura dialógica. Objetivo de este trabajo es discutir una nueva semântica para la lógica linear que destaca precisamente los fundamentos pragmáticos de tales aspectos dialógicos entendidos como una controversia argumentativa, a saber, contexto de argumentación, relevancia e intercambio de información.

PDF

Referências

ABRAMSKY, S. (1997). ‘Semantics of Interaction: an Introduction to Game Semantics’. In: A. Pitts y P. Dybjer (eds.), Semantics and Logics of Computation (Cambridge, Cambridge University Press), pp. 1-31.

AVRON, A. (1988). ‘The semantics and proof theory of linear logic’, Theoretical Computer Science, 57, pp. 161-184.

BARTH, E. y KRABBE, E. (1982). From Axiom to Dialogue: A Philosophical Study of Logics and Argumentation (Berlin/New York).

BELNAP, N. (1982). ‘Display Logic’, Journal of Philosophical Logic, 11, 1982, pp. 375-417. BLASS, A. (1992). ‘A Game Semantics for Linear Logic’, Annals of Pure and Applied Logic 56, pp. 183-220.

DASCAL, M. (1998). ‘The study of controversies and the theory and history of science’, Science in Context, 11, 1998, pp. 147-154.

DASCAL, M. (2000). ‘Künstliche Intelligenz und Philosophie. Das Wissen über Repräsentationen und die Fähigkeit des Begründens’. In: K. Buchhoz, S. Rahman, I. Weber (eds.) Wege zu Vernunft. Philosophieren zwischen Tätikgeit und Reflexion (Frankfurt/New York, Verlag), 1999, pp. 161-179.

DASCAL, M., HINTIKKA, J. y LORENZ, K. (1996). ‘Jeux dans le langage. Games in Language. Spiel in der Sprache’. In: M. Dascal, D. Gerhardus, K. Lorenz, G. Meggle (eds.) Sprachphilosophie. Philosophy of Language. La philosophie du langage (Berlin/New York, Walter de Gruyter), 1996, Vol. 2, pp. 1371-1390.

D’AGOSTINO, M., GABBAY, D. und BRODA, K. (1999). ‘Tableau Methods for Substructural Logics’. In: M. D’Agostino, D. Gabbay, R. Hänhle, J. Posegga (eds.) Handbook of Tableau Methods(Dordrecht/Boston/London, Kluwer), pp. 397-468.

DOŠEN, K. (1988). ‘Sequent Systems and Groupoid Models I’, Studia Logica, 47, 1988, pp. 353-389.

FELSCHER, W. (1985). ‘Dialogues as a Foundation for Intuitionistic Logic’. In: Gabbay, D. y Guenthner, F. (eds.), Handbook of Philosophical Logic, Bd. III, Dordrecht, 1983, pp. 341-372.

GABBAY, D. y RAHMAN, S. (2000). ‘A New Dialogical Semantics for Linear Logic (first draft)’, Typoscript. GIRARD, J.-Y. (1993). ‘Linear Logic: Its Syntax and Semantics’. In: J.-Y. Girard, Y. Lafont and L. Regnier (eds.), Advances in Linear Logic (Cambridge, Cambridge University Press), pp. 1-42.

GIRARD, J.-Y. (1998). ‘On the Meaning of Logical Rules I: Syntax vs. Semantics’, Typoscript.

HYLAND, M. (1997). ‘Game Semantics’. In: A. Pitts and P. Dybjer (eds.), Semantics and Logics of Computation (Cambridge, Cambridge University Press), pp. 131-182.

KRABBE, E. (1985). ‘Formal Systems of Dialogue Rules’, Synthese, 63(3), 1985, pp. 295-328.

LORENZEN, P. y LORENZ, K. (1978). Dialogische Logik, Darmstadt, 1978.

RAHMAN, S. (1993). Über Dialoge, protologische Kategorien und andere Seltenheiten, Frankfurt a. M., 1993.

—————. (1999). ‘Ways of Understanding Hugh MacColl’s Concept of Symbolic Existence’, Nordic Journal of Philosophical Logic, vol. 3, pp. 35-58.

—————. (2000). ‘On Frege’s Nightmare’. In: H. Wansing (ed.) Essays on Non-Classical Logic (London/Singapore, World Scientific). A aparecer en noviembre 2001.

RAHMAN, S. y CARNIELLI, W. (2000). ‘The Dialogical Approach to Paraconsistency’, Synthese, vol. 125, 1-2, 2000, pp. 201-231.

RAHMAN, S. y RÜCKERT, H. (1998a). ‘Dialogische Modallogik (für T, B, S4 und S5)’, FR 5.1 Philosophie, Universität des Saarlandes, Memo Nr. 25, 11, 1998 (en prensa en Logique et Analyse).

—————. (1998b). ‘Dialogische Logik und Relevanz’, FR 5.1 Philosophie, Universität des Saarlandes, Memo Nr. 27, 12, 1998.

—————. (1998-99). ‘Die pragmatischen Sinn- und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes’, Philosophia Scientiae, (3)3, 1998-99, pp. 145-170.

—————. (2000). ‘Dialogical Connexive Logic’. In: Rahman, S. y Rückert, H. (eds.), New Perspectives in Dialogical Logic, vol. 127 (1/2), 2001, pp. 105-139.

RAHMAN, S. y RÜCKERT, H. (eds.) (2001). New Perspectives in Dialogical Logic volumen especial de Synthese, con contribuciones de P. Black- burn (Nancy), D. Gabbay (King's College), J. Woods (Lethbridge),

J. Hintikka (Boston), E. Krabbe (Groningen), S. Rahman (Lille),

H. Rückert (Saarbrücken), G. Sandu (Helsinki), H. Praaken

(Utrecht), y J. P. Van Bendegem (Bruselas), vol. 127 (1/2), 2001 .

—————. (2002), ‘Eine neue dialogische Semantik für die lineare logik’. In: Gethmann, C.F. (Ed.), Neue Perspektiven in der Konstruk- tiven Logik (volumen en preparación).

RAHMAN, S., RÜCKERT, H. y FISCHMANN, M. (1997). ‘On Dialogues and Ontology. The Dialogical Approach to Free Logic’, Logique et Analyse, 160, pp. 357-374.

RÜCKERT, H. (2000), ‘Eine Modale Semantik für die Lineare Logik’. En preparación.

SCHRÖDER-HEISTER, P. and DOŠEN, K. (1993), Substructural Logics (Oxford, Oxford University Press).

SMULLYAN, R. (1968). First Order-Logic (Heidelberg, Springer-Verlag).

WALTON, D. N. (1985). ‘New Directions in the Logic of Dialogue’, en D. N. Walton (ed.), The Logic of Dialogue, Synthese 63, pp. 259-274.

WANSING, H. (1994). ‘Sequent Calculi for Normal Modal Propositional Logics’, Journal of Logic Computation 4, pp. 125-142.

—————. (1998). Displaying Modal Logic (Dordrecht, Kluwer).

Downloads

Não há dados estatísticos.