Hypertext

This subject is featured in the Outline of logic, which is incomplete and needs further development. That page, along with the other outlines on Wikipedia, is part of Wikipedia's Outline of Knowledge, which also serves as the table of contents or site map of Wikipedia.

This is a discussion page for issues arising from the organization, content and policies of WikiProject Logic. For discussion and questions about particular topics in logic please use the talk page of the article corresponding to that topic.

Archives
Archive 1 Archive 2

Help needed with History of logic post-WWII

The article History of logic has been nominated for a featured article here. The nominating editor has asked for help concerning the post-WWII period (see this post). Any assistant would be appreciated

Request for input in discussion forum

Given the closely linked subjects of the various religion, mythology, and philosophy groups, it seems to me that we might benefit from having some sort of regular topical discussion forum to discuss the relevant content. I have put together the beginnings of an outline for such discussion at Wikipedia:WikiProject Religion/2011 meeting, and would very much appreciate the input of any interested editors. I am thinking that it might run over two months, the first of which would be to bring forward and discuss the current state of the content, and the second for perhaps some more focused discussion on what, if any, specific efforts might be taken in the near future. Any and all input is more than welcome. John Carter (talk)

_{Automated message by Project Messenger Bot from John Carter at 15:44, 5 April 2011}

A problem with Conditional statement (logic)

Articles about (mathematical) logic in en.WP were always characterized by a chaotic pattern of naming and redirecting. Previous time I notified this wikiproject about an unsatisfactory state of false (logic) – nothing was made since. In last two years the problem became even worse, as you can see at Conditional statement’s AfD. As user: CBM suggested, I try to make a list of articles, redirects and dab pages, belonging to the "conditional/⇒/implication/→" topic:

• Material conditional, alias: material implication
• Truth-functional conditional – redirects to "material conditional"
• Logical conditional – currently redirects to "material conditional"
• Modus ponens – notably uses "logical conditional" as an alias of "material conditional"
• Implies operator – currently redirects to "material conditional"
• Entailment (an article with numerous aliases and duplicate de:-interwiki)
  • de:Konsequenz  = logical consequence – redirects to "entailment"
• Logical implication – currently redirects to "entailment", note the target is different from "logical conditional"
  • de:Implikation – currently interwikis to the implication dab page, which is an obvious error and has no be changed to "logical implication"
• Semantic consequence, Syntactic consequence, Proof-theoretic consequence, Model-theoretic consequence, Consequence relation – all five currently redirect to "entailment"
• Strict conditional – a conditional in the sense closer to modal logic
• Logical biconditional – of course it is another propositional operator, but the article asserts that it is the same as "material biconditional"
• Conditional statement (logic) – an article currently under AfD, which I propose to move (drop the disambiguation) and make an outline article
• Conditional statement – currently a dab page, see my comments at Wikipedia:Articles for deletion/Conditional statement (logic)
• Conditional (programming) – conditionals from programming languages
• Indicative conditional – another variety of conditional, from natural languages

Will anybody suggest some improvement? Incnis Mrsi (talk) 09:19, 19 January 2012 (UTC)

Serious problems with entailment

It appears that the lead example involving John, being a bachelor, and being a man, is actually an example not of logical inconsequence as written, but of tautological inconsequence. That is, if Γ = {“John is a bachelor”}, S1 = “John is a bachelor” and S2 = “John is a man,” then S2 is not a tautological consequence of Γ. S2 is still, however, a logical consequence of Γ. And this is only the beginning of the article. It appears there is severe confusion between the concepts of logical consequence (which currently redirects to entailment) and tautological consequence. This article needs to be thoroughly reviewed. Hanlon1755 (talk) 01:06, 22 January 2012 (UTC)

Please centralize discussion at Talk:Entailment#Lead example mistakenly refers to logical consequence when it should refer to tautological consequence? — Arthur Rubin (talk) 01:44, 22 January 2012 (UTC)

Probabilistic CTL

Would this page be in your domain? I can't make heads or tails of it. --Fang Aili ^talk 20:52, 1 February 2012 (UTC)

That page is based on a broken link to a preprint. I would guess that it should be deleted (returned to user space).  Kiefer.Wolfowitz 21:13, 1 February 2012 (UTC)

CiteSeer changed its URL scheme. There seem to be quite a few papers on PCTL independent of the original authors so it's probably notable. The article definitely needs some work, though. —Ruud 12:38, 7 February 2012 (UTC)

Vivid Designator

Hello, I am new here and I am looking for some help with the first page I created. I think I did good, but it is really tiny, so maybe some of you know something more about it, or can help me out in some other way. The page is vivid designator, as you may have guessed. Thanks all! — Preceding unsigned comment added by Fan Singh Long (talk • contribs) 19:20, 5 February 2012 (UTC)