Gourt > Society > Philosophy > Philosophy of Logic > Semantics of Logic
- Formal semantics redirects to this page. See also Formal semantics of programming languages.
The validity conditions of various sentences we may encounter in arguments will depend upon their meaning, and so conscientious logicians cannot completely avoid the need to provide some treatment of the meaning of these sentences. The semantics of logic refers to the approaches that logicians have introduced to understand and determine that part of meaning in which they are interested; the logician traditionally is not interested in the sentence as uttered but in the proposition, an idealised sentence suitable for logical manipulation.
Until the advent of modern logic, Aristotle's Organon, especially On Interpretation, provided the basis for understanding the significance of logic. The introduction of quantification, needed to solve the problem of multiple generality, rendered impossible the kind of subject-predicate analysis that governed Aristotle's account, although there is a renewed interest in term logic, attempting to find calculi in the spirit of Aristotle's syllogistic but with the generality of modern logics based on the quantifier.
More on [ Semantics of logic ]
@ZoomIndianMedia Can't fathom the logic behind the semantics of Headley's 'agent' status? Where are your tweets on NDTV/Barkha motives?
sudhirksingh (Sudhir Singh) Tue, 15 Dec 2009 04:07:38 -0000
@ZoomIndianMedia Can't fathom the logic behind the semantics of Headley's 'agent' status? Where are your tweets on NDTV/Barkha motives?
@tofu916 There are times when I miss online gaming and cyberpunk culture, deploying logic and semantics, and of course, public pwnership.
markdavidson (Mark Davidson) Sat, 12 Dec 2009 20:46:55 -0000
@tofu916 There are times when I miss online gaming and cyberpunk culture, deploying logic and semantics, and of course, public pwnership.
#nevertrust anyone who fudges on semantics and/or logic itself in a debate. Frequently the last resort of a desperate ideologue.
Obiwanjacoby (Paul Jacoby) Wed, 09 Dec 2009 06:38:28 -0000
#nevertrust anyone who fudges on semantics and/or logic itself in a debate. Frequently the last resort of a desperate ideologue.
Assigning Meaning to Proofs - Report by Robert Constable, subtitled `A semantic basis for problem solving environments'. Constable's aim is to use metamathematical results to guide the making of framewroks for constructive logic, as part of the NuPrl project.
Interpreting Formal Logic - Article by Jaroslav Peregrin.
On the Meaning of the Logical Constants and the Justifications of the Logical Laws - Lecture notes of Per Martin-Löf. Argues that a close analysis of the concepts of proof, judgement and justification yield a direct, constructive account of the meaning of logical judgements.
Meta Description: [ On the Meanings of the Logical Constants and the Justifications of the Logical Laws ]
Satisfaction - An introduction to the model-theoretic stasfaction relation, by Peter Suber.
The Meanings of Logical Constants - Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conceptual role semantics.
Torkel Franzén's Homepage - Contains his PhD thesis, `Provability and Truth'.
What Can't Be Evaluated, Can't Be Evaluated; and It Can't Be Supervalued Either - Essay by Jerry Fodor and Ernie Lepore attacking an argument for maintaining principle of the excluded middle in the absence of bivalence by the device of supervaluations.
| Manuel DeLanda. European Graduate School Lecture 2006 1/8 | |
| Next Video | |
