8 ideas
14620 | Theories in logic are sentences closed under consequence, but in truth discussions theories have axioms [Fine,K] |
Full Idea: It is customary in logic to take a theory to be a set of sentences closed under logical consequence, whereas it is common in discussions of theories of truth to take a theory to be an axiomatized theory. | |
From: Kit Fine (Semantic Necessity [2010], n8) |
18758 | Validity is provable, but invalidity isn't, because the model is infinite [Church, by McGee] |
Full Idea: Church showed that logic has a proof procedure, but no decision procedure. If an argument is invalid, there is a model with true premises and false conclusion, but the model will typically be infinite, so there is no way to display it concretely. | |
From: report of Alonzo Church (A Note on the entscheidungsproblem [1936]) by Vann McGee - Logical Consequence 5 |
14530 | The role of semantic necessity in semantics is like metaphysical necessity in metaphysics [Fine,K, by Hale/Hoffmann,A] |
Full Idea: Fine's paper argues that the notion of semantic necessity has a role to play in understanding the nature and content of semantics comparable to the role of metaphysical necessity in metaphysics. | |
From: report of Kit Fine (Semantic Necessity [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2 |
14618 | Semantics is either an assignment of semantic values, or a theory of truth [Fine,K] |
Full Idea: On one view, a semantics for a given language is taken to be an assignment of semantic values to its expressions; according to the other, a semantics is taken to be a theory of truth for that language. | |
From: Kit Fine (Semantic Necessity [2010], Intro) | |
A reaction: The first is Frege, the second Tarski via Davidson, says Fine. Fine argues against these as the correct alternatives, and says the distinction prevents us understanding what is really going on. He votes for semantics as giving 'semantic requirements'. |
14621 | Semantics is a body of semantic requirements, not semantic truths or assigned values [Fine,K] |
Full Idea: Semantics should be conceived as a body of semantic requirements or facts - and not as a body of semantic truths, or as an assignment of semantic values. | |
From: Kit Fine (Semantic Necessity [2010], 5) | |
A reaction: The 'truths' view is Tarski, and the 'values' view is Frege. You'll have to read the Fine paper to grasp his subtle claim. |
14622 | Referential semantics (unlike Fregeanism) allows objects themselves in to semantic requirements [Fine,K] |
Full Idea: What distinguishes the referential position in semantics from Fregeanism is that it makes use of de re semantic facts, in which it is required of an object itself that it enter into certain semantic requirements. | |
From: Kit Fine (Semantic Necessity [2010], 5) | |
A reaction: I have a repugnance to any sort of semantics that involves the objects themselves, even when dealing with proper names. If I talk of 'Napoleon', no small Frenchman is to be found anywhere in my sentences. |
14619 | The Quinean doubt: are semantics and facts separate, and do analytic sentences have no factual part? [Fine,K] |
Full Idea: The source of the Quinean scepticism about analytic and synthetic is, first, scepticism over whether we can factor truth into a semantic and a factual component, and (second) if we can, is the factual component ever null? | |
From: Kit Fine (Semantic Necessity [2010], 1) | |
A reaction: You certainly can't grasp 'bachelors are unmarried men' if you haven't grasped the full Woosterian truth about men and marriage. But I could interdefine four meaningless words, so that you could employ them in analytic sentences. |
22086 | The most important aspect of a human being is not reason, but passion [Kierkegaard, by Carlisle] |
Full Idea: Kierkegaard insisted that the most important aspect of a human being is not reason, but passion. | |
From: report of Søren Kierkegaard (works [1845]) by Clare Carlisle - Kierkegaard: a guide for the perplexed Intro | |
A reaction: Hume comes to mind for a similar view, but in character Hume was far more rational than Kierkegaard. |