Science, Logic, and Mathematics


Search forums
Subscribe to this forum      feed for this page

 1 - 20 / 112 
Reference 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: Permanent link: Reply

What 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: Permanent link: Reply

Logic 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.


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 (, 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)

A 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: Permanent link: Reply

I'm a student learning about both Cognitive Science and Artificial Intelligence. A lot of theories about the cognitive processing of the mind are used as inspiration for models in AI. This got me thinking: is the scenario of AI taking over the world possible? Our intelligence is very complex, and I believe it has co-evolved with ethics and self-consciousness, leading me to believe these too would be characteristics if AI were ever created. This is a rudimentary blog I've written, but I'd definitely like feedback on what you guys think. This will help me evolve my argument and learn as well!
Link to blog:
Latest replies: Permanent link: Reply

I have written a short paper on an issue that I have not come across before. In it I attempt to argue that light waves are an opaque barrier between the eye of the observer and the objective world. And, that light waves prevent direct knowledge of objects in the world. I would be grateful for criticism and responses. Bert

Latest replies: Permanent link: Reply

What kind of academic inquiry can best help humanity make progress towards as good a world as possible?  Why are philosophers apparently so uninterested in this question?  Is it because most believe the kind of academic inquiry we have today, devoted primarily to the pursuit of knoweldge and technological know-how, is the best that we can have, judged from the perspective of helping humanity make progress towards a better world?  Why are philosophers apparently so uninterested in arguments which seem to show decisively that inquiry restricted to the pursuit of knowledge is both profoundly irrational, and a menace?  The successful pursuit of knowledge and technological know-how, dissociated from a more fundamental concern to help humanity resolve conflicts and problems of living in increasingly cooperatively rational ways, is almost bound to lead to trouble.  Scientific knowledge and technological know-how enormously increase our power to act - for some of us at ... (read more)
Latest replies: Permanent link: Reply

If you come across this paper while researching philosophy of love, you should watch this:
Latest replies: Permanent link: Reply


Tarski’s convention T: condition beta. South American Journal of Logic. 1, 3–32.

John Corcoran and Leonardo Weber


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)

If you have any questions or comments on "The Zygote Argument is Invalid", I would enjoy discussing them on this thread!

Sorry for my very poor English but I will try to explain what going on in my mind.
What if we are same soul?I mean what if i and you is same so I ask you question and by answering me i am actually answer my self !
To prove my thuory imagine that you spliced into two parts, one part contain a: half brain, heart, stomach and every member of your body.. The other part contain half brain and an artificial members that makes you alive
My question is .. Where are you? Which one is you if  part(1) wakeup and looked at part(2) did that means part(2) know what part(1) thinking? Of Course no! But this bodies are you.
The same story applies to every life from human to alian.

Latest replies: Permanent link: Reply

REQUEST: Please send errors, omissions, and suggestions. I am especially interested in citations made in non-English publications.

Some 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.


Acknowledgements: Each of these entries was presented at meetings of The Buffalo Logic Dictionary Project sponsored by The Buffalo Logic Colloquium. The members of the colloquium read drafts before the meetings and were generous with corrections, objections, and suggestions. Usually one 90-minute meeting was devoted to one entry although in some cases, for example, “axiomatic method”, took more than one meeting. Moreover, about half of the entries are rewrites of similarly named entries in the 1995 first edition.

I 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.
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)

This seems a simple mistake, and it should consequently be simple to rectify it. 

In particular, since the bulk of the translation was done by G.E.M. Anscombe in 1958, and the front page of the fourth edition states "The German text, with an English translation by G.E.M. Anscombe, P.M.S. Hacker and Joachim Schulte", Anscombe should be appropriately credited. 


JOHN CORCORAN AND HASSAN MASOUD, Three-logical-theories redux.

  The 1969 paper, “Three logical theories” [1], 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 [2]. 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 [2]—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)


► JOHN CORCORAN AND WILLIAM FRANK, Cosmic Justice Hypotheses.

  This applied-logic lecture builds on [1] 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 / 112