13 ideas
| 15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
| Full Idea: The common feature of every designating term is that designation may change from state to state - thus it can be formalized by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3) | |
| A reaction: Specifying the objects sounds OK, but specifying states sounds rather tough. |
| 15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
| Full Idea: To first order modal logic (with quantification over objects) we can add a second kind of quantification, over intensions. An intensional object, or individual concept, will be modelled by a function from states to objects. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.3) |
| 15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
| Full Idea: Awareness logic enriched Hintikka's epistemic models with an awareness function, mapping each state to the set of formulas we are aware of at that state. This reflects some bound on the resources we can bring to bear. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) | |
| A reaction: [He cites Fagin and Halpern 1988 for this] |
| 15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
| Full Idea: In justification logics, the logics of knowledge are extended by making reasons explicit. A logic of proof terms was created, with a semantics. In this, mathematical truths are known for explicit reasons, and these provide a measure of complexity. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.6.1) |
| 11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
| Full Idea: Mathematics is typically extensional throughout (we write 3+2=2+3 despite the two terms having different meanings). ..Classical first-order logic is extensional by design since it primarily evolved to model the reasoning of mathematics. | |
| From: Melvin Fitting (Intensional Logic [2007], §1) |
| 11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
| Full Idea: λ-abstraction can be used to abstract and disambiguate a predicate. De re is [λx◊P(x)](f) - f has the possible-P property - and de dicto is ◊[λxP(x)](f) - possibly f has the P-property. Also applies to □. | |
| From: Melvin Fitting (Intensional Logic [2007], §3.3) | |
| A reaction: Compare the Barcan formula. Originated with Church in the 1930s, and Carnap 1947, but revived by Stalnaker and Thomason 1968. Because it refers to the predicate, it has a role in intensional versions of logic, especially modal logic. |
| 15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
| Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally. | |
| From: Melvin Fitting (Intensional Logic [2007], 3.4) | |
| A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others. |
| 6668 | If the present does not exist, then consciousness must be memory of the immediate past [Marshall] |
| Full Idea: Given the paradoxical nature of the 'present' moment, maybe we should understand ALL consciousness as memory, with the split second of the 'specious present' being very vivid and very brief memory, with the rest of the mind remembering in lower degrees. | |
| From: David Marshall (talk [2004]), quoted by PG - Db (ideas) | |
| A reaction: This strikes me as a highly plausible, and very illuminating remark. For the time paradox, see Ideas 1904 and 5102. Anyone researching consciousness in the brain should think about this, because it will just be a special sort of memory neurons. |
| 22808 | Liberalism is minimal government, or individual rights, or equality [Avineri/De-Shalit] |
| Full Idea: Liberalism has been defended as a theory of minimal government, or as a theory of basic individual rights, or as an egalitarian philosophy. | |
| From: Avineri,S/De-Shalit,A (Intro to 'Communitarianism and Individualism' [1992], §5) | |
| A reaction: Minimal government tends towards anarchist liberalism, but then what grounds the right to be free of government? Presumably any sensible theory of rights has to be egalitarian. What could ground unequal rights? |
| 22803 | Can individualist theories justify an obligation to fight in a war? [Avineri/De-Shalit] |
| Full Idea: How can an individualist theory justify an obligation to fight for the state in the case of war? | |
| From: Avineri,S/De-Shalit,A (Intro to 'Communitarianism and Individualism' [1992], §4) | |
| A reaction: The most dramatic example of obliging citizens to contribute to the state, the notable other case being taxes. Some imagined ancient 'social contract' doesn't seem sufficient for later generations. Does being naturally sociable create such obligations? |
| 22804 | Autonomy is better achieved within a community [Avineri/De-Shalit] |
| Full Idea: Communitarians often argue that personal autonomy is better achieved within the community. | |
| From: Avineri,S/De-Shalit,A (Intro to 'Communitarianism and Individualism' [1992], §4) | |
| A reaction: Hegel is the source of this view. The simplest version of the point is that autonomy can only be asserted if a person has rights, which can be asserted and defended, and only a society can provide that. That is plausible. |
| 22806 | Communitarians avoid oppression for the common good, by means of small mediating communities [Avineri/De-Shalit] |
| Full Idea: Because of the mediating structures of small communities, communitarians are less fearful [than liberals] of the emergence of an oppressive government as a result of the politics of the common good. | |
| From: Avineri,S/De-Shalit,A (Intro to 'Communitarianism and Individualism' [1992], §5) | |
| A reaction: A politics of the common good has an obvious implicit conservatism because the central consensus is always likely to disapprove of errant individuals, of all sorts. Only individual rights can block an oppressive government. |
| 22807 | If our values are given to us by society then we have no grounds to criticise them [Avineri/De-Shalit] |
| Full Idea: If communitarians are right that we are not free to choose, but rather that our values are determined by our community, the individualists say, then there is no reason to criticise the values of one's society. | |
| From: Avineri,S/De-Shalit,A (Intro to 'Communitarianism and Individualism' [1992], §5) | |
| A reaction: This is an obvious challenge, but if one's concept of community is a forum for free debate then it can be overcome. There is no avoiding the fact, though, that a good community always needs a high degree of consensus. |