Wikipedia talk:WikiProject Logic

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.

Article – Outline – Index – History – Portal – Category – WikiProject – Alerts – Deletions – Stubs – Noticeboard – Assessment – To-do

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}

Conflict at Reductio ad absurdum

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 --Chetvorno^TALK 21:40, 2 July 2016 (UTC)

No article on cogency

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)

axiomatic theory, mathematical theory, axiomatic system

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)

The article is at theory (mathematical logic). --Trovatore (talk) 17:41, 27 September 2016 (UTC)

@Trovatore: 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)

WikiProject collaboration notice from the Portals WikiProject

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 {{Transclude lead excerpt}}.

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)

Call for participation

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)

Postscript I should point out that the technical part of the conversion has basically been done by the WPP Proposals team. What is needed is people with content knowledge to add to the resources the portal needs. — Charles Stewart (talk) 10:30, 10 January 2019 (UTC)