Logic and Philosophy of Logic
- All discussions (664)
- Paper discussions (135)
- In the profession (28)
- PhilJobs (6)
- About PhilPapers (177)
- 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 (42)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 / 39 2016-10-18Since 1998 I carry out independent research on the logic operators and in particular of "if then" and "if and only if then". Given my difficulty when a student, and the difficulties of my students to understand mainly the operator "if then" and the concepts of sufficient condition and necessary condition in it implicit, and given my passion for logic, neuroscience and psychology, I spent over 20 years researching how these concepts arise in reality, and how our minds create their abstract models.
The study of the 4 cards test of Peter Wason (1966), is an excellent didactic example to explain the logical infrastructure of sufficient condition, and always use with my students. But in spite of literary research, not having met a specimen, equally excellent in explaining the necessary condition, I started a thorough study on the issue that has led me not only to devise a new specific test for the necessary condition, but also to find out what I think is a millenary gap in on the o ... (read more)Latest replies:
- Fabrizio Ranzani, 2016-11-14 : please, if I wrote something wrong or unclear correct me, or ask me questions, if what I propose does not make sense let... (read more)
- Karl Pfeifer, 2016-11-15 : It looks like you’re no longer really after truthtables for conditionals in propositional logic, Fabrizio, but something... (read more)
- Fabrizio Ranzani, 2016-11-23 : .1 There is no ordinary language; there are people who do not know the language, so make it an intuitive functional ordi... (read more)
- Fabrizio Ranzani, 2016-12-07 : Hi everybody await your precious observations Fabrizio
- Piotr Grabowski, 2016-12-08 : My proposition to translate for ordinal language. By the way this could be definitio P | Q | if P then Q... (read more)
- 22 more ..
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)
This thread has been abusively deleted. The Philpapers Team offered me the opportunity to restore it.
"How many threads do you need to restore? Combining multiple posts into one would be a way to get around the limitation on 2 posts, and would also be less work for you. Since they were previously accepted, we'll make sure to accept them if you notify us ahead of time with the subject heading." The PhilPapers Team
1 Turing and the Myth of Universality
There is a strong, not to say absolute belief in the consistency of Turing's thesis, which can be, informally, expressed as such: what a computer can do, any other computer can.
Let us start with the simplest expression of all:
It will be obvious to anyone that any computer worth its silicone, or any other material substrate, will be able to compute (1).
What does that say about universal computing?
Well, that's just it, really. It does not say anything at all. All it shows is that, once the problem has been solved, or at least, put ... (read more)Latest replies:
- Robert Kolker, 2016-07-12 : You mentioned Wile's proof was indirect. The only way to prove a negative proposition is by indirection.  ... (read more)
- Hachem El Ouggouti, 2016-07-12 : __The proof of √2__ Thank you for your comment. It compelled me to make explicit thoughts that were only vaguely present... (read more)
- Mradulla Kumari Patel, 2016-07-19 : What are factors? I still think they are nectarines. And that is not some thought out lyrics by recently deceased David... (read more)
2016-05-13Could anyone explain the difference between being part and being member (if any)? References to existing literature are welcome.Latest replies:
- "Tami" "Williams", 2016-06-01 : I am new here and a psychologist, which has of course foundations in philosophy as everything does, but I'm a nubie... (read more)
- Robert Kolker, 2016-06-01 : A collection is a gathering or grouping of entities based on a common property. The -members- of the collect... (read more)
- David Ozonoff, 2016-06-03 : "John" is a Proper Name for the person picked out by the Definite Description, "the leader of the team."
- "Tami" "Williams", 2016-06-06 : I want to add that in the overlap of those Venn diagrams (overlapping wholes with the organismic integrity that GOD gave... (read more)
- Duncan McGibbon, 2016-06-07 : In Jaakkola's reply to Marchesi, logic shows a state of affairs as described by a model, M of which P, its predicate... (read more)
- 18 more ..
2016-03-29The challenge is very simple: Give a full and explicit proof of the existence of Infinity.There is only one restriction: it is not allowed to refer to "proofs" already known. If you believe Cantor has proved Infinity, you cannot just refer to his work, but have to state explicitly what and how you think he has proved it.
I wish you luck.Latest replies:
- Hachem El Ouggouti, 2016-06-08 : I am afraid it is not good enough. I would have no problem with the idea that mathematical infinity is a mere axiom beca... (read more)
- Reijo Iisak Jaakkola, 2016-06-09 : Well, I must admit I'm not too familiar with the original ideas of Cantor and Dedekind. But I should note that "... (read more)
- Hachem El Ouggouti, 2016-06-13 : _ The Liar Paradox (and other beasties) _ _ Set Theory: Mathematics or Metaphysics? _ _ _
- Andrew Wutke, 2016-09-23 : Give a full and explicit proof of the existence of Infinity. The infinity cannot be proven as it is has to be defined so... (read more)
- "Tami" "Williams", 2016-09-23 : So, simply, what you are saying without reiterating all of the statements above is, that since zero is something that is... (read more)
- 10 more ..
2016-03-22[The idea is to start with a concrete situation, like a mother preparing a meal for an extended family, and discovering numbers in their different form: natural, whole, negative, rational (including radicals), real, imaginary, complex, etc...
Mother is of course an archetype and can include many generations of mothers. There are 12 family members and, to make things simpler, they all eat the same amount of food. Some kind of grain.]
1) Mother knows how much grain she needs to cook for all of them. She just keeps taking handfuls of grain and putting them in the cooking pan until she is satisfied that it will be enough. She has no way of knowing or naming exact quantities. Her experience as a cook is sufficient for the task. She can also enumerate each family member by name, including herself, while grabbing grain, since she also knows how much each member approximately eats. To be sure she does not forget anyone, or count somebody twice, she starts with Father, then herself, and then with ... (read more)Latest replies:
- Hachem El Ouggouti, 2016-03-29 : __Hilbert and Bernays__ in "Grundlagen der Mathematik" try their hand at a reconstruction of numbers. Their ap... (read more)
- Hachem El Ouggouti, 2016-03-29 : __Mathematics as Blind Empiricism__ The fact that numerals are numbers, that is, the fact that they represent quantities... (read more)
- Hachem El Ouggouti, 2016-03-29 : __Numerals and Numbers ____ __(_"_Lilawati; or a Treatise on Arithmetic and Geometry" by Bhascara Acharya... (read more)
- Hachem El Ouggouti, 2016-03-29 : __Numerals and Numbers (2)__ Maybe even simple numerals like 1 and 2 should be considered not as (merely) representing q... (read more)
Set Theory is believed to be the foundation of Mathematics, the theory from which everything mathematical would be deduced. It sounds like a metaphysical prejudice to my ears: how could a mathematical theory ever found mathematics? What would then found Set Theory itself? Its axioms? They are all of a mathematical nature, so that would not work. We would need non-mathematical axioms to found Set Theory, before it ever could found Mathematics. Is that even possible? This is what I intend to research in this thread. But please, bear with me, there is no royal road to the foundation of the foundation of Mathematics. If there even exists such a thing.
Axiom of Choice and Well-Ordering Principle
The universal consensus is that WOP relies on AC. I have the strong impression that it is in fact the other way around.
When I look at the incredibly complicated "proof that every set can be well-ordered" by Zermelo (1904), I cannot escape the feeling that he would not be ab ... (read more)Latest replies:
- Hachem El Ouggouti, 2016-04-08 : __The Pairing Axiom or the Fallacy of Ordering__ Mathematicians have always dreamed of _Syntactic Independence_ for thei... (read more)
- Hachem El Ouggouti, 2016-04-11 : I think that you have made my point better that I ever could. Thank you.&Regarding my competence, I certainly cannot cla... (read more)
- Hachem El Ouggouti, 2016-04-11 : __Numbers and Proofs in Set Theory__ Here is an interesting sample presented to us by Derek Goldrei in "Classic Set... (read more)
- Hachem El Ouggouti, 2016-04-11 : __I ♥ Contradictions__ _"Why, sometimes I've believed as many as six impossible things before breakfa... (read more)
- Hachem El Ouggouti, 2016-04-11 : __The Axiom of Extensionality and the Fallacy of Intentionality__ The Axiom of Extensionality is always presented as the... (read more)
- 41 more ..
2015-12-22Reference and Self-Reference
The philosophical theme of reference is no doubt a wide and deep ocean. My attempts at presenting a new perspective on the subject can certainly not be considered as the final word on the subject. [see my thread Truth and Necessity]. Reading Quine "The Ways of Paradox" (1966), I realized that my (Strawsonian) conception that language does not refer poses special problems when the objects of reference are themselves linguistic elements. As Juergen Habermas would say, (natural) language is its own metalanguage, and just like our mind, seems to be able to look upon itself.
Self-reference is not only the source of many antinomies, it could mean the negation of my analysis as a whole: if language does not refer, how could it ever self-refer? My aim is quite simple. I will try to show that self-reference is not possible. The line of argumentation is easy to follow: no self-reference without reference. And since reference is not a linguistic property but an action un ... (read more)Latest replies:
- Hachem El Ouggouti, 2016-02-09 : __Cantor's Logic (10) The Fundamental Series contained in a Transfinite Ordered Aggregate__ I found the following po... (read more)
- Hachem El Ouggouti, 2016-02-09 : __Cantor's Logic (11) The Ordinal Type theta of the Linear Continuum X__ [I will use T for theta] __The Continuum or... (read more)
- Hachem El Ouggouti, 2016-02-09 : __Cantor's Logic (16.0) The Power of the Second Number-Class is equal to the Second Greatest Transfinite Cardinal Nu... (read more)
- Hachem El Ouggouti, 2016-02-09 : __Cantor's Logic (16.1) The Power of the Second Number-Class is equal to the Second Greatest Transfinite Cardinal Nu... (read more)
- Mradulla Kumari Patel, 2016-07-18 : How much does positivity influence good natural satisfying philosophy? That is every discipline is a training for... (read more)
- 70 more ..
2015-12-21Reijo Iisak Jaakkola
University of TampereWhat is your opinion about the IF-logic? Jaakko Hintikka has claimed, that it should replace FOL, and I can see reasons for that. The main reason for that is, in my opinion, that IFL allows us to use such combinations of quantifiers, that FOL doesn't allow. The greater expressive power of IFL is brought by the use of signaling prefixes and Henkin's prefixes. The main idea is, that IFL allows independence of quantifiers, which is completly natural idea. Actually it seems to be less natural to not allow different sorts of combinations of dependences between quantifiers.
What is your opinion about this?Latest replies:
- R. Dustin Wehr, 2016-01-05 : I think there's a mostly-non-effective definition of "should replace" for which many logicians would agree... (read more)
- Reijo Iisak Jaakkola, 2016-01-06 : But hasn't Hintikka tried to sold his and Sandu's logic by refering to a better expressive power? Of course they... (read more)
- R. Dustin Wehr, 2016-01-12 : I need to modify my previous response. I'd forgotten that the valid sentences, according to the standard semantics o... (read more)
2015-12-21Mradulla Kumari Patel
Far Eastern VaishnavLogic covers vast areas of philosophy. It would be unfair to say mind is only a fraction of logic, empirically, the mind is causal. Immanuel Kant says in his 'Critique of Practical Reason' it is a priori and causal. Unfortunately he could not back this argument. Dummet's equation can be cracked by logic, if it is given, in rational terms. Logic given a priori, in empirical application is therefore causal.
International Institute of Informatics and Systemics
To those interested in the philosophy of logic:
If everything goes right 2017 should see the release of a first of its kind book, Philosophical Perceptions on Logic and Order by IGI Global publishers (http://www.igi-global.com/), a set of readings to accompany material presented in mainly introduction to logic courses, but also to those interested in the subject generally.
This work is being prepared based on my observation that students in logic courses, as well as many instructors teaching them, are clueless about the central philosophies driving the discipline. The generally prevailing view is “this is the way it is”, referring to the systems and methods of thinking in the course. These are mechanistically presented as the way of describing the world. After being told about what logically supposedly is, they are told that observations about their environment are put into relationships called “arguments”, where an emerging statement can be evaluated as to it having a ... (read more)
2015-11-30A proposition is said to be necessarily true if it is true in all possible worlds.
I would not know how to refute such an affirmation but I do wonder whether that proves the existence of any necessarily true proposition. After all, is it not possible that there are no such propositions for the simple reason that we could always imagine a world where a proposition, true in all others, would then be false?
Let us take a very likely candidate to modal necessity, the proposition "a=a". Can we imagine a world where that would not be true?
Even Alice's world, with all its indifference to logic rules would seem to sustain this inexorable truth: a thing is equal to itself, for however long it exists in one and the same state. Changing the subject from 'thing' to 'state' does not alter this necessity.
Still, imagine a world where, just like within the core of a living star, or even better, the condensed matter right before the Big Bang, or in a Black Hole, all things are in perpetual change from on ... (read more)Latest replies:
- Hachem El Ouggouti, 2016-04-06 : I think you are simply describing the usual scientific procedure of hypotheses and experimentation. You are understandin... (read more)
- Bryan Maloney, 2016-04-07 : You can certainly say you have more confidence in one than the other. The Kripkean approach strikes me as a form of inte... (read more)
- Hachem El Ouggouti, 2016-04-08 : see http://philpapers.org/post/14698, "The arrogance of modern scientists and mathematicians in"_ Set The... (read more)
- Mark Titus, 2016-04-08 : I think you should take it a little easy. After all, there is Socrates and Plato's Apology, Crito, and Phaedo (not t... (read more)
- Bryan Maloney, 2016-04-26 : I almost had a double major as an undergraduate. I got my degree in biology. Care to guess what my other degree would ha... (read more)
- 40 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)
1 - 20 / 39loading ..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 Tue May 30 07:05:57 2017 on pp1