Philosophy of Mathematics
- All discussions (665)
- Paper discussions (135)
- In the profession (28)
- PhilJobs (6)
- About PhilPapers (178)
- Philosophy discussions (459)
- Epistemology (65)Metaphilosophy (30)Metaphysics (44)Philosophy of Action (23)Philosophy of Language (44)Philosophy of Mind (141)Philosophy of Religion (17)M&E, Misc (6)Value Theory (97)
- Aesthetics (12)Applied Ethics (25)Meta-Ethics (23)Normative Ethics (25)Philosophy of Gender, Race, and Sexuality (14)Philosophy of Law (4)Social and Political Philosophy (41)Value Theory, Miscellaneous (64)
- Logic and Philosophy of Logic (39)Philosophy of Biology (18)Philosophy of Cognitive Science (43)Philosophy of Computing and Information (8)Philosophy of Mathematics (39)Philosophy of Physical Science (14)Philosophy of Social Science (11)Philosophy of Probability (6)General Philosophy of Science (39)Philosophy of Science, Misc (7)
- Ancient Greek and Roman Philosophy (11)Medieval and Renaissance Philosophy (1)17th/18th Century Philosophy (11)19th Century Philosophy (6)20th Century Philosophy (20)History of Western Philosophy, Misc (4)
- African/Africana Philosophy (2)Asian Philosophy (9)Continental Philosophy (12)European Philosophy (24)Philosophy of the Americas (4)Philosophical Traditions, Miscellaneous (3)Philosophy, Misc (14)
- Philosophy, Introductions and Anthologies (2)Philosophy, General Works (4)Teaching Philosophy (1)Philosophy, Miscellaneous (8)Other Academic Areas (20)
- Natural Sciences (2)Social Sciences (1)Cognitive Sciences (9)Formal Sciences (1)
1 - 20 / 21 2016-10-05Chenguang Lu
independent researcherSome words in my paper:
T(hj|ei)--fuzzy truth function of a predicate hj.
T(hj)--logical probability or average thue-value of a predicate hj.
Popper defined Testing severity and Verisimilitude (1963/2005, 526, 534). Since Logical Probability and Statistical Probability are not well distinguished by him, his definitions are not satisfactory. The author suggests defining log [1/T(hj)] as testing severity, and T(hj|ei)/T(hj) as verisimilitude. In terms of Likelihood method, P(ei| hi is true)/P(ei) =T(hj|ei)/T(hj) is also called standard likelihood. So, we may say Semantic information = log (Standard likelihood) = log (Verisimilitude)=Testing severity - Relative deviation
If negative verisimilitude for lies or wrong predictions is expected, one may also define verisimilitude by log [T(hj|ei)/T(hj)].
The figure 8 in the paper shows how positive and negative degrees of believe affect thruthlikeness.Latest replies:
- Chenguang Lu, 2016-10-07 : Logical probability T(hj)=sum i P(xi)T(hj|ei).1/ T(hj) indicates Fallibi lity
- Eray Ozkural, 2017-01-16 : Don't worry about anything Popper said. As far as epistemology goes, his work may be considered pseudoscience. Bette... (read more)
- Aleksandra Samonek, 2017-03-17 : Chenguang Lu, since Popper's original two proposals for defining verisimilitude a lot has been written on the topic... (read more)
John Corcoran and Leonardo Weber
TCTCB PUBLISHED VERSION
HISTORICAL NOTE: This paper is the culmination of a years-long joint effort by the two authors. A preliminary report appeared in 2013: Corcoran-Weber, Bulletin of Symbolic Logic, 19 (2013) 510–11. Their co-operative work was conducted by email dialogue in which each author’s work was developed and corrected by the other. Each section went through several iterations. The final version was the result of dozens of reciprocal exchanges; it is impossible to allocate credit. Each author learned from and taught the other. During this time they consulted several other scholars including the Tarski experts David Hitchcock, James Smith, and Albert Visser.
The senior author expresses his deep gratitude to the junior author. Moreover the senior author acknowledges publicly what he has already said privately, viz. that without the junior author’s help and mastery of ... (read more)
2015-02-07REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications.
2015-01-30Some of the entries have already been found to be flawed. For example, Tarski’s expression ‘materially adequate’ was misinterpreted in at least one article and it was misused in another where ‘materially correct’ should have been used. This “session” provides an opportunity to bring more flaws to light.
2015-01-28I am trying to start a discussion for teaching INSEPARABILITY OF LOGIC AND ETHICS. A COLLEAGUE WROTE: I'm going to be teaching your "Inseparability of Logic and Ethics" in a couple weeks. I was wondering if you had any tips on doing so or thoughts about points to emphasize. I've always loved the paper and found your pedagogical techniques quite helpful.
POST YOUR ADVICE AND I WILL FORWARD IT .
MY ADVICE TO MY COLLEAGUE: First, before assigning the paper to be read, ask the students to look up “ethics” and “logic” in a dictionary or other reference work and then to write a paragraph on what the two have to do with each other. Second, after the students were supposed to have read the paper, ask them what they got out of it. Just let them talk and prompt them where necessary. No contentiousness. Third, read the first page aloud to them and see what happens. As you go read chunks aloud and ask questions—just like I did teaching you Tarski’s truth-definition paper. Fourth, go around the clas ... (read more)
Corcoran’s 2009 ARISTOTLE’S DEMONSTRATIVE LOGIC deals decisively with several issues that had previously been handled by vague speculation and dogmatic pontification if at all. One possible example: Corcoran [2009, p. 13] proves conclusively that the imperfect syllogisms Baroco and Bocardo—which Aristotle completed indirectly [by reductio-ad-impossible]—cannot be completed directly. More generally, Corcoran shows that no valid premise-conclusion argument, regardless of the number of premises, having an existential negative [“particular negative” or “O-proposition”] as a premise can be completed using a direct deduction—assuming of course that no premises are redundant and that the conclusion is not among the premises. To be clear this means that for no such argument is it possible to deduce the conclusion from the premises without using reductio.
This result, called the EXISTENTIAL-NEGATIVE EXCLUSION [ENE], was circulated informally by Corcoran much earlier but it seem ... (read more)
JOHN CORCORAN AND HASSAN MASOUD, Three-logical-theories redux.
The 1969 paper, “Three logical theories” , considers three logical systems all based on the same interpreted language and having the same semantics.
The first, a logistic system LS, codifies tautologies (logical truths)—using tautological axioms and tautology-preserving rules that are not required to be consequence-preserving.
The second, a consequence system CS, codifies valid premise-conclusion arguments—using tautological axioms and consequence-preserving rules that are not required to be cogency-preserving . A rule is cogency-preserving if in every application the conclusion is known to follow from its premises if the premises are all known to follow from their premises.
The third, a deductive system DS, codifies deductions, or cogent argumentations —using cogency-preserving rules. The derivations in a DS represent deduction: the process by which conclusions are deduced from premises, i. e. the way knowl ... (read more)
JOHN CORCORAN, Two-method errors.
Where there are two or more methods for the same thing, sometimes errors occur if two are mixed. Two-method errors, TMEs, occur in technical contexts but they occur more frequently in non-technical writing. Examples of both are cited.
We can say “Abe knows whether Ben draws” in two other ways: ‘Abe knows whether or not Ben draws’ or ‘Abe knows whether Ben draws or not’. But a TME occurs in ‘Abe knows whether or not Ben draws or not’.
We can say “Abe knows how Ben looks” using ‘Abe knows what Ben looks like’. But a TME occurs in ‘Abe knows what Ben looks’ and also in ‘Abe knows how Ben looks like’. Again, we can deny that Abe knows Ben by prefixing ‘It isn’t that’ or by interpolating ‘doesn’t’. But a TME occurs in trying to deny that Abe knows Ben by using ‘It isn’t that Abe doesn’t know Ben’.
There are two standard ways of defining truth for first-order languages: using finite sequences or infinite sequences. Quine’s discussion in the 1970 first ... (read more)
This applied-logic lecture builds on  arguing that character traits fostered by logic serve clarity and understanding in ethics, confirming hopeful views of Alfred Tarski [2, Preface, and personal communication].
Hypotheses in one strict usage are propositions not known to be true and not known to be false or—more loosely—propositions so considered for discussion purposes [1, p. 38].
Logic studies hypotheses by determining their implications (propositions they imply) and their implicants (propositions that imply them). Logic also studies hypotheses by seeing how variations affect implications and implicants. People versed in logical methods are more inclined to enjoy working with hypotheses and less inclined to dismiss them or to accept them without sufficient evidence.
Cosmic Justice Hypotheses (CJHs), such as “in the fullness of time every act will be rewarded or punished in exact proportion to its goodness or badness ... (read more)
Brown UniversityHi Jack,
Nice paper!. However, if I may, I wasn't convinced by your response to objection five. The objection, I take it, is that the intuitions you are marshaling about incoherence derive from a non-moral standpoint, that is, they are intuitions that arise when one is doing metaethics and not when one is actually moralizing. And it seems undeniable that Moore paradoxical sentences are straightforwardly bizarre when uttered by persons in the context of actual moralizing (just imagine actually having the relevant conversation). At the outset of your paper, you correctly note that expressivism is a theory about actual moralizing, so it seems like this is one objection to which you should be very sensitive. You respond:
This is not really a rejection of C3, but a rejection of C1, since it admits that it is not always the case that affective or conative attitudes are expressed by moral assertions. If non-cognitive mental states are only sometimes expressed by moral assertions, then the clai ... (read more)
2013-07-11Your article is very interesting.
In the same spirit I propose a more modal formalism to speak about "true announcements" and "learning" : http://philpapers.org/rec/MARFPS
This representation allow to make the difference between a world before and after the learning act. Then it becomes easier to deal with expression about knowledge and learning.
Your work is technically very interesting neverthless I have some remarks.
1/ I don't always understand the claim that the Fitch Paradox threatens Anti-Realist philosophy.
If everybody accepts the Knowability Principle restricted to basic propositions,
it sounds more like a victory than a defeat for the knowability advocates.
It seems that what is threatened is more the capacity of modal logic to represent the knowability.
2/ In your intuitionistic frame, as you say in proposition 5.8, it is impossible to have 'A' and 'not K A' in the same world.
So the Fitch Paradox is avoided but the result is a very poor epistemic logic where you cannot express that some truths are unknown.
3/ more technically in the figure below the proposition 5.7
I don't understand what happens in the world y.
You have y Rk y ; y Rk z ; y: p ; z: not p
but you have not 'y: not K p' .
Does it stand that 'y: not not K p' ?
It is very counterintuitive.
Else I wrote a dissertation on these points.
I have published a - maybe insufi ... (read more)
2012-02-14notation : I use ! for 'not'
Perhaps you can avoid paradox but you have to admit this very strange proposition :
K !K x -> !P K x
If you know that you ignore (x) it's impossible that you know (x)
I don't see how it could be compatible with the knowability principle :
x -> P K x
else you can't have
(x) and (K !K x)
(excuse me if this message is out of place, I ignore the policy of tis forum,
excuse also my probable mistakes in english)
University of Toronto at Scarborough
University of TorontoThis is awesome. Tractatus power!Latest replies:
- Florence Historienne Du Dictionnaire Et De L'Alphabet, 2016-02-22 : Very interesting information. I was not informed. These first elements provided leads me to widen the subject.
Universidade Federal do Rio de JaneiroWhen we say that "P" is possible iff there is a possible world where "P" is true, we can continue and say that there is a possible world where "P" is true iff "A" is true, and "A" is not something about a non-actual possible world. Such an approach would allow us to use the vocabulary of possible worlds, while sustaining an agnostic or an anti-realist position about the the existence of non-actual possible worlds. Can such a reductive approach to possible worlds solve the problem of ontological commitmentt to the existence of non-actual possible worlds? And what do you think that "A" must be as non-actual possible worlds dont get implicated?
2009-05-27Cross-posted from http://mleseminar.wordpress.com/
We thought a bit about cases in which ‘could’ and ‘might’ come apart. In the paper, Antony discussed sentences like
33b) If we’d left the gate open, the dog could have got out; yet if we’d left the gate open, it isn’t the case that the dog might have got out.
The felicity of such sentences seems to show that at least some ‘might’ counterfactuals shouldn’t be analysed in terms of ‘could’, but instead should be given an epistemic reading. Antony isn’t averse to this idea – in fact, his final view is that ‘might’ is ambiguous in counterfactual contexts between the epistemic reading and the ability reading. However, this does invite the further question of what determines the appropriate reading for some given ‘might’ counterfactual.
Fron 33b we naturally conclude though the dog has the ability to get out, it is ... (read more)
I found this a particularly interesting paper. I’m in firm agreement with the main gist of Williams’ view- that the notion of typicality is in principle better adapted to deal with chancy similarity than the notion of ‘non-remarkableness’. That said, we found plenty of potential pressure points.
- Firstly, I’m not sure that quantum mechanics really has as wide-reaching consequences as is assumed in the paper. Depending on your response to the measurement problem, it could be that outcomes such as plates flying off sideways are not genuine quantum possibilities after all, because the low-amplitude branches are in some way ‘lost in the noise’. Although I think this issue is worth further investigation, I don’t think it’s critical to the debate between Williams, Hawthorne, and Lewis. Their worries can be raised about considerably less unlikely events – in fact, we can restrict ... (read more)
2009-05-15Cross-posted from http://mleseminar.wordpress.com/
You can find the handout for this week here. I thought this was a really good paper, and we didn’t find all that much to criticise in it. It was a bit frustrating not to hear more about Fitelson’s positive story, in particular about the bridge principle that he would endorse instead of the various versions of RTE that he criticises. He’s clearly saving the juicy stuff for his book.
In particular, I find it hard to see how he plans to steer a middle ground between the Carnap/Williamson-style ‘a priori priors’ version of objective bayesianism, and the subjective bayesian approach. My naive take on the matter is that you either think that there’s a unique correct set of priors or you don’t. Maybe these priors aren’t a priori knowable (contra the Carnap/Williamson approach), although it seems that a position like this would be committed to complete epistemic rationality being in principle unattainable.
I wasn’t sure how strongly Fitelson m ... (read more)
2009-05-15Cross-posted from http://mleseminar.wordpress.com/
This week we discussed Cian Dorr’s ‘There are no abstract objects’, which isn’t currently available online, but is in ‘Contemporary Debates in Metaphysics’. Here’s the handout instead.
As we had Cian on the spot for this meeting, the discussion mostly took a question-and-answer format. So here are what I recorded of some questions and some answers, with a few that I didn’t get time to ask thrown in at the end. Apologies if my paraphrases of Cian's answers misrepresent him!
Q: What about people who would resist the paraphrase strategy (p.37) because they think that counterpossibles are all vacuously true (Williamson takes this line in The Philosophy of Philosophy).
A: Nominalism/anti-nominalism are both contingent theses. But even if you think that nominalism is necessary if true, there will be certain kinds of truths like ‘there are possibly some things with a number-like structure’ which can be used to ground the relevant counterfactua ... (read more)
2009-05-15Cross-posted from http://mleseminar.wordpress.com/
Boris Kment - Counterfactuals and Explanation
Kment's main proposal is that match of matters of particular fact should be relevant to closeness of two worlds for the purposes of evaluating counterfactuals if and only if the matters of fact have the same explanation in both worlds. Secondarily, he proposes that we should allow for laws to have exceptions, and hence that all worlds which share the same laws as ours should be closer to actuality than any world with different laws.
We quite liked the main proposal, but worried about the individuation of explanations it relies upon. What are the conditions for two events to have the same explanation? For example, consider the counterfactual 'if I had tossed the coin five minutes earlier, it would still have come up heads'. This seems false, but perhaps Kment can account for this falsity by sayi ... (read more)
1 - 20 / 21loading ..Home | New books and articles | Bibliographies | Philosophy journals | Discussions | Article Index | About PhilPapers | API | Contact us
terms & conditions for details regarding the privacy implications).
Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Page generated Wed Oct 18 05:15:52 2017 on pp1