31 ideas
| 22353 | One view says objectivity is making a successful claim which captures the facts [Reiss/Sprenger] |
| 22356 | An absolute scientific picture of reality must not involve sense experience, which is perspectival [Reiss/Sprenger] |
| 22359 | Topic and application involve values, but can evidence and theory choice avoid them? [Reiss/Sprenger] |
| 22360 | The Value-Free Ideal in science avoids contextual values, but embraces epistemic values [Reiss/Sprenger] |
| 22362 | Value-free science needs impartial evaluation, theories asserting facts, and right motivation [Reiss/Sprenger] |
| 22364 | Thermometers depend on the substance used, and none of them are perfect [Reiss/Sprenger] |
| 7786 | Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle] |
| 7798 | There are three axiom schemas for propositional logic [Girle] |
| 7799 | Proposition logic has definitions for its three operators: or, and, and identical [Girle] |
| 7797 | Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle] |
| 7794 | There are seven modalities in S4, each with its negation [Girle] |
| 7793 | ◊p → □◊p is the hallmark of S5 [Girle] |
| 7795 | S5 has just six modalities, and all strings can be reduced to those [Girle] |
| 7787 | Possible worlds logics use true-in-a-world rather than true [Girle] |
| 7788 | Modal logic has four basic modal negation equivalences [Girle] |
| 7796 | Modal logics were studied in terms of axioms, but now possible worlds semantics is added [Girle] |
| 7789 | Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle] |
| 7790 | If an argument is invalid, a truth tree will indicate a counter-example [Girle] |
| 7800 | Analytic truths are divided into logically and conceptually necessary [Girle] |
| 7801 | Possibilities can be logical, theoretical, physical, economic or human [Girle] |
| 7792 | A world has 'access' to a world it generates, which is important in possible worlds semantics [Girle] |
| 22357 | The 'experimenter's regress' says success needs reliability, which is only tested by success [Reiss/Sprenger] |
| 22365 | The Bayesian approach is explicitly subjective about probabilities [Reiss/Sprenger] |
| 19855 | The purpose of society is to protect the rights of liberty, property, security and resistance [Mirabeau/committee] |
| 19856 | The law expresses the general will, and all citizens can participate [Mirabeau/committee] |
| 19861 | There is only a constitution if rights are assured, and separation of powers defined [Mirabeau/committee] |
| 19858 | No one should be molested for their opinions, if they do not disturb the established order [Mirabeau/committee] |
| 19859 | Free speech is very precious, and everyone may speak and write freely (but take responsibility for it) [Mirabeau/committee] |
| 19857 | All citizens are eligible for roles in the state, purely on the basis of merit [Mirabeau/committee] |
| 19862 | Property is a sacred right, breached only when essential, and with fair compensation [Mirabeau/committee] |
| 19860 | Everyone must contribute to the state's power and administration, in just proportion [Mirabeau/committee] |