Semantics and Pragmatics

  1. Formal Semantics
    1. Logical Foundations
      1. Propositional Logic
        1. Syntax of Propositional Logic
          1. Semantics of Propositional Logic
            1. Truth Tables
              1. Logical Connectives
              2. Predicate Logic
                1. Syntax of Predicate Logic
                  1. Semantics of Predicate Logic
                    1. Quantifiers in Logic
                      1. Variables and Binding
                        1. Lambda Calculus
                      2. Truth-Conditional Semantics
                        1. Truth Values and Truth Conditions
                          1. Semantic Relations
                            1. Entailment
                              1. Contradiction
                                1. Tautology
                                  1. Contingency
                                  2. Tests for Semantic Relations
                                    1. Entailment Tests
                                      1. Contradiction Tests
                                        1. Paraphrase Tests
                                      2. Model-Theoretic Semantics
                                        1. Models and Interpretations
                                          1. Domains of Discourse
                                            1. Assignment Functions
                                              1. Satisfaction and Truth
                                                1. Semantic Evaluation
                                                2. Advanced Formal Topics
                                                  1. Possible Worlds Semantics
                                                    1. Possible Worlds
                                                      1. Accessibility Relations
                                                        1. Counterfactuals
                                                        2. Tense and Temporal Semantics
                                                          1. Tense Logic
                                                            1. Temporal Reference
                                                              1. Aspect and Aktionsart
                                                                1. Event Semantics
                                                                2. Modality
                                                                  1. Types of Modality
                                                                    1. Epistemic Modality
                                                                      1. Deontic Modality
                                                                        1. Dynamic Modality
                                                                        2. Gradable Modality

                                                                    Previous

                                                                    3. Compositional Semantics

                                                                    Go to top

                                                                    Next

                                                                    5. Pragmatic Theory