display all the ideas for this combination of texts
2 ideas
10016 | When an 'interpretation' creates a model based on truth, this doesn't include Fregean 'sense' [Hodes] |
Full Idea: A model is created when a language is 'interpreted', by assigning non-logical terms to objects in a set, according to a 'true-in' relation, but we must bear in mind that this 'interpretation' does not associate anything like Fregean senses with terms. | |
From: Harold Hodes (Logicism and Ontological Commits. of Arithmetic [1984], p.131) | |
A reaction: This seems like a key point (also made by Hofweber) that formal accounts of numbers, as required by logic, will not give an adequate account of the semantics of number-terms in natural languages. |
11174 | A logical truth is true in virtue of the nature of the logical concepts [Fine,K] |
Full Idea: One wants to define a logical truth as one that is true in virtue of the nature of the logical concepts. | |
From: Kit Fine (Senses of Essence [1995], §3) | |
A reaction: This is part of Fine's project to give a revised account of essence, which includes the essence of concepts as well as the essence of objects. Everyone should pay close attention to this project. |