FIL7027-07307 (20241) - Filosofia da Lógica

Programação

• Geral

  Contrair tudo Expandir tudo

• Material
  • 

    [slides] (Problematic) Intro Arquivo

    428.9 Kb Documento PDF
  • 

    [slides] From a structural viewpoint Arquivo

    388.2 Kb Documento PDF
  • 

    [slides] On frameworks for doing logic Arquivo

    128.5 Kb Documento PDF
  • 

    [extra] Multiple-Conclusion Logic (UNILOG 2005) URL
  • 

    [extra] Classical Recapture [part A] (UNICAMP 2023) URL
  • 

    [slides] Some fundamental logical properties Arquivo

    161.2 Kb Documento PDF
  • 

    [extra] Truth-Functionality [Part 1] (UNILOG 2010) URL
  • 

    [slides] Deduction-based approaches Arquivo

    199.6 Kb Documento PDF
  • 

    [slides] Denotation-based approaches Arquivo

    276.4 Kb Documento PDF
  • 

    [slides] The mystery of duality unraveled URL
  • 

    [extra] Oppositions within and among Logics URL
  • 

    [slides] What is a negative modality? URL
  • 

    [extra] Proof systems for negative modalities URL
  • 

    [slides] Theories, translations, combinations Arquivo

    200.7 Kb Documento PDF