Wikipedia talk:WikiProject Logic/Archive 2

message: As you may have heard, we at the Wikipedia 1.0 Editorial Team recently made some changes to the assessment scale, including the addition of a new level.  The new description is available at WP:ASSESS.
*The new C-Class represents articles that are beyond the basic Start-Class, but which need additional references or cleanup to meet the standards for B-Class.  
*The criteria for B-Class have been tightened up with the addition of a rubric, and are now more in line with the stricter standards already used at some projects.  
*A-Class article reviews will now need more than one person, as described here.  
Each WikiProject should already have a new C-Class category at :Category:C-Class_articles.  If your project elects not to use the new level, you can simply delete your WikiProject's C-Class category and clarify any amendments on your project's assessment/discussion pages.  The bot is already finding and listing C-Class articles. 
Please leave a message with us if you have any queries regarding the introduction of the revised scheme.  This scheme should allow the team to start producing offline selections for your project and the wider community within the next year.  Thanks for using the Wikipedia 1.0 scheme! For the 1.0 Editorial Team, §hepBot (Disable) 20:54, 4 July 2008 (UTC)
thread_title:  Changes to the WP:1.0 assessment scheme 

message: Wikipedia 0.7 is a collection of English Wikipedia articles due to be released on DVD, and available for free download, later this year. The Wikipedia:Version 1.0 Editorial Team has made an automated selection of articles for Version 0.7.
We would like to ask you to review the articles selected from this project. These were chosen from the articles with this project's talk page tag, based on the rated importance and quality. If there are any specific articles that should be removed, please let us know at Wikipedia talk:Version 0.7. You can also nominate additional articles for release, following the procedure at Wikipedia:Release Version Nominations. 
A list of selected articles with cleanup tags, sorted by project, is available. The list is automatically updated each hour when it is loaded. Please try to fix any urgent problems in the selected articles. A team of copyeditors has agreed to help with copyediting requests, although you should try to fix simple issues on your own if possible. 
We would also appreciate your help in identifying the version of each article that you think we should use, to help avoid vandalism or POV issues. These versions can be recorded at this project's subpage of User:SelectionBot/0.7. We are planning to release the selection for the holiday season, so we ask you to select the revisions before October 20. At that time, we will use an automatic process to identify which version of each article to release, if no version has been manually selected. Thanks! For the Wikipedia 1.0 Editorial team, SelectionBot 23:31, 15 September 2008 (UTC)
thread_title:  Wikipedia 0.7 articles have been selected for Logic 

message: Over at WP:CS, I'm wondering what to do about various forms of the lambda calculus...please do drop by and chime in! --mgreenbe (talk) 13:37, 1 October 2008 (UTC)
thread_title:  Lambda calculus and friends 

message: Hi!  I'd like to draw your attention to the new WikiProject coordinators' working group, an effort to bring both official and unofficial WikiProject coordinators together so that the projects can more easily develop consensus and collaborate.  This group has been created after discussion regarding possible changes to the A-Class review system, and that may be one of the first things discussed by interested coordinators.
All designated project coordinators are invited to join this working group.  If your project hasn't formally designated any editors as coordinators, but you are someone who regularly deals with coordination tasks in the project, please feel free to join as well. — Delievered by §hepBot (Disable) on behalf of the WikiProject coordinators' working group at 05:51, 28 February 2009 (UTC)
thread_title:  Coordinators' working group 

message: There have been a number of changes to Logic categories and articles put under newer categories and these have in some cases been controversial, and have been reverted to the prior status quo.  This is a waste of good editing time.  I propose that any changes to the logic categories are proposed first here and implementaion await support by say six editors.  In particular if there is no response to a proposal this should NOT be taken as a vote in favour of the change.--Philogo (talk) 23:41, 8 April 2009 (UTC)
replies: text: I am not sure that there are enough active editors watching this page to make this a good condition. I think a better procedure might be to propose a change here, and when there are no objections after a while to propose it at WP:CfD (if it's about renaming or deleting a category) and to advertise this on the talk pages of the philosophy and maths projects. --Hans Adler (talk) 00:06, 9 April 2009 (UTC)
replies: text: Agree.--Philogo (talk) 00:12, 9 April 2009 (UTC)
thread_title:  Categories 

message: Is this picture appropriate for the article?  If not, maybe someone can remove it.  I defer to you. 207.241.239.80 (talk) 07:02, 11 April 2009 (UTC)
replies: text: Obviously not. Done, thanks. --Hans Adler (talk) 11:49, 11 April 2009 (UTC)
thread_title:  picture 

message: I've added a section to Wikipedia:WikiProject Logic/To do to put notices about move/merge/AfD proposals; it seems to me like a good place to have such a thing.  There are three notices there at the moment. — Charles Stewart (talk) 12:36, 30 April 2009 (UTC)
thread_title:  Notices and proposals 

message: Hi,
There seems to be no article summarising the fundamentals of logical synthesis: using primitives to state axioms, from which reasoned argument leads to conclusions which may be significant enough to be regarded as theorems. I added a mini-overview to the Synthetic geometry article. Hope some of you can pick up on this point and do it justice. -- Cheers, Steelpillow (Talk) 18:59, 17 May 2009 (UTC)
thread_title:  Logical synthesis 

message: * More common in the literature, by at least a factor of 3. (See discussion here. --Hans Adler (talk) 13:49, 27 May 2009 (UTC)
thread_title: Reasons for "propositional logic"

message: * It's the logic of sentences; there are philosophical problems with the definition/existence of "propositions". [But I am not sure I fully understand them.] --Hans Adler (talk) 13:49, 27 May 2009 (UTC)
thread_title: Reasons for "sentential logic"

message: This is skewed towards the mathematical side. Feel free to add additional sources. --Hans Adler (talk) 12:23, 28 May 2009 (UTC)
thread_title: Survey of literature on logic

message: In case you haven't noticed,  has been working to improve the article on first-order logic.  Since FOL is a core logical concept that is of common interest to both philosophers and mathematicians, it would be good for someone to review the article and give a philosopher's perspective on CBM's work. Classicalecon (talk) 21:03, 15 June 2009 (UTC)
replies: text: Yes, please; any comments would be appreciated. — Carl (CBM · talk) 21:59, 15 June 2009 (UTC)
thread_title:  Rewrite of [[first-order logic]] 

message: :Talk:Tetralemma#Merger_proposal
I think a merged article would be a Good Thing for the logic project as a whole, since in many ways this is could become a good introduction to the ideas behind the most interesting four-valued logic, and an article of interest to philosophically-, formally-, and historically-minded readers. — Charles Stewart (talk) 09:00, 6 July 2009 (UTC)
thread_title:  Proposed merge  of [[Catuṣkoṭi]] into [[tetralemma]] 

message: See Wikipedia:Articles for deletion/Valentina Harizanov.  Don't just vote Keep or Delete; give your arguments. Michael Hardy (talk) 05:31, 15 July 2009 (UTC)
thread_title:  "Valentina Harizanov" nominated for deletion 

message: Can you please have a look at Wikipedia:Articles for deletion/Language of logic and give your opinion? Thanks, --Pgallert (talk) 10:41, 27 July 2009 (UTC)
thread_title:  Deletion discussion on [[Language of logic]] 

message: I created this very brief logic stub, it is in need of some tender loving care. Substitution seems to have got rather short shrift from the logic pages so far. — Charles Stewart (talk) 18:00, 18 August 2009 (UTC)
thread_title:  [[Substitution (logic)]] 

message: I have nominated Formal language (logic) for deletion. The discussion page is Wikipedia:Articles for deletion/Formal language (logic). — Carl (CBM · talk) 00:39, 18 September 2009 (UTC)
thread_title:  Formal language (logic) on AFD 

message: User:Gregbard has proposed that :Category:Systems of formal logic be merged with :Category:Logical calculi, and he also created :Category:Formal systems, which has been promptly taken to CfD by User:Arthur Rubin. Perhaps we could have a centralized discussion here about these issues rather than the merry-go-round in various delete/merge/whatever administrative pages? I think that a discussion determning the scope of formal system should take place first. See Talk:formal system#Requested move. Pcap ping 03:24, 20 September 2009 (UTC)
thread_title:  New can scheme proposed 

message: In December 2008, the article Logical implication was redirected to Entailment.  I have now undone the redirect since (1) the term "logical implication" is an often used term which may indicate any of logical consequence, model-theoretic entailment, or the material conditional, depending on context; (2) the Entailment and Material conditional pages are in rather poor shape at the moment.  I'm aware that the issues here are rather complex, since, e.g. some non-classical logics have no equivalent for the deduction theorem.  Any further comments are appreciated.  --Classicalecon (talk) 00:09, 22 September 2009 (UTC)
thread_title:  [[Logical implication]] and related articles in need for attention 

message: Can you please have a look at Wikipedia:Articles for deletion/Argument from fallacy and give your opinion? Thanks, Pgallert (talk) 13:48, 19 October 2009 (UTC)
thread_title:  Deletion discussion on [[Argument from fallacy]] 

message: The blog http://logicmatters.blogspot.com/ has a couple of posts starting on October 19 about this new book, which may be of interest to logic editors: 
* 
Also, there is a new edition of
*
which is cited in several wikipedia articles.  The new edition is  and is titled "Proof Theory: The First Step into Impredicativity".  There is a Google Books preview that looks pretty good. 
69.228.171.150 (talk) 11:32, 7 November 2009 (UTC)
thread_title:  new books 

message: After a recent request, I added WikiProject Philosophy/Logic to the list of projects to compile monthly pageview stats for. The data is the same used by http://stats.grok.se/en/ but the program is different, and includes the aggregate views from all redirects to each page. The stats are at Wikipedia:WikiProject Philosophy/Logic/Popular pages.
The page will be updated monthly with new data. The edits aren't marked as bot edits, so they will show up in watchlists. You can view more results, request a new project be added to the list, or request a configuration change for this project using the toolserver tool. If you have any comments or suggestions, please let me know. Thanks! Mr.Z-man 01:13, 1 December 2009 (UTC)
thread_title:  Pageview stats 

message: There is a page “False (logic)”, but there is no article. It is disputable, to what existing article (see history of), but it’s quite evident that we have not a redirection target good enough.
Which articles and which redirects we should have? Of course, there is such (quite fuzzy) general notion as truth value (is “propositional value” a synonym?), and the “boolean domain” is one of its implementations. IMHO it’s incorrect to state that boolean domain “resembles Sierpiński space”, because the latter is not symmetric and is related to Heyting algebras and intuitionism, but the former is symmetric. Sierpiński space (and intuitionistic/constructivist/computational feeling of a truth value, that is IMHO almost the same thing) is another implementation of a “truth value”, among many others.
But what he have to do with False (logic)? Is it an element of Boolean domain or a generally accepted truth value? Or it is merely a negation of the truth? Or the same thing (as a statement) as contradiction? Perhaps, a separate article on this topic (not disambig page as false) is needed.
Please, excuse my ignorance of precise terms in this domain, because the language in which I learned mathematical logics was not English. Incnis Mrsi (talk) 11:12, 23 December 2009 (UTC)
replies: text: Good point. I think Boolean domain and truth value need to be merged, and false (logic) should redirect to the merged article. It makes no sense to discuss these topics separately; we are writing an encyclopedia, not a dictionary. Hans Adler 13:45, 23 December 2009 (UTC)
thread_title:  [[False (logic)]], [[Boolean domain]] and [[Truth value]] 

message: This message is being sent to each WikiProject that participates in the WP 1.0 assessment system. On Saturday, January 23, 2010, the WP 1.0 bot will be upgraded. Your project does not need to take any action, but the appearance of your project's summary table will change. The upgrade will make many new, optional features available to all WikiProjects. Additional information is available at the WP 1.0 project homepage. — Carl (CBM · talk) 03:32, 22 January 2010 (UTC)
thread_title:  WP 1.0 bot announcement 

message: Hello Wikiproject! Currently there is a discussion which will decide whether wikipedia will delete 49,000 articles about a living person without references, here:
Wikipedia:Requests for comment/Biographies of living people
Since biographies of living people covers so many topics, many wikiproject topics will be effected.
The two opposing positions which have the most support is:  
# supports the deletion of unreferenced articles about a living person, User:Jehochman
# opposes the deletion of unreferenced articles about a living person, except in limited circumstances, User:Collect
Comments are welcome.  Keep in mind that by default, editor's comments are hidden. Simply press edit next to the section to add your comment. 
Please keep in mind that at this point, it seems that editors support deleting unreferenced BLP articles if they are not sourced, so your project may want to source these articles as soon as possible. See the next, message, which may help. 
===Tools to help your project with unreferenced Biographies of living people===
;List of cleanup articles for your project
If you don't already have this and are interested in creating a list of articles which need cleanup for your wikiproject see:  Cleanup listings A list of examples is here
;Moving unreferenced blp articles to a special "incubation pages" 
If you are interested in moving unreferenced blp articles that your project covers, to a special "incubation page",  contact me, User talk:Ikip
;Watchlisting all unreferenced articles
If you are interested in watchlisting all of the unreferenced articles once you install Cleanup_listings, contact me, User talk:Ikip
Ikip  05:29, 26 January 2010 (UTC)
thread_title:  Request for comment on Biographies of living people 

message: ;List of cleanup articles for your project
If you don't already have this and are interested in creating a list of articles which need cleanup for your wikiproject see:  Cleanup listings A list of examples is here
;Moving unreferenced blp articles to a special "incubation pages" 
If you are interested in moving unreferenced blp articles that your project covers, to a special "incubation page",  contact me, User talk:Ikip
;Watchlisting all unreferenced articles
If you are interested in watchlisting all of the unreferenced articles once you install Cleanup_listings, contact me, User talk:Ikip
Ikip  05:29, 26 January 2010 (UTC)
thread_title: Tools to help your project with unreferenced Biographies of living people

message: Dear all,
I’ve been trying to help folks who were trying to articulate the latest knowledge on Perception article, but my suggestions did not help much. On top of that, some little egos managed to erode even that little clarity we had.
I have decided, therefore, to simply rewrite the article on the basis of currently available knowledge in the following disciplines: cognitive and developmental psychology, medicine (especially genetics), philosophy and complex (adaptive) systems theory with emphasised references to non-monotonic logics. I am contemplating few other disciplines, but these will suffice for the beginning.
I have drafted the lead into the article and the draft can be found on the related discussion page. I am calling now for comments and contributions backed by the latest science and the latest contemporary philosophical thought. My only condition is clarity and brevity wherever possible. If you find other possible references, they will be welcomed too.
Kind regards, Damir Ibrisimovic (talk) 21:57, 7 February 2010 (UTC)
thread_title:  Perception 

message: Okip   00:39, 28 March 2010 (UTC)
thread_title:  Unreferenced living people articles bot 

message: The article nihilist paradox is currently in great need of attention. I would especially like to change its name, which is currently ambiguous, to something closer to "skepticism paradox", but I would first like to seek the opinions of those who know more on the subject than I, and to hopefully garner some interest in the article so that verifiable information can be added. I wasn't sure whether this more closely applied to epistemology or logic so I will be posting it on both discussion pages; I hope this is not poor etiquette and I apologize if it is.
--✶♏✶ 13:58, 17 March 2010 (UTC)
thread_title:  Nihilist paradox 

message: The page on philosophic burden of proof claims that "ontologically positive" claims have a heavier burden of proof than their negations. I've often heard such claims in casual conversations, but I've never seen the claim defended in philosophical publications. Are there any citations for this claim of asymmetry? If so, perhaps someone could add a few references. If not, perhaps we should discuss how the article can be changed.
I posted this same message on Wikipedia talk:WikiProject Philosophy, but this is, I think, an issue of critical thinking and so perhaps not out of place here. 
Thanks for your help. Phiwum (talk) 03:51, 3 April 2010 (UTC)
thread_title:  [[Philosophic burden of proof]] 

message: :Category:Logic work group articles, , has been nominated for deletion, merging, or renaming. If you would like to participate in the discussion, you are invited to add your comments at the category's entry on the Categories for discussion page. Thank you.. --BrownHairedGirl (talk) • (contribs) 18:40, 11 April 2010 (UTC)
thread_title:  Categories for discussion nomination of Category:Logic work group articles 

message: Version 0.8 is a collection of Wikipedia articles selected by the Wikipedia 1.0 team for offline release on USB key, DVD and mobile phone.  Articles were selected based on their assessed  importance and quality, then article versions (revisionIDs) were chosen for trustworthiness (freedom from vandalism) using an adaptation of the WikiTrust algorithm.
We would like to ask you to review the Logic articles and revisionIDs we have chosen. Selected articles are marked with a diamond symbol (♦) to the right of each article, and this symbol links to the selected version of each article. If you believe we have included or excluded articles inappropriately, please contact us at Wikipedia talk:Version 0.8 with the details.  You may wish to look at your WikiProject's articles with cleanup tags and try to improve any that need work; if you do, please give us the new revisionID at Wikipedia talk:Version 0.8. We would like to complete this consultation period by midnight UTC on Monday, October 11th.
We have greatly streamlined the process since the Version 0.7 release, so we aim to have the collection ready for distribution by the end of October, 2010.  As a result, we are planning to distribute the collection much more widely, while continuing to work with groups such as One Laptop per Child and Wikipedia for Schools to extend the reach of Wikipedia worldwide.  Please help us, with your WikiProject's feedback! 
For the Wikipedia 1.0 editorial team, SelectionBot 23:16, 19 September 2010 (UTC)
thread_title:  Logic articles have been selected for the Wikipedia 0.8 release 

message: Do we have an expert on logical fallacies here? Certain things mentioned in some of the articles seem rather questionable. Specifically Tu quoque#Legitimate use, though there are others. I'm not sure how you can have a legitimate use of a logical fallacy when that goes against the very definition of a logical fallacy. --Calibas (talk) 02:01, 2 October 2010 (UTC)
thread_title:  Fallacies 

message: I have created together with Smallman12q a toolserver tool that shows a weekly-updated list of cleanup categories for WikiProjects, that can be used as a replacement for WolterBot and this WikiProject is among those that are already included (because it is a member of :Category:WolterBot cleanup listing subscriptions). See the tool's wiki page, this project's listing in one big table or by categories and the index of WikiProjects. Svick (talk) 21:11, 7 November 2010 (UTC)
thread_title:  WikiProject cleanup listing 

message: Please see Talk:Entailment#Duplication of content. - dcljr (talk) 20:04, 15 January 2011 (UTC)
thread_title:  Duplication of content and general confusion 

message: The Task List is not being actively updated, but there are many articles in need of attention.  Actively updating the task list would help by directing the attention of editors to articles encouraging co-ordination. 
*Discuss the Task List
*Update the Task List
 Philogo (talk) 14:02, 12 February 2011 (UTC)
thread_title:  Task List 

message: This is at Did you know, the nomination is at . I am not 100% satisfied by the way the article is written: To present this as if it is a current problem that needs solving. Anyone to improve the article, or to offer an opinion at DYK? Thanks, Pgallert (talk) 16:35, 28 February 2011 (UTC)
replies: text: I suggest you detail your concerns on the talk page of All men are donkeys or men and donkeys are donkeys— Philogos (talk)  21:37, 28 February 2011 (UTC)
replies: text: , see here --Pgallert (talk) 08:13, 2 March 2011 (UTC)
thread_title:  [[All men are donkeys or men and donkeys are donkeys]] 

message: The two envelopes problem is usually seen as a paradox in probability or in mathematical economics. However there is also a version "without probability" due to the logician Smullyan. Maybe some folks in the logic project have interest in this article. There are a number of competing "solutions" to Smullyan's paradox by logicians/philosophers, generally using ideas from the theory of counterfactual reasoning, and all of them very technical. It is very difficult for a non-expert to give succinct summaries.
The situation: you pick one of two closed envelopes, one of which contains twice the amount of money in it as the other, and both amounts are greater than zero. Smullyan pointed out that you can say both: 
# By switching, I gain or lose the difference in the amounts in the two envelopes, thus whether I gain or lose, I gain or lose the same amount.
# By switching, I either gain an amount equal to what's in my envelope or I lose half of what's in it; these amounts are different.
How can the amount I gain if I gain both be equal, and be not equal, to the amount I lose if I lose?
Actually, to my (scientist's) mind the paradox merely exposes the inadequacy of common language: write out a mathematical description of the situation and the paradox vanishes. Moreover I think that Smullyan's *problem* is not actually probability-free (though his analysis is). In the beginning of the problem we are told that we pick one of two closed envelopes. The symmetry of this situation and the arbitrariness of our choice is an ingredient which many would formalize using subjectivist probability. This ingredient tells us that we are perfectly indifferent to swapping our envelope (closed) for the other. Neither of Smullyan's two arguments bring this crypto-probability ingredient into play. Their apparent contradiction shows, to my mind, the meaninglessness of the comparison between what you would win if you would win with what you would lose if you would lose. A statement which is meaningless has a meaningless negation and no contradiction results by arriving at both. Is it worth while to pick apart the argument and say where exactly it goes wrong? Richard Gill (talk) 12:29, 29 June 2011 (UTC)
thread_title:  Two envelopes problem - logicians needed 

message: Just thought I'd let the community know of what I am doing. Please help if you can. Schyler (one language) 22:20, 2 July 2011 (UTC)
thread_title:  [[User:Schyler/List of Syllogisms]] 

message: There's a proposal to adjust one of the main section titles used in "Wikipedia's contents", which will affect the order in which the section titles are presented.  See Portal talk:Contents#Proposal for main section title adjustment. The Transhumanist 02:18, 18 October 2011 (UTC)
thread_title:  Proposal to change a section title 

message: Hello all.
I am not a very active editor, but I saw that Template:Rules_of_inference was missing two important rules (existential generalization and existential instantiation). They are briefly discussed in Existential quantification, but I think that the way the template is organized is very messy.  I created a page for existential generalization, but I held off on creating existential instantiation because I did not think it would be prudent to create another stub. Perhaps all four rules of inference can be merged into a new page? Let me know your thoughts on this.
Yarou (talk) 06:37, 2 December 2011 (UTC)
thread_title:  Rules of Inference 

message: 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)
thread_title:  A problem with [[Conditional statement (logic)]] 

message: 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)
replies: text: 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)
thread_title:  Serious problems with [[entailment]] 

message: 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)
replies: text: 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)
replies: text:  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)
thread_title:  [[Probabilistic CTL]] 

message: 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)
thread_title:  Vivid Designator 

message: Members of the Logic task force are cordially invited to chime-in in the on-going discussion of the pro and con of placing Mizar system external deep links on mathematical articles. Yaniv256 (talk) 18:43, 24 July 2012 (UTC)
thread_title:  [[Mizar system]] external links discussion 

message: You are invited to comment on the following RfC:
Talk:Monty Hall problem#Conditional or Simple solutions for the Monty Hall problem?
The Monty Hall problem is an especially interesting one because it touches upon logic, probability, and psychology; why do so many engineers, scientists and mathematicians get it wrong at first? The question the RfC asks concerns the place conditional probability should have in the Monty Hall problem article. We could really use some informed opinions on this. --Guy Macon (talk) 01:19, 7 September 2012 (UTC)
thread_title:  Invitation to comment at [[Monty Hall problem]] RfC 

message: This article is nominated for deletion and there are claims it does not qualify as a logical fallacy. I am wondering if someone who is more familiar with what is and is not logical fallacy (like the definition of it, and if this concept applies or not) could clarify whether or not it is.
I am wondering if this might be an incarnation of an existing fallacy? In which case I could see moving to change it to a redirect to an existing page rather than having its own article. I just know too little about the breadth of different logical fallacies and their categories to recognize whether or not this is covered by an existing kind we have a page about. Ranze (talk) 17:23, 16 April 2013 (UTC)
thread_title:  [[Apex fallacy]] 

message: I have a friend, Swim, who is reasonably well-educated at the university level and intellectually switched-on, but no longer engaged in any formal courses of study and working in a non-thinking man's field. Swim edits Wikipedia in their spare time for fun and to stay mentally sharp, and is interested in getting involved in something like WikiProject Logic. However, Swim never took a class in logic or otherwise studied it beyond a basic intro to philosophy-type class as an undergraduate. Swim sees WikiProject Logic as a wonderful potential source of learning and knowledge, and would like to be able to contribute to the success of the project (and not just take from it by osmosis), but is thinking first to read at least one intro-to-Logic-type book (since a lot of Swim's time for reading unfortunately doesn't correspond to time when they can access the Internet). Is there a specific intro-to-logic book (mass-market or otherwise) that you seasoned veterans and experience project-members would recommend? Swim would really, really appreciate help cutting through the clutter and getting sorted with his reading on this topic before joining the WikiProject Logic. Thanks on behalf of Swim... Azx2 21:10, 11 June 2013 (UTC)
replies: text: There's always my late mother's book, .  I admit to having a financial interest in sales of the book....  I cannot recommend a philosophy-type book, and I'd like to see one.  — Arthur Rubin  (talk) 09:31, 12 June 2013 (UTC)
thread_title:  Introduction to Logic and getting involved in WikiProject Logic? 

message: Are there any objections for putting this up for deletion at MfD? It doesn't seem to be being used. Liz Read! Talk! 18:03, 25 March 2014 (UTC)
thread_title:  [[Wikipedia:WikiProject Deletion sorting/Logic]] 

message: this came up at WP:FT/N and on researching it I see notability problems. The only real work I can find is a series of three books by one Nicholas Rescher, and while one of them was published by U. Pittsburgh Press  I find no other literature references to something by this name. If someone could suggest some other resolution to this besides deletion I would appreciate it; I understand the ideas but am not familiar enough with the field to be able to guess at a different name, for example. Mangoe (talk) 15:37, 27 May 2014 (UTC)
thread_title:  [[Exception paradox]] 

message: Hello there! As you may already know, most WikiProjects here on Wikipedia struggle to stay active after they've been founded. I believe there is a lot of potential for WikiProjects to facilitate collaboration across subject areas, so I have submitted a grant proposal with the Wikimedia Foundation for the "WikiProject X" project. WikiProject X will study what makes WikiProjects succeed in retaining editors and then design a prototype WikiProject system that will recruit contributors to WikiProjects and help them run effectively. Please review the proposal here and leave feedback. If you have any questions, you can ask on the proposal page or leave a message on my talk page. Thank you for your time! (Also, sorry about the posting mistake earlier. If someone already moved my message to the talk page, feel free to remove this posting.) Harej (talk) 22:47, 1 October 2014 (UTC)
thread_title:  Comment on the WikiProject X proposal 

message: Hello everyone!
You may have received a message from me earlier asking you to comment on my WikiProject X proposal. The good news is that WikiProject X is now live! In our first phase, we are focusing on research. At this time, we are looking for people to share their experiences with WikiProjects: good, bad, or neutral. We are also looking for WikiProjects that may be interested in trying out new tools and layouts that will make participating easier and projects easier to maintain. If you or your WikiProject are interested, check us out! Note that this is an opt-in program; no WikiProject will be required to change anything against its wishes. Please let me know if you have any questions. Thank you!
Note: To receive additional notifications about WikiProject X on this talk page, please add this page to Wikipedia:WikiProject X/Newsletter. Otherwise, this will be the last notification sent about WikiProject X.
Harej (talk) 16:57, 14 January 2015 (UTC)
thread_title:  WikiProject X is live! 

message: I've come out of my self-imposed Wikipedia semi-retirement, in part because I think the world deserves a better main article on logic, a top-100 article that has many serious flaws and that has been getting worse since 2010.
I'd be grateful if members of this Wikiproject could help make a list of issues with the current version of the article.  I shall start a topic on Talk:Logic. — Charles Stewart (talk) 10:34, 16 March 2016 (UTC)
thread_title:  Fixing the [[Logic]] article 

message: I'd be grateful if we could all take a look at this article and see what changes, if any, need to be made to justify removing the tag. — Charles Stewart (talk) 11:32, 7 April 2016 (UTC)
thread_title:  {{tl|Technical}} on [[Sense and reference]] 

message: There is an edit conflict over whether the sentence "Society must have laws, otherwise there would be chaos" is a reductio ad absurdum argument.  Outside opinions are needed.  Please stop by at Removal of example from introduction.  Thanks --ChetvornoTALK 21:40, 2 July 2016 (UTC)
thread_title:  Conflict at ''[[Reductio ad absurdum]]'' 

message: We need an article or at least section on the concept, in logic, philosophy, and law, of cogency, and how it is distinct from related concepts. The DAB page at Cogent should be moved to Cogent (disambiguation) and the bare word redirected to Cogency when we have an article there (or redirected to the same place that one goes, if we have a section on cogency in another article).  For the time being, I redirected Cogency, which was a redlink, to Logical reasoning which addresses it is little bit, but is a stub that badly needs work.  — SMcCandlish ☺ ☏ ¢ ≽ʌⱷ҅ᴥⱷʌ≼  18:10, 23 August 2016 (UTC)
thread_title:  No article on cogency 

message: Hi, I don't really know the history but I noticed a potential inter(and intra)wiki mess. In french it seems that w:fr:théorie axiomatique refers to the axioms that define a theory with all their consequences, whereas in en "axiomatic system" - axiomatic theory redirects to this - the set of all consequences is named mathematical theory which is an article about subfield of maths and has no word about axiomatic theories. 
As the definition is not sourced all this needs discussion. Anybody up to this here ? TomT0m (talk) 17:07, 27 September 2016 (UTC)
replies: text: The article is at theory (mathematical logic). --Trovatore (talk) 17:41, 27 September 2016 (UTC)
replies: text:   Thanks for the tip ! Next question then : should not axiomatic theory redirect to this latter article than to the former ? This is important because on ptwiki - I don't know the language but required for a call for merger between their axiomatic theory to their axiomatic system article to be able to merge https://www.wikidata.org/wiki/Wikidata:Interwiki_conflicts/Unresolved/2016#th.C3.A9orie_axiomatique_.28Q9295456.29.2Fth.C3.A9orie_axiomatique_.28Q792542.29 which I'm beginning to think is incorrect and the only opinion is related to this redirect : https://pt.wikipedia.org/wiki/Wikip%C3%A9dia:Fus%C3%A3o/Central_de_fus%C3%B5es/Sistema_axiom%C3%A1tico;_Teoria_axiom%C3%A1tica TomT0m (talk) 08:54, 28 September 2016 (UTC)
thread_title:  axiomatic theory, mathematical theory, axiomatic system 

message: The reason I am contacting you is because there are one or more portals that fall under this subject, and the Portals WikiProject is currently undertaking a major drive to automate portals that may affect them.
Portals are being redesigned.
The new design features are being applied to existing portals.
At present, we are gearing up for a maintenance pass of portals in which the introduction section will be upgraded to no longer need a subpage. In place of static copied and pasted excerpts will be self-updating excerpts displayed through selective transclusion, using the template .
The discussion about this can be found here.
Maintainers of specific portals are encouraged to sign up as project members here, noting the portals they maintain, so that those portals are skipped by the maintenance pass.  Currently, we are interested in upgrading neglected and abandoned portals. There will be opportunity for maintained portals to opt-in later, or the portal maintainers can handle upgrading (the portals they maintain) personally at any time.
=== Background ===
On April 8th, 2018, an RfC ("Request for comment") proposal was made to eliminate all portals and the portal namespace.  On April 17th, the Portals WikiProject was rebooted to handle the revitalization of the portal system. On May 12th, the RfC was closed with the result to keep portals, by a margin of about 2 to 1 in favor of keeping portals.
There's an article in the current edition of the Signpost interviewing project members about the RfC and the Portals WikiProject.
Since the reboot, the Portals WikiProject has been busy building tools and components to upgrade portals.
So far, 84 editors have joined.
If you would like to keep abreast of what is happening with portals, see the newsletter archive.
If you have any questions about what is happening with portals or the Portals WikiProject, please post them on the WikiProject's talk page.
Thank you.     — The Transhumanist    07:45, 30 May 2018 (UTC)
thread_title:  WikiProject collaboration notice from the [[WP:WPPORT|Portals WikiProject]] 

message: On April 8th, 2018, an RfC ("Request for comment") proposal was made to eliminate all portals and the portal namespace.  On April 17th, the Portals WikiProject was rebooted to handle the revitalization of the portal system. On May 12th, the RfC was closed with the result to keep portals, by a margin of about 2 to 1 in favor of keeping portals.
There's an article in the current edition of the Signpost interviewing project members about the RfC and the Portals WikiProject.
Since the reboot, the Portals WikiProject has been busy building tools and components to upgrade portals.
So far, 84 editors have joined.
If you would like to keep abreast of what is happening with portals, see the newsletter archive.
If you have any questions about what is happening with portals or the Portals WikiProject, please post them on the WikiProject's talk page.
Thank you.     — The Transhumanist    07:45, 30 May 2018 (UTC)
thread_title:  Background 

message: I think it would be really good if we could tackle this; it is likely to rekindle interest in the WPP.  I definitely do not have the time to do all of this by myself now, and wonder if I ever will.   If anyone interested in this, either supporting/opposing the idea or offering their time, I'd love to hear from you. — Charles Stewart (talk) 10:14, 10 January 2019 (UTC)
thread_title:  Call for participation 

message: Hello and greetings from the maintainers of the WP 1.0 Bot! As you may or may not know, we are currently involved in an overhaul of the bot, in order to make it more modern and maintainable. As part of this process, we will be rewriting the web tool that is part of the project. You might have noticed this tool if you click through the links on the project assessment summary tables.
We'd like to collect information on how the current tool is used by....you! How do you yourself and the other maintainers of your project use the web tool? Which of its features do you need? How frequently do you use these features? And what features is the tool missing that would be useful to you? We have collected all of these questions at this Google form where you can leave your response. Walkerma (talk) 04:24, 27 October 2019 (UTC)
thread_title:  Request for information on WP1.0 web tool 

message: :Category:Philosophy/Logic articles needing expert attention has been nominated for possible deletion, merging, or renaming. A discussion is taking place to decide whether this proposal complies with the categorization guidelines. If you would like to participate in the discussion, you are invited to add your comments at the category's entry on the categories for discussion page. Thank you. Peaceray (talk) 04:55, 18 May 2021 (UTC)
thread_title: [[:Category:Philosophy/Logic articles needing expert attention]] has been nominated for discussion

message: There is a discussion occurring at Wikipedia_talk:WikiProject_Philosophy#Fallacy_articles that may interest members of this WikiProject. ––FormalDude talk 23:23, 24 January 2022 (UTC)
thread_title:  Fallacy article problems 

message: I have nominated Truthiness for a featured article review here. Please join the discussion on whether this article meets featured article criteria. Articles are typically reviewed for two weeks. If substantial concerns are not addressed during the review period, the article will be moved to the Featured Article Removal Candidates list for a further period, where editors may declare "Keep" or "Delist" the article's featured status. The instructions for the review process are here. – Kavyansh.Singh (talk) 08:52, 23 February 2022 (UTC)
thread_title:  FAR for Truthiness 

message: I have (with the help of others) made a small user script to detect and highlight various links to unreliable sources and predatory journals. Some of you may already be familiar with it, given it is currently the 39th most imported script on Wikipedia. The idea is that it takes something like
*John Smith "Article of things" Deprecated.com. Accessed 2020-02-14. (John Smith "Article of things" Deprecated.com. Accessed 2020-02-14.)
and turns it into something like
* John Smith "" Deprecated.com. Accessed 2020-02-14.
It will work on a variety of links, including those from ,  and .
The script is mostly based on WP:RSPSOURCES, WP:NPPSG and WP:CITEWATCH and a good dose of common sense. I'm always expanding coverage and tweaking the script's logic, so general feedback and suggestions to expand coverage to other unreliable sources are always welcomed.
Do note that this is not a script to be mindlessly used, and several caveats apply. Details and instructions are available at User:Headbomb/unreliable. Questions, comments and requests can be made at User talk:Headbomb/unreliable.
-  Headbomb {t · c · p · b}
This is a one time notice and can't be unsubscribed from. Delivered by: MediaWiki message delivery (talk) 16:01, 29 April 2022 (UTC)
thread_title:  User script to detect unreliable sources 

message: A request for comment has been made at  that may interest members of this project. ––Formal talk 12:45, 12 May 2022 (UTC)
thread_title:  RfC at [[Talk:Ideological bias on Wikipedia]]