30 ideas
22140 | The greatest philosophers are methodical; it is what makes them great [Grice] |
10751 | Second-order logic needs the sets, and its consequence has epistemological problems [Rossberg] |
10757 | Henkin semantics has a second domain of predicates and relations (in upper case) [Rossberg] |
10759 | There are at least seven possible systems of semantics for second-order logic [Rossberg] |
10753 | Logical consequence is intuitively semantic, and captured by model theory [Rossberg] |
10752 | Γ |- S says S can be deduced from Γ; Γ |= S says a good model for Γ makes S true [Rossberg] |
10754 | In proof-theory, logical form is shown by the logical constants [Rossberg] |
10756 | A model is a domain, and an interpretation assigning objects, predicates, relations etc. [Rossberg] |
10758 | If models of a mathematical theory are all isomorphic, it is 'categorical', with essentially one model [Rossberg] |
10761 | Completeness can always be achieved by cunning model-design [Rossberg] |
10755 | A deductive system is only incomplete with respect to a formal semantics [Rossberg] |
12312 | The real essence of a thing is its powers, or 'dispositional properties' [Copi] |
10937 | Essential properties are the 'deepest' ones which explain the others [Copi, by Rami] |
12308 | In modern science, nominal essence is intended to be real essence [Copi] |
12303 | Within the four types of change, essential attributes are those whose loss means destruction [Copi] |
13856 | Conditionals are truth-functional, but we must take care with misleading ones [Grice, by Edgington] |
8948 | The odd truth table for material conditionals is explained by conversational conventions [Grice, by Fisher] |
13767 | Conditionals might remain truth-functional, despite inappropriate conversational remarks [Edgington on Grice] |
10990 | Conditionals are truth-functional, but unassertable in tricky cases? [Grice, by Read] |
14277 | A person can be justified in believing a proposition, though it is unreasonable to actually say it [Grice, by Edgington] |
7751 | Meaning needs an intention to induce a belief, and a recognition that this is the speaker's intention [Grice] |
7752 | Only the utterer's primary intention is relevant to the meaning [Grice] |
7753 | We judge linguistic intentions rather as we judge non-linguistic intentions, so they are alike [Grice] |
22330 | Grice said patterns of use are often semantically irrelevant, because it is a pragmatic matter [Grice, by Glock] |
18045 | Grice's maxim of quality says do not assert what you believe to be false [Grice, by Magidor] |
18044 | Grice's maxim of manner requires one to be as brief as possible [Grice, by Magidor] |
10991 | Key conversational maxims are 'quality' (assert truth) and 'quantity' (leave nothing out) [Grice, by Read] |
18046 | Grice's maxim of quantity says be sufficiently informative [Grice, by Magidor] |
12307 | Modern science seeks essences, and is getting closer to them [Copi] |
12310 | Real essences are scientifically knowable, but so are non-essential properties [Copi] |