Dictionary of Arguments


Philosophical and Scientific Issues in Dispute
 
[german]

Screenshot Tabelle Begriffes

 

Find counter arguments by entering NameVs… or …VsName.

Enhanced Search:
Search term 1: Author or Term Search term 2: Author or Term


together with


The author or concept searched is found in the following 20 entries.
Disputed term/author/ism Author
Entry
Reference
Belief Degrees Adams Field II 296
Adams-Conditional/Field: Suppose we add ">" to the general Adams conditional, which can only occur as a main operator, and which obeys the principle that the degree of belief in A > B is always the contingent degree of belief in B given A. Belief Degree/Field: If we assume that contingent and not contingent belief is represented by conditional or unconditional Q, we obtain that the degree of belief in A > B is equal to Q (B I A).
Adams-Conditional/Field: the normal Adams conditional assuming that belief degrees obey the probability laws captures the "if ... then" better than the probability function of the conditional.
>Conditional, >Probability functions, >Probability, >Probability law, >Conditional Probability, >cf. >Bayesianism, >Subjective Probability.
In any case, this only occurs as a main connection:
E.g.

"when I try it, I will be added to the team ("If I try out for the yankees, I will make the team").

Then the general Adams-conditional seems appropriate for vagueness.
>Vagueness.
If that is so, then the
belief degree of A > B should be:
Q (DA I A).
Probability function/belief degree: Difference: for the probability function, the contingent probability is never higher than the probability of the material conditional. >Probability function.
Williamson/Field: for his argument (1 - 3), this is important: all premisses get the Q value 1 if "if ... then" are read as a general Adams conditional. Then the classic conclusion is not valid in this reading of "if ... then".
>T. Williamson.


Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994
Belief Degrees Field II 257
Belief Degree/BD/Conditional/Field: the classic laws of probability for belief degrees do not apply with conditionals. - Disquotational Truth/Conditional: refers to the complete: "If Clinton dies, Gore becomes President" is true iff Clinton dies and Gore becomes President.
Non-disquotational: behaves like disquotational truth in simple sentences.
With conditionals: simplest solution: without truth value.
>Disquotationalism, >Truth values, >Conditionals.
II 295
Belief Degree/Probability/Field: the classic law of the probability of disjunctions with mutually exclusive disjuncts does not apply for degrees of belief when vagueness is allowed. >Probability, >Probablilty law.
II 296
Probability Function/Belief Degree: difference: for probability functions the conditional probability is never higher than the probability of the material conditional. >Probability function.
II 300
Indeterminacy/Belief Degree/Field: the indeterminacy of a sentence A is determined by the amount for which its probability and its negation add up to less than 1. ((s) i.e. that there is a possibility that neither A nor ~A applies.)
II 302
Indeterminacy/Belief/Field: some: E.g. "belief" in opportunities is inappropriate, because they are never actual. Solution: Acceptance of sentences about opportunities. - Also in indeterminacy.
Solution: belief degrees in things other than explanation.
II 310
Non-classical Belief Degrees/Indeterminacy/Field: E.g. that every "decision" about the power of the continuum is arbitrary, is a good reason to assume non-classical belief degrees. Moderate non-classical logic: that some instances of the sentence cannot be asserted by the excluded middle.
>Excluded middle, >Non-classical logic.

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Conditional Adams Field II 252/296
Material Conditional/Adams Conditional/Field: (Lit. Adams 1974): (outside of mathematics): few of us would agree with the following conclusion: E.g. from
Clinton will not die in office

to

If Clinton dies in office, Danny de Vito will become President.

That suggests that here the equivalence between A > B and ~(A v B) does not exist.
>Counterfactuals, >Counterfactual conditional.
In other words: If A then B does not seem to have the same truth conditions as ~A v B.
>Truth conditions.
Adams-conditional: it may only be used as a main operator. - The degree of belief of A > B is always the conditional belef degree (B I A).
>Operators, >Conditional probability.
II 253
In the case of the indicative conditional, the premise is always required. - Adams: intuitively, conclusions with conditionals are correct. Problem: then they will say less about the world. Indicative conditional sentence/material implication/truth/field: further considerations have however led many to doubt that there are truth conditions here at all.
>Material implication.
Conditional/Field: A > B: here the premise A is always required when concluding. That is, we accept conditional B relative to premise A.
Adams: the idea of contingent acceptance justifies our intuitive beliefs according to which conclusions with conditionals are correct.
Cf. >Presuppositions, >Principle of Charity.
But then it is anything but obvious that conditionals say something about the world. For example, there must not be a statement C whose probability in all circumstances is the same as the conditional (contingent) probability of (B I A). That is, the conditional A > B is not such a C.
N.B.: this shows that we do not have to assume "conditional propositions" or "conditional facts". This is the nonfactualist view.
>Nonfactualism.
((s) Truth conditions/nonfactualism/conditional/(s): if there are no facts, then there are also no truth conditions.)
Borderline case: If the conditional (contingent) probability is 0 or 1, it is justifiable that the assertibility conditions (acceptance conditions) are the same as those of the material conditional.
Vs: one could argue that a sentence without any truth conditions is meaningless.
>Assertibility, >Assertibility conditions.
Field: ditto, but the main thing is that one cannot explain the acceptance conditions without the truth conditions in terms of the truth conditions.
>Truth conditions.

1. R. Adams (1974). Theories of Actuality. Nous, 5: 21-231.
---
Lewis V 133
Conditional/Adams/Adams-conditional/Lewis: is an exception to the rule that the speaker usually expresses nothing that is probably untrue. - Then the assertibility goes rather with the conditional subjective probability of the consequent. >Subjective probability, >Conditional probability, >Probability.


Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Lewis I
David K. Lewis
Die Identität von Körper und Geist Frankfurt 1989

Lewis I (a)
David K. Lewis
An Argument for the Identity Theory, in: Journal of Philosophy 63 (1966)
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis I (b)
David K. Lewis
Psychophysical and Theoretical Identifications, in: Australasian Journal of Philosophy 50 (1972)
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis I (c)
David K. Lewis
Mad Pain and Martian Pain, Readings in Philosophy of Psychology, Vol. 1, Ned Block (ed.) Harvard University Press, 1980
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis II
David K. Lewis
"Languages and Language", in: K. Gunderson (Ed.), Minnesota Studies in the Philosophy of Science, Vol. VII, Language, Mind, and Knowledge, Minneapolis 1975, pp. 3-35
In
Handlung, Kommunikation, Bedeutung, Georg Meggle Frankfurt/M. 1979

Lewis IV
David K. Lewis
Philosophical Papers Bd I New York Oxford 1983

Lewis V
David K. Lewis
Philosophical Papers Bd II New York Oxford 1986

Lewis VI
David K. Lewis
Convention. A Philosophical Study, Cambridge/MA 1969
German Edition:
Konventionen Berlin 1975

LewisCl
Clarence Irving Lewis
Collected Papers of Clarence Irving Lewis Stanford 1970

LewisCl I
Clarence Irving Lewis
Mind and the World Order: Outline of a Theory of Knowledge (Dover Books on Western Philosophy) 1991
Conditional Dummett III (a) 19
Gap/Dummett: a gap does not occur in material conditional - but probably with bets that leave it unclear whether the antecedent is satisfied at all.
III (a) 21/22
Statements/truth/Dummett: assuming simple language without counterfactual conditionals: then two types of conditionals are possible: 1) conditional statement
a) if the antecedent is fulfilled, then like categorical statement
b) if antecedent is not fulfilled: No statement!
2) as material conditional it is true if antecedent is false.
III (a) 23
E.g. Indigenous people: then the behavior does not show which of the two statements is correct - then empty distinction - Conclusion: every sit in which nothing can be conceived as being false is one of being true. -> Truth value gap. - Analogy: Command: suspension of the test: no disobedience - conditional: no abuse possible. - The speaker implies that he precludes that the antecedent is true and the consequent is wrong - otherwise: > Atomic sentence.

Dummett I
M. Dummett
The Origins of the Analytical Philosophy, London 1988
German Edition:
Ursprünge der analytischen Philosophie Frankfurt 1992

Dummett II
Michael Dummett
"What ist a Theory of Meaning?" (ii)
In
Truth and Meaning, G. Evans/J. McDowell Oxford 1976

Dummett III
M. Dummett
Wahrheit Stuttgart 1982

Dummett III (a)
Michael Dummett
"Truth" in: Proceedings of the Aristotelian Society 59 (1959) pp.141-162
In
Wahrheit, Michael Dummett Stuttgart 1982

Dummett III (b)
Michael Dummett
"Frege’s Distiction between Sense and Reference", in: M. Dummett, Truth and Other Enigmas, London 1978, pp. 116-144
In
Wahrheit, Stuttgart 1982

Dummett III (c)
Michael Dummett
"What is a Theory of Meaning?" in: S. Guttenplan (ed.) Mind and Language, Oxford 1975, pp. 97-138
In
Wahrheit, Michael Dummett Stuttgart 1982

Dummett III (d)
Michael Dummett
"Bringing About the Past" in: Philosophical Review 73 (1964) pp.338-359
In
Wahrheit, Michael Dummett Stuttgart 1982

Dummett III (e)
Michael Dummett
"Can Analytical Philosophy be Systematic, and Ought it to be?" in: Hegel-Studien, Beiheft 17 (1977) S. 305-326
In
Wahrheit, Michael Dummett Stuttgart 1982

Conditional Field II 253
Conditional/Deflationism/Field: the nonfactualist view is not the only one possible, both classical and non-classical logic can be used. - >Nonfactualism.
Disquotational truth: it seems to require truth conditions. - E.g. "If Clinton dies in office, Danny de Vito will become President" is true iff Clinton dies in office and de Vito becomes President.
>Disquotationalism.
II 254
Conditional/Facts/Stalnaker/Field: (Stalnaker 1984)(1): Thesis: the conditional facts are not expressible in 1st order logic, but in indicative "If .. then .." clauses. >Logic, >Second order logic.
II 255
Conditional/Factualism/Field: 1st Variant: assumes that "if A, then B" has the same truth conditions as "~A v B". Factualism: factualism does not accept counterintuitive conclusions - Non-factualism: seems committed to them.
II 255
Material Conditional/Paradoxes of Material Implication/Jackson/Field: Best Solution: (Jackson 1979)(2): Thesis: counterintuitive conclusions are unacceptable here: Thesis: the conclusions are not assertible, but nevertheless they are true. There is a conventional implicature for that when we assert "if A, then B", that not only the probability P (A> B) is high, but also the conditional probability P (A > B I A).
Field: the requirement that P(A > B I A) should be high is equivalent to the demand of the nonfactualist that P(B I A) is high - "Surface logic" has to do with assertibility.
"Deep logic": says what is truth preserving.
II 256
Factualism: must then distinguish between levels of total unacceptability (i.e. on the surface) and the acceptability on a deep level. >Acceptability.
Deflationism: in the same way the deflationism can then distinguish between non-factualism and factualism without using the concepts "true" or "fact".
Factualism: factualism does not accept counterintuitive conclusions - non-factualism: seems committed to them.
>Facts.
II 257
Non-Factualism/Field: must assume that the acceptance of conditionals is not regulated by the normal probability laws governing the acceptance of "fact sentences". >Probability laws.

1. Robeert C. Stalnaker. Inquiry. Cambridge, Mass: MIT PRess.
2.Frank Jackson, On Assertion and Indicative Conditionals. The Philosophical Review
Vol. 88, No. 4 (Oct., 1979), pp. 565-589

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Conditional Wessel I 124
Entailment/Wessel: = implication (not an operator, but a predicate). >paradoxes, because content can be contradictory, even if the form is valid.
Conditional: (e.g. scientific statement) would be false for the same reason (because the content does not form a context).
I 138
Logical Entailment/Wessel: statement about the context (of two statements), not about two objects. - in the rules of entailments no semantic terms must occur - tA: "the statement A" (term or name) -
I 140
Entailment/Sense/Wessel: If A I- B, then not only with regard to the truth value, but also in terms of sense. - But not merely assertion that "linked by sense". Context is guaranteed by occurrence of the same variables or the "same material of terms and statements.
>Content, >Material conditional.
I 286
Use/Mention: logical entailment: A I- B: talks about statements (i.e. precisely not content). Conditional: A -> B: talks about content and about what is being talked about in the statements (e.g. current, magnetic field).
"A is true" - precisely does not mean "the current flows".
I 279
Conditional/Wessel (s): empirical if-then, no logical necessity conditional operator I- not truth-functional. >Operators, >Truth functions.
I 283
Conditional/Wessel: e.g. from empirical studies, from statements about entailment, from axioms, from definitions, from other statements according to rules of inference.
I 294
Conclusions on the conditional cannot be made from a conjunction (empirical) - E.g. Potsdam >100,000 inhabitants and state capital, i.e. if P >.... false.
I 297
Conditional/Wessel: subjunction follows from a conditional statement. - ((s) but not vice versa.)
I 308
Existence Load/Wessel: cannot be determined like this in conditionals, because not truth-functional.

Wessel I
H. Wessel
Logik Berlin 1999

Consequence Cresswell I 38
Logical Consequence/Cresswell: crucial difference to the entailment: it combines forms of sentence or sentence schemes ((s) no content, not sentences). >Entailment, >Conditional, >Material conditional.
It is not a question of which propositions are involved and what are the truth values of the individual sentences.
Propositions, Truth value.
Entailment: if all the worlds where p and q are true, are exactly those, where p is true, then that means in this particular case, that p entails p u q.
>Possible worlds.
That q follows from p intensionally.
>Intensions.
Logical consequence: but p u q is not a logical consequence of p, because there are ways to ascribe truth values to p and q that make p true, but p u q wrong.
>Valuation.

Cr I
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988

Cr II
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984

Counterfactual Conditionals Fraassen I 13
Counterfactual conditional/Fraassen: objectively neither true nor false.
I 115f
Counterfactual conditionals/Fraassen: truth conditions use similarities between possible worlds: "If A, then B" is true in possible world w iff B is true in most similar world to w in which A is also true. - Similarity: is again context-dependent E.g. "Three Barbers"/Carroll: one in three must always be there: 1) if A is ill, B must accompany him, but
2) if C is gone as well, B has to stay there.
Contradiction: if A is ill, B must be there and gone.
VsCarroll: 1) and 2) are not in contradiction.
Material conditional: "either B or not A".
Solution/Fraassen: everyday language: not material conditional. >Everyday language.
Solution/Fraassen: Context Dependency: 1) is true if we only consider the illness, 2) is true if we only consider the shop - general: what situation is more like ours? -> Lewis: E. g. Bizet/Verdi, Similarity Metrics.
I 118
FraassenVsCounterfactual conditionals: but they are no solution here: scientific statements are not context-dependent. Therefore science implies no counterfactual conditionals (if they, as I believe, are context-dependent. Counterfactual Conditionals/Laws of Nature/Reichenbach/E. Goodman: only laws, not general statements imply counterfactual conditionals. - Therefore they are a criterion for laws.
FraassenVsGoodman, E.: conversely: if laws imply counterfactual conditionals, it is because they are context-dependent. >Context.

Fr I
B. van Fraassen
The Scientific Image Oxford 1980

Counterfactual Conditionals Lewis V 5
Counterfactual conditional/Lewis: variably strict conditional: if there are closer possible worlds, disregard the more distant ones. >Possible world/Lewis.
V 5f
Counterfactual conditionals/Negation/Lewis: from "would" through "could" (not): with logical antecedent and negated consequent - from "could": with "would" with the same A and negated consequent.
V 10
Counterfactual conditionals: Analysis 0: A were>>would C is true in world i iff C is true every A-World, so that __".
Analysis 1: A were>>would C is true in world i iff C is true in the (accessible) A-world closest to i if there is one.
A were>>would C is true in the world i iff C i is true in every (accessible) A-World closest to i.
Analysis 1 1/2: A were>>would C is true in the world i iff C is true in a specific, arbitrarily selected (accessible) A-World closest to i.
Analysis 3: A were>>would C is true in the world i if a (accessible) AC-World is closer to i than any A~C-world.
"Def A were>>could C is true in i iff for every (accessible) A~C-world there is an AC-world, which is at least as close to i, and if there are (accessible) A-worlds.
V 8
Counterfactual conditionals/Negation: here: through "could" in the rear part - E.g. ~(A were>>would C) ↔ A were>>could ~C.
((s) could = not necessarily"). - That will do for
Analysis 2: ... true in every next possible world ...- then Bizet/Verdi: not necessarily French and not necessarily non-French... etc. - "all true" false: not necessarily French-and-Italian...- that is ok.
V 14
Definition counterfactual conditionals: = variably strict conditional; i.e. if there is a closer possible world, disregard the more distant ones.
V 18
Counterfactual Conditional: I use it when the antecedent is probably wrong - Counterfactual Conditionals are more like the material conditional - with true antecedent are only true if the consequent is true - Problem: the Counterfactual Conditional with true antecedent are difficult to determine - they are in fact inappropriate! - Assuming someone unknowingly expressed such: - then both are convincing: a) A, ~C, ergo ~(A were>>would C: wrong, because A but not C,
b) A, C, ergo A were>>would C.: true, because A and in fact C- Important argument: this depends on the adequacy of "because".
Lewis: I think a) is more appropriate (should be assumend to be true) - Definition centering assumption: is thus weakened: every world is self-accessible and at least so similar to itself as any other world is with it - so a) is valid, but b) is invalid.
Centering assumption: if it was violated, worlds which deviate in a neglected way would count the same as the actual world).
Actual world/Counterfactual conditionals: if you want to distinguish the actual world in Counterfactual Conditionals, you can do that by expanding the comparative similarity of possible worlds so that they also include certain impossible worlds where not too impossible antecedents are true.
Vs: but they are even worse than the impossible borderline worlds.
>Truth value, >Impossible world/Lewis.
V 25
Counterfactual conditionals/Axioms:.. system C1 the Counterfactual Conditional implies the implication "were A>>would B. >. A>B" (s) That is the Counterfactual Conditional is stronger than the implication - AB > were A>>would B. - that is, from the conjunction follows the counterfactual conditional.
V 62
Counterfactual conditional: needs similarity between worlds to be comparable. Analysis 1/A1: (VsLewis) without similarity - counterfactual dependence/Lewis: always causal and thus consisting mostly in chronological order.
V 62
Counterfactual conditional: antecedent normally assumed to be wrong - with assumed true antecedent.
V 95/96
Counterfactual conditional: Advantage: not truth-functionally established - either both antecedent and consequent or neither applies in a possible world.
V 179
Counterfactual conditional: are not transitive. - Therefore there is no specific course of increase or decrease of probability through a causal chain.
V 284
Backwards/Counterfactual conditional: there is counterfactual dependence in the backward direction, but no causal dependency: false "if the effect had been different, the cause would have been something else".
V 288
Probabilistic counterfactual conditional/Lewis: Form: if A were the case, there would be this and this chance for B. >Possible world/Lewis.

Lewis I
David K. Lewis
Die Identität von Körper und Geist Frankfurt 1989

Lewis I (a)
David K. Lewis
An Argument for the Identity Theory, in: Journal of Philosophy 63 (1966)
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis I (b)
David K. Lewis
Psychophysical and Theoretical Identifications, in: Australasian Journal of Philosophy 50 (1972)
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis I (c)
David K. Lewis
Mad Pain and Martian Pain, Readings in Philosophy of Psychology, Vol. 1, Ned Block (ed.) Harvard University Press, 1980
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis II
David K. Lewis
"Languages and Language", in: K. Gunderson (Ed.), Minnesota Studies in the Philosophy of Science, Vol. VII, Language, Mind, and Knowledge, Minneapolis 1975, pp. 3-35
In
Handlung, Kommunikation, Bedeutung, Georg Meggle Frankfurt/M. 1979

Lewis IV
David K. Lewis
Philosophical Papers Bd I New York Oxford 1983

Lewis V
David K. Lewis
Philosophical Papers Bd II New York Oxford 1986

Lewis VI
David K. Lewis
Convention. A Philosophical Study, Cambridge/MA 1969
German Edition:
Konventionen Berlin 1975

LewisCl
Clarence Irving Lewis
Collected Papers of Clarence Irving Lewis Stanford 1970

LewisCl I
Clarence Irving Lewis
Mind and the World Order: Outline of a Theory of Knowledge (Dover Books on Western Philosophy) 1991

Dependence Lewis V 166
Nomic dependence/Lewis: two families of law propositions or individual fact p imply together all material conditionals between the two families. >Conditionals.
Then the material conditionals are implied by the counterfactual conditionals which include the counterfactual dependence (conD).
>Counterfactual dependence.
The nomic dependence explains the counterfactual dependence.
Important argument: the law propositions and the fact propositions must be counterfactually independent.
Nomic dependence: is reversible.
Counterfactual dependence is irreversible - E.g. Barometer/pressure.
V 312f
Dependence hypothesis/Lewis: here: set of propositions (sets of possible worlds) which specify everything the (omniscient) actor knows about causal dependence and independence of his actions - they form a partition. - I.e. they do not overlap. Expected benefits: Do not refer to individual dependency hypotheses. - ((s) i.e. it must not be assumed to be without alternative.) - You have to spread your beliefs on several dependencies.)
Benefit: to be understood as a non-conditional belief of a variation K of an alternative dependence hypothesis.
When options and dependency hypotheses differ, the difference shows the aspect which brings the novelty.
>Benefit.
Wrong: wanting to maximize the expected benefits to any partition - This would lead to different answers for different partitions - the partition for propositions of the value level would tell us fatalistically that all options are equally good.
>Proposition.
V 320
Dependence hypothesis/illustration/probability distribution/Lewis: If the same dependence applies in several worlds, the images represent the worlds in the same way. - If the images are the same, we have equivalence classes. - Then we have the partition of these equivalence classes. >Possible world/Lewis, >Equivalence class.

Lewis I
David K. Lewis
Die Identität von Körper und Geist Frankfurt 1989

Lewis I (a)
David K. Lewis
An Argument for the Identity Theory, in: Journal of Philosophy 63 (1966)
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis I (b)
David K. Lewis
Psychophysical and Theoretical Identifications, in: Australasian Journal of Philosophy 50 (1972)
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis I (c)
David K. Lewis
Mad Pain and Martian Pain, Readings in Philosophy of Psychology, Vol. 1, Ned Block (ed.) Harvard University Press, 1980
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis II
David K. Lewis
"Languages and Language", in: K. Gunderson (Ed.), Minnesota Studies in the Philosophy of Science, Vol. VII, Language, Mind, and Knowledge, Minneapolis 1975, pp. 3-35
In
Handlung, Kommunikation, Bedeutung, Georg Meggle Frankfurt/M. 1979

Lewis IV
David K. Lewis
Philosophical Papers Bd I New York Oxford 1983

Lewis V
David K. Lewis
Philosophical Papers Bd II New York Oxford 1986

Lewis VI
David K. Lewis
Convention. A Philosophical Study, Cambridge/MA 1969
German Edition:
Konventionen Berlin 1975

LewisCl
Clarence Irving Lewis
Collected Papers of Clarence Irving Lewis Stanford 1970

LewisCl I
Clarence Irving Lewis
Mind and the World Order: Outline of a Theory of Knowledge (Dover Books on Western Philosophy) 1991

Dialetheism Priest Field II 145
Dialethism/Priest/Paradoxa/Field: (Priest 1998): Thesis: the sentence of the liar as well as its negation are both assertable (and also their conjunction). The rules of the logic are weakened (> stronger/weaker; >strength of theories), so that not every assertion can be asserted by this. Most attractive variant: builds on Kleene's trivalent logic.
Trivalent logic/Kleene/Priest/Field: Priest assumes here that the valid inferences are those that guarantee "correct assertion". But an assertion is only correct if it has one of the two highest truth values in the truth value table.
Curry paradox: is thus excluded, since the only conditional in this language is the material conditional.
Material conditional/Field: the material conditional is defined by ~ and v. It does not fully support the modus ponens in the logic of Kleene/Priest.
Liar/KleeneVsPriest: (and other "deviant" sentences): have truth-value gaps. But there are no agglomerations of truth values.
Deviating Sentence: E.g. Liar sentence, has no truth-value agglomerations but truth-value gaps.
Liar/PriestVsKleene: (and other deviating sentences): have, conversely, truth-value agglomerations and no gaps.
Problem/Kleene: here one cannot establish an equivalence between "p" and "p" is true! For to assert a truth-value gap in a sentence "A" would be to assert: "~ [true ("A") v true ("~A")]" and this should be equivalent to "~ (A v ~ A)". But one sentence of this form can never be legitimate in Kleene.
Truth-value gap/logical form/Field: to assert a truth-value gap in a sentence "A" would mean to assert: "~ [true ("A") v true ("~ A")]" and this should be equivalent to "~ (A v ~ A)".
Solution/Priest: if "A" is a deviating sentence, this is then a correct assertion in Priest. Also the assertion of the absence of a truth-value agglomeration in a sentence "A" would be the assertion "~ [(true ("A") u true ("A)"]" which should be equivalent to "~(a u ~A)". Kleene cannot claim this absence for deviant sentences, Priest can do this.

Pries I
G. Priest
Beyond the Limits of Thought Oxford 2001


Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994
Entailment Prior I 139ff
Entailment/logical form/logic/entailment/Chisholm: if certain features of a situation are "requiring" that a particular reaction takes place, then this requirement can be overridden by other traits of this situation. So it may be that p requires that q, and p-and-r not require that q. - Although p-and-q includes (entails) that p.
>Consequence, >Inference, >Conditional, >Material Conditional,
>Material Implication, >Situations, >Contextuality.

Pri I
A. Prior
Objects of thought Oxford 1971

Pri II
Arthur N. Prior
Papers on Time and Tense 2nd Edition Oxford 2003

Excluded Middle Wessel I 296
Sentence of the conditional excluded middle/Wessel: the conditional (empirical) form can not be represented as a logical consequence relationship. - Most conditionals of this form are perceived as senseless and eliminated. >Conditional, >Material conditional, >Empiricism, >Contingency, >Necessity, cf. >Implication.
The s. e.g. middle is not a conditional tautology: empirically not always true.
>Tautologies.

Wessel I
H. Wessel
Logik Berlin 1999

Implication Field II 255
Material conditional/paradoxes of the material implication/Jackson/Field: best solution: (Jackson, 1979)(1): Thesis: Contraintuitive conclusions are unacceptable here: the conclusions cannot be asserted, but nevertheless true. >Acceptability, >Truth, >Conclusions.
There is a conventional implication for that if we assert "if A then B", not only the probability is high (A > B), but also the conditional probability P (A > B I A).
>Probability, >Probability conditionals.
N.B.: the demand that P (A > B I A) should be high is equivalent to the demand of the nonfactualist that P (B I A) is high.
>Nonfactualism.
"Surface logic": has to do with assertibility - "depth logic": says what is truth-maintaining.
>Assertibility, >Truth transfer.
II 256
Factualism: has then to distinguish between levels of total unacceptability (i.e., on the surface) and acceptability at a deep level. >Facts/Field.
Deflationism: in the same way the deflationism can distinguish between nonfactualism and factualism without using the terms "true" or "fact".
>Deflationism.
Factualism: the factualism does not accept any contraintive conclusions.
Nonfactualism: seems committed to it.

1.Frank Jackson, On Assertion and Indicative Conditionals. The Philosophical Review
Vol. 88, No. 4 (Oct., 1979), pp. 565-589

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Implication Russell I 15
Implication/Principia Mathematica(1)/Russell: is not a conclusion.
I 18
Conclusion: a proposition "p" is claimed, and a proposition "p implies q" is claimed. Then the proposition "q" is claimed as a consequence. >Conclusion, >Inference, >Proposition.
I 33
Formal implication/Principia Mathematica/Russell: E.g. "Socrates is a man" implies "Socrates is mortal"- here only the values that make the antecedent true are important. >Antecedent, >make true, >Material conditional.

1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press.

Russell I
B. Russell/A.N. Whitehead
Principia Mathematica Frankfurt 1986

Russell II
B. Russell
The ABC of Relativity, London 1958, 1969
German Edition:
Das ABC der Relativitätstheorie Frankfurt 1989

Russell IV
B. Russell
The Problems of Philosophy, Oxford 1912
German Edition:
Probleme der Philosophie Frankfurt 1967

Russell VI
B. Russell
"The Philosophy of Logical Atomism", in: B. Russell, Logic and KNowledge, ed. R. Ch. Marsh, London 1956, pp. 200-202
German Edition:
Die Philosophie des logischen Atomismus
In
Eigennamen, U. Wolf (Hg) Frankfurt 1993

Russell VII
B. Russell
On the Nature of Truth and Falsehood, in: B. Russell, The Problems of Philosophy, Oxford 1912 - Dt. "Wahrheit und Falschheit"
In
Wahrheitstheorien, G. Skirbekk (Hg) Frankfurt 1996

Logic Cresswell I 40
Logic/natural language/semantics/Cresswell: not every logic can be taken as the basis of semantics: difference Entailment/Consequence: in the natural language, "Monday follows Sunday" must not be taken as a consequence of "Snow is white" - (only formal, not correct content-wise). >Everyday language, >Material conditional, >Consequence.
I 42
Logic/Semantics/entailment/meaning postulates/Cresswell: E.g. meaning postulate: (x) (x is bachelor > x is male). - Then the conclusion of "roses are red" and "violets are blue" on roses and violets ..and snow is white" becomes valid. ((Vs). >Meaning postulates.
CresswellVsMeaning postulates: false alignment of entailment and consequence. Snow is not white in all possible worlds.
>Entailment.
Solution: possible world semantics.
>Possible world semantics
Difference between necessary and contingent truths.
>Necessity, >Contingency.
Quine/Cresswell : This seems to reject analytically/synthetically the distinction together with the distinction.
>Analyticity/syntheticity/Quine, >Necessity/Quine.

Cr I
M. J. Cresswell
Semantical Essays (Possible worlds and their rivals) Dordrecht Boston 1988

Cr II
M. J. Cresswell
Structured Meanings Cambridge Mass. 1984

Multi-valued Logic Field II 144
Three-valued logic/Kleene/Field: Def correct/Kleene: an assertion is correct only if it has the highest of the three truth values.
>Correctness.
Field: Problem: not all of Tarski’s biconditionals remain correct. Even e.g. "If A, then A" is not generally assertible. Therefore, the Kleene logic is weak.
>Stronger/weaker.
"If A then A" is not generally assertible -> Restall: "n-fold jump" ... + ...
II 145
Material conditional/Three-valued logic/Kleene/Field: the materal conditional is a conditional that has one of the two highest truth values. So the Curry paradox is impossible: "If this statement is true, then p".
>Material conditional, >Curry paradox.

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

Nonfactualism Adams Field II 255
Definition "surface logic"/material conditional/paradoxes of implication/Field: the surface logic tells us which conclusions are acceptable. (This is just the logic of Adams offered by nonfactualism). >Conditional/Adams, >Acceptability.
Def "depth logic"/material conditional/Field: the depths logic tells us which conclusions are truth maintaining. This is the standard logic for ">".
>Truth transfer.
Problem: does the depth logic do anything at all, even if our mental performance is explained by the surface logic?
Solution/Field: Perhaps one can say that at the deepest level classical logic prevails and the special conventions of the assertion only come later.
II 256
Factualism/Field: It must then distinguish between levels of total unacceptability (i.e., on the surface) and acceptability at a deep level (which only seems unacceptable by a superficial violation of the convention). Deflationism/Field: the deflationism between nonfactualism and factualism can be distinguished in the same way without using the terms "true" or "fact".
>Deflationalism.
Field II 256
Factualism/Conditional/Stalnaker/Field: (Stalnaker 1984)(1): (here, at first limited to non-embedded conditionals): here his approach provides the logic of Adams, i.e. Factualism is indistinguishable from nonfactualism in relation to which conclusions ("paradox of material implication") are considered correct. >Paradox of Implication.
Deflationism/Field: can he differentiate between nonfactualism and factualism?
One possibility is that if there are conditionals where the antecedent is logically and metaphysically possible, but not epistemically.
Nonfactualism: thesis: in epistemic impossibility of the anteceding of a conditional, there is no question of acceptability.
For the joke of conditionals consists in the assumption that their antecedents are possible epistemically.
N.B.: then all conditionals with epistemically unacceptable antecedents are equally acceptable.
FieldVsStalnaker: for him there is a fact due to which a conditional is true or false. And some conditionals with epistemically impossible antecedents will be true and others false!
Factualism/Deflationism/Field: the test of whether someone adheres to this type of factualism is then whether he takes acceptability of such conditionals seriously.


1. R. Stalnaker (1984). Inquiry. Cambridge University Press.


Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994
Truth Values Dummett I 11 f
Def Truth Value/Frege/Dummett: of the sentence: the reference - the (Fregean) " Bedeutung" ("meaning") of the sentence.
I 20f
Dummett: E.g. assuming the condition for true/Fals would be stated, but the two truth values ​​were only marked with A and B, then it would be impossible to figure out which one, A or B, stood for t. One would have to recognize at least in a sample sentence what weight the speakers assign to the assertoric statement of this sentence.
II 112
Def Non-designated Truth Value/Dummett: the way in which a sentence can be wrong. Def Designated truth value/Dummett: the way in which a sentence can be true - this is irrelevant for atomic sentences, only relevant for the way they contribute to a complex sentence - i.e. what the condition for an designated truth value for a composite sentence is.
The truth value of the whole sentence does not arise simply from the truth value of the sub-sentences - or the subsentences do not only contribute their own truth value - or if we had a meaning theory for the whole language, perhaps we might not be able to explain the meanings of the logical constants by verification of the subsentences. - (These are three formulations for the same fact). >Compositionality.

III (a) 20
Truth Value/Dummett: not by property of statements, but by behavior. - Compared to bet/command: requires: the antecedent lies in the power of the receiver:
II (a) 21
Gap: if the child does not go out, it cannot have forgotten the jacket. - "Unconditional command": = material conditional: here there is no gap.
III (a) 20
Meaning/Truth Value/Bet/Command/Dummett: There is an asymmetry: disobedience clearly leads to the right of disapproval - obedience does not lead to the right of reward (gap). Consequence: truth values are more likely to be extracted from bets (win/lose) than from command/behavior.
III (a) 28
Designated Truth Value/Dummett: true or conditional with false antecedent (EFQ, >ex falso quodlibet) Non-designated truth value: wrong or the object is nonexistent.
Validity/Multi-valued logic: valid in multi-value logic are the formulas that have a designated truth value for each allocation. >Multi-valued logic.

Dummett I
M. Dummett
The Origins of the Analytical Philosophy, London 1988
German Edition:
Ursprünge der analytischen Philosophie Frankfurt 1992

Dummett II
Michael Dummett
"What ist a Theory of Meaning?" (ii)
In
Truth and Meaning, G. Evans/J. McDowell Oxford 1976

Dummett III
M. Dummett
Wahrheit Stuttgart 1982

Dummett III (a)
Michael Dummett
"Truth" in: Proceedings of the Aristotelian Society 59 (1959) pp.141-162
In
Wahrheit, Michael Dummett Stuttgart 1982

Dummett III (b)
Michael Dummett
"Frege’s Distiction between Sense and Reference", in: M. Dummett, Truth and Other Enigmas, London 1978, pp. 116-144
In
Wahrheit, Stuttgart 1982

Dummett III (c)
Michael Dummett
"What is a Theory of Meaning?" in: S. Guttenplan (ed.) Mind and Language, Oxford 1975, pp. 97-138
In
Wahrheit, Michael Dummett Stuttgart 1982

Dummett III (d)
Michael Dummett
"Bringing About the Past" in: Philosophical Review 73 (1964) pp.338-359
In
Wahrheit, Michael Dummett Stuttgart 1982

Dummett III (e)
Michael Dummett
"Can Analytical Philosophy be Systematic, and Ought it to be?" in: Hegel-Studien, Beiheft 17 (1977) S. 305-326
In
Wahrheit, Michael Dummett Stuttgart 1982

Understanding Loar II 140
Understanding/Loar: Problem: knowledge of the truth conditions is not the same as knowledge of the material conditional "S is true iff p". >Truth conditions, >Material conditional.
Problem: propositions as entities?
>Propositions.

Loar I
B. Loar
Mind and Meaning Cambridge 1981

Loar II
Brian Loar
"Two Theories of Meaning"
In
Truth and Meaning, G. Evans/J. McDowell Oxford 1976


The author or concept searched is found in the following 3 controversies.
Disputed term/author/ism Author Vs Author
Entry
Reference
Kleene, St. C. Priest Vs Kleene, St. C. Field II 145
Dialethism/Priest/Paradoxes/Field: (Priest 1998): Thesis: the sentence of the liar and its negation are both assertible (and also their conjunction). The rules of logic are attenuated (>stronger/weaker; >strenght of theories), so that not every assertion is assertible. Most attractive variant: builds on Kleene's trivalent logic.
Trivalent Logic/Kleene/Priest/Field: Priest assumes here that the valid inferences are those that guarantee "correct assertion". But an assertion is only correct if it has one of the two highest truth values in the truth value table.
Curry Paradox: is thus precluded, because the only conditional in this language is the material conditional.
Material Conditional/Field: defined by ~ and v. In the logic of Kleene/Priest it does not entirely support the modus ponens.
Liar/KleeneVsPriest: (and other "deviating" sentences): have truth value gaps. But there are no truth value clusters.
Deviating Sentence: E.g. liar-sentence has no truth value clusters, but truth value gaps.
Liar/PriestVsKleene: (and other deviating sentences): conversely have truth value clusters and no gaps.
Problem/Kleene: here you cannot establish an equivalence between "p" and ""p"is true"! Because to assert a truth value gap in a sentence "A" would be to say: "~[true ("A") v true ("~A")]" and that should be equivalent to "~(A v ~A)", but a sentence of this form can never be legitimate in Kleene.
Truth Value Gap/Logical Form/Field: asserting a truth value gap in a sentence "A" would be to say: "~[true ("A") v true ("~A")]" and that should be equivalent to "~(A v ~A)".
Solution/Priest: if "A" is a deviating sentence, then it is a correct assertion as by Priest. The assertion of the absence of a truth value cluster in a sentence "A" would be the assertion "~ [(true ("A") and true ("~A)"]" which should be equivalent to "~(a u ~A)". Kleene cannot assert this absence for deviating sentences, Priest can.

Pries I
G. Priest
Beyond the Limits of Thought Oxford 2001

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field II
H. Field
Truth and the Absence of Fact Oxford New York 2001

Field III
H. Field
Science without numbers Princeton New Jersey 1980

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994
Modal Logic Quine Vs Modal Logic Chisholm II 185
QuineVsModal Logic: instead space time points as quadruples. Reason: permanent objects (continuants) seem to threaten the extensionality. SimonsVsQuine: the Achilles heel is that we must have doubts whether anyone could learn a language that refers not to permanent objects (continuants).
---
Lewis IV 32
QuineVsModal Logic: which properties are necessary or accidental, is then dependent on the description. Definition essentialism/Aristotle: essential qualities are not dependent on description.
QuineVs: that is as congenial as the whole modal logic.
LewisVsQuine: that really is congenial.
---
I 338
But modal logic has nothing to do with it. Here, totally impersonal. The modal logic, as we know it, begins with Clarence Lewis "A survey of Symbolic Logic" in 1918. His interpretation of the necessity that Carnap formulates even more sharply later is: Definition necessity/Carnap: A sentence that starts with "it is necessary that", is true if and only if the remaining sentence is analytic.
Quine provisionally useful, despite our reservations about analyticity.
---
I 339
(1) It is necessary that 9 > 4 it is then explained as follows:
(2) "9 > 4" is analytically.
It is questionable whether Lewis would ever have engaged in this matter, if not Russell and Whitehead (Frege following) had made the mistake, the philonic construction:
"If p then q" as "~ (p and ~ q)"
if they so designate this construction as a material implication instead of as a material conditional.
C.I.Lewis: protested and said that such a defined material implication must not only be true, but must also be analytical, if you wanted to consider it rightly as an "implication". This led to his concept of "strict implication".
Quine: It is best to view one "implies" and "is analytical" as general terms which are predicated by sentences by adding them predicatively to names (i.e. quotations) of sentences. Unlike "and", "not", "if so" which are not terms but operators.
Whitehead and Russell, who took the distinction between use and mention lightly, wrote "p implies q" (in the material sense) as it was with "If p, then q" (in the material sense) interchangeable.
---
I 339
Material implication "p implies q" not equal to "p > q" (>mention/>use) "implies" and "analytical" better most general terms than operators. Lewis did the same, he wrote "p strictly implies q" and explained it as "It is necessary that not (p and not q)". Hence it is that he developed a modal logic, in which "necessary" is sentence-related operator.
If we explain (1) in the form of (2), then the question is why we need modal logic at all.
---
I 340
An apparent advantage is the ability to quantify in modal positions. Because we know that we cannot quantify into quotes, and in (2) a quotation is used. This was also certainly Lewis' intention. But is it legitimate?
---
I 341
It is safe that (1) is true at any plausible interpretation and the following is false: (3) It is necessary that the number of planets > 4
Since 9 = the number of planets, we can conclude that the position of "9" in (1) is not purely indicative and the necessity operator is therefore opaque.
The recalcitrance of 9 is based on the fact that it can be specified in various ways, who lack the necessary equivalence. (E.g. as a number of planets, and the successor to the 8) so that at a specification various features follow necessarily (something "greater than 4 ") and not in the other.
Postulate: Whenever any of two sentences determines the object x clearly, the two sentences in question are necessary equivalent.
(4) If Fx and only x and Gx and exclusively x, it is necessary that (w)(Fw if and only if when Gw).
---
I 342
(This makes any sentence p to a necessary sentence) However, this postulate nullifies modal distinctions: because we can derive the validity of "It is necessary that p" that it plays no role which true sentence we use for "p".
Argument: "p" stands for any true sentence, y is any object, and x = y. Then what applies clearly is:
(5) (p and x = y) and exclusively x
as
(6) x = y and x exclusively
then we can conclude on the basis of (4) from (5) and (6):
(7) It is necessary that (w) (p and w = y) if and only if w = y)
However, the quantification in (7) implies in particular "(p and y = y) if and only if y = y" which in turn implies "p"; and so we conclude from (7) that it is necessary that p.
---
I 343
The modal logic systems by Barcan and Fitch allow absolute quantification in modal contexts. How such a theory can be interpreted without the disastrous assumption (4), is far from clear. ---
I 343
Modal Logic: Church/Frege: modal sentence = Proposition Church's system is structured differently: He restricts the quantification indirectly by reinterpreting variables and other symbols into modal positions. For him (as for Frege) a sentence designated then, to which a modal operator is superior, a proposition. The operator is a predicate that is applied to the proposition. If we treat the modalities like the propositional attitude before, then we could first (1) reinterpret
(8) [9 > 4] is necessary
(Brackets for class)
and attach the opacity of intensional abstraction.
One would therefore interpret propositions as that what is necessary and possible.
---
I 344
Then we could pursue the model from § 35 and try to reproduce the modality selectively transparent, by passing selectively from propositions to properties: (9) x (x > 4) is necessary in terms 9.
This is so far opposed to (8) as "9" here receives a purely designated position in one can quantify and in one can replace "9" by "the number of planets".
This seemed to be worth in the case of en, as we e.g. wanted to be able to say
(§ 31), there would be someone, of whom is believed, he was a spy (> II).
But in the case of modal expressions something very amazing comes out. The manner of speaking of a difference of necessary and contingent properties of an object.
E.g. One could say that mathematicians are necessarily rational and not necessarily two-legged, while cyclist are necessarily two-legged but not necessarily rational. But how can a bicycling mathematician be classified?
Insofar as we are talking purely indicatively of the object, it is not even suggestively useful to speak of some of its properties as a contingent and of others as necessary.
---
I 344
Properties/Quine: no necessary or contingent properties (VsModal Logic) only more or less important properties Of course, some of its properties are considered essential and others unimportant, some permanently and others temporary, but there are none which are necessary or contingent.
Curiously, exactly this distinction has philosophical tradition. It lives on in the terms "nature" and "accident". One attributes this distinction to Aristotle. (Probably some scholars are going to protest, but that is the penalty for attributing something to Aristotle.)
---
I 345
But however venerable this distinction may be, it certainly cannot be justified. And thus the construction (9) which carries out this distinction so elegantly, also fails. We cannot blame the analyticity the diverse infirmities of modality.
There is no alternative yet for (1) and (2) that at least sets us a little on something like modal logic. We can define
"P is necessary" as "P = ((x) (x = x))".
Whether (8) thereby becomes true, or whether it is at all in accordance with the equation of (1) and (2), will depend on how closely we construct the propositions in terms of their identity. They cannot be constructed so tightly that they are appropriate to the propositional properties.
But how particularly the definition may be, something will be the result that a modal logic without quantifiers is isomorphic.
---
VI 41
Abstract objects/modal logic/Putnam/Parsons: modal operators can save abstract objects. QuineVsModal Logic: instead quantification (postulating of objects) thus we streamline the truth functions. Modal logic/Putnam/Parsons/Quine: Putnam and Charles Parsons have shown how abstract objects can be saved in the recourse to possibility operators.
Quine: without modal operators:
  E.g. "Everything is such that unless it is a cat and eats spoiled fish, and it gets sick, will avoid fish in the future."
((s) logical form/(s): (x) ((Fx u Gx u Hx)> Vx).
Thus, the postulation of objects can streamline our only loosely binding truth functions, without us having to resort to modal operators.
---
VI 102
Necessity/opportunity/Quine: are insofar intensional, as they do not fit the substitutivity of identity. Again, vary between de re and de dicto. ---
VI 103
Counterfactual conditionals, unreal conditionals/Quine: are true, if their consequent follows logically from the antecedent in conjunction with background assumptions. Necessity/Quine: by sentence constellations, which are accepted by groups. (Goes beyond the individual sentence).
---
VI 104
QuineVsModal logic: its friends want to give the necessity an objective sense. ---
XI 52
QuineVsModal Logic/Lauener: it is not clear here on what objects we are referring to. ---
XI 53
Necessesity/Quine/Lauener: ("Three Grades of Modal Involvement"): 3 progressive usages: 1. as a predicate for names of sentences: E.g. "N "p"": "p is necessarily true". (N: = square, box). This is harmless, simply equate it with analyticity.
2. as an operator which extends to close sentence: E.g. "N p": "it is necessarily true that p"
3. as an operator, too, for open sentences: E.g. "N Fx": through existence generalization: "(Ex) N Fx".

Quine I
W.V.O. Quine
Word and Object, Cambridge/MA 1960
German Edition:
Wort und Gegenstand Stuttgart 1980

Quine II
W.V.O. Quine
Theories and Things, Cambridge/MA 1986
German Edition:
Theorien und Dinge Frankfurt 1985

Quine III
W.V.O. Quine
Methods of Logic, 4th edition Cambridge/MA 1982
German Edition:
Grundzüge der Logik Frankfurt 1978

Quine V
W.V.O. Quine
The Roots of Reference, La Salle/Illinois 1974
German Edition:
Die Wurzeln der Referenz Frankfurt 1989

Quine VI
W.V.O. Quine
Pursuit of Truth, Cambridge/MA 1992
German Edition:
Unterwegs zur Wahrheit Paderborn 1995

Quine VII
W.V.O. Quine
From a logical point of view Cambridge, Mass. 1953

Quine VII (a)
W. V. A. Quine
On what there is
In
From a Logical Point of View, Cambridge, MA 1953

Quine VII (b)
W. V. A. Quine
Two dogmas of empiricism
In
From a Logical Point of View, Cambridge, MA 1953

Quine VII (c)
W. V. A. Quine
The problem of meaning in linguistics
In
From a Logical Point of View, Cambridge, MA 1953

Quine VII (d)
W. V. A. Quine
Identity, ostension and hypostasis
In
From a Logical Point of View, Cambridge, MA 1953

Quine VII (e)
W. V. A. Quine
New foundations for mathematical logic
In
From a Logical Point of View, Cambridge, MA 1953

Quine VII (f)
W. V. A. Quine
Logic and the reification of universals
In
From a Logical Point of View, Cambridge, MA 1953

Quine VII (g)
W. V. A. Quine
Notes on the theory of reference
In
From a Logical Point of View, Cambridge, MA 1953

Quine VII (h)
W. V. A. Quine
Reference and modality
In
From a Logical Point of View, Cambridge, MA 1953

Quine VII (i)
W. V. A. Quine
Meaning and existential inference
In
From a Logical Point of View, Cambridge, MA 1953

Quine VIII
W.V.O. Quine
Designation and Existence, in: The Journal of Philosophy 36 (1939)
German Edition:
Bezeichnung und Referenz
In
Zur Philosophie der idealen Sprache, J. Sinnreich (Hg) München 1982

Quine IX
W.V.O. Quine
Set Theory and its Logic, Cambridge/MA 1963
German Edition:
Mengenlehre und ihre Logik Wiesbaden 1967

Quine X
W.V.O. Quine
The Philosophy of Logic, Cambridge/MA 1970, 1986
German Edition:
Philosophie der Logik Bamberg 2005

Quine XII
W.V.O. Quine
Ontological Relativity and Other Essays, New York 1969
German Edition:
Ontologische Relativität Frankfurt 2003

Quine XIII
Willard Van Orman Quine
Quiddities Cambridge/London 1987

Chisholm I
R. Chisholm
The First Person. Theory of Reference and Intentionality, Minneapolis 1981
German Edition:
Die erste Person Frankfurt 1992

Chisholm II
Roderick Chisholm

In
Philosophische Aufsäze zu Ehren von Roderick M. Ch, Marian David/Leopold Stubenberg Amsterdam 1986

Chisholm III
Roderick M. Chisholm
Theory of knowledge, Englewood Cliffs 1989
German Edition:
Erkenntnistheorie Graz 2004

Lewis I
David K. Lewis
Die Identität von Körper und Geist Frankfurt 1989

Lewis I (a)
David K. Lewis
An Argument for the Identity Theory, in: Journal of Philosophy 63 (1966)
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis I (b)
David K. Lewis
Psychophysical and Theoretical Identifications, in: Australasian Journal of Philosophy 50 (1972)
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis I (c)
David K. Lewis
Mad Pain and Martian Pain, Readings in Philosophy of Psychology, Vol. 1, Ned Block (ed.) Harvard University Press, 1980
In
Die Identität von Körper und Geist, Frankfurt/M. 1989

Lewis II
David K. Lewis
"Languages and Language", in: K. Gunderson (Ed.), Minnesota Studies in the Philosophy of Science, Vol. VII, Language, Mind, and Knowledge, Minneapolis 1975, pp. 3-35
In
Handlung, Kommunikation, Bedeutung, Georg Meggle Frankfurt/M. 1979

Lewis IV
David K. Lewis
Philosophical Papers Bd I New York Oxford 1983

Lewis V
David K. Lewis
Philosophical Papers Bd II New York Oxford 1986

Lewis VI
David K. Lewis
Convention. A Philosophical Study, Cambridge/MA 1969
German Edition:
Konventionen Berlin 1975

LewisCl
Clarence Irving Lewis
Collected Papers of Clarence Irving Lewis Stanford 1970

LewisCl I
Clarence Irving Lewis
Mind and the World Order: Outline of a Theory of Knowledge (Dover Books on Western Philosophy) 1991
Various Authors Jackson Vs Various Authors Field II 255
Material Conditional/Paradoxes of Material Implication/Jackson/Field: Best Solution: (Jackson 1979): Thesis: Counterintuitive conclusions are unacceptable here: Thesis: Although the conclusions are not assertible, they are nevertheless true. (Assertibility/Truth). Field: in explanation of non-assertibility the classical truth conditions do play a role, but not an indispensable one.
Conventional Implicature/Jackson: Thesis: there is a conventional implicature for that if we assert "if A then B" not only the probability P(A>B) is high, but also the conditioned probability P(A>BIA). A violation of this implicature would be very misleading. ((s) I.e., we assume that the premise is realized when we express a conditional).
Important Argument/Field: the requirement that P(A>BIA) should be high is equivalent to the demand of the non-factualist that P(BIA) is high.
Field: thus, Jackson arrives at the same assertibility conditions as non-factualism.
EdgingtonVsJackson/Field: (Edgington, 1986, standard objection): it seems that we do not not only assert things like E.g. Clinton/de Vito, but we actually do not believe them, too!.
JacksonVsEdgington/Field: would probably say that the conventional implicature makes it even inappropriate to even "assert it mentally". The perceived invalidity then consists in that these conclusions do not receive mental assertibility, although they received truth.
So we get both: surface and logic "deeper logic".

Jackson I
Frank C. Jackson
From Metaphysics to Ethics: A Defence of Conceptual Analysis Oxford 2000

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989

Field IV
Hartry Field
"Realism and Relativism", The Journal of Philosophy, 76 (1982), pp. 553-67
In
Theories of Truth, Paul Horwich Aldershot 1994

The author or concept searched is found in the following theses of the more related field of specialization.
Disputed term/author/ism Author
Entry
Reference
Material Conditional Jackson, F. Field II 255
material conditional / paradoxes of material implication / Jackson / Field: best solution: (Jackson 1979): counter-intuitive conclusions are unacceptable here: Although the conclusions are not assertible, but nevertheless true. (Assertibility / truth).

Field I
H. Field
Realism, Mathematics and Modality Oxford New York 1989