Talk:Propositional function

Philosophy: Logic Stub‑class High‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy

Stub

This article has been rated as Stub-class on Wikipedia's content assessment scale.

High

This article has been rated as High-importance on the project's importance scale.

Associated task forces:
/
	Logic

Inspiration

I would like to thank the User:Logicist for inspiring me to create this new article. Logicist is now banned from editing Wikipedia and blocked from e-mail correspondence and Talk page dialog due to administrative adherence to community-codified rules that govern editorial access to this project. -- Thekohser 15:46, 25 August 2009 (UTC)[reply]

Propose merging "Open sentence" article to "Propositional function"

There is an article Open sentence. I believe "open sentences" and "propositional functions" are the same topic. Churchill's Logic: An Introduction states, "Propositional functions are also called open sentences because...". For that matter, I believe "Sentential function", which is currently a redirect to "open sentence" is also a synonym for the same concept. I do not believe the current "open sentence" article is ~~not~~ of high quality, and this shorter article is actually better. In any case, I propose that we merge "open sentence" here. If nobody comments, my strategy would be to mostly just create a redirect from "open sentence" here and just cherry-pick a few choice sentences. This a rather important topic in logic, so it's a shame the articles aren't very good yet. I'll wait for a while (say at least a week) for more opinions. It would be good to know if you oppose the merger and why (I don't anticipate this though) and which phrase you think deserves to be the title (by default I'm assuming "Propositional function" because I've heard it slightly more in use than the other two. Once the merger is performed, it would be good to get the references up-to-speed too. The current ones aren't very good. I have probably four or five books in my personal library that I could use to cite. Jason Quinn (talk) 03:13, 1 February 2013 (UTC)[reply]

The articles, as currently written, do seem similar. However, the concept of an open sentence or open term is far more general than a propositional function. An open sentence can be any expression containing free variables; it need not be a function; that is, it need not be evaluatable or satisfiable. Open vs closed occur as a standard definition in lambda calculus and term rewriting and model theory. Anyway, no one has commented in 22 months, I'm removing the merge tag, I guess. 67.198.37.16 (talk) 15:07, 7 October 2015 (UTC)[reply]

Also, as I went to make changes, it became clear that open sentence is written in such a way that it's defining something useful for high-school algebra, with talk of "real numbers" in the lead; which is pretty ridiculous for any other field, e.g. theoretical comp sci. 67.198.37.16 (talk) 15:21, 7 October 2015 (UTC)[reply]