You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@commons.apache.org by "Matt Benson (JIRA)" <ji...@apache.org> on 2008/04/10 19:26:05 UTC
[jira] Created: (SANDBOX-232) IsElementOf predicate behaves in
opposition to semantic implication
IsElementOf predicate behaves in opposition to semantic implication
-------------------------------------------------------------------
Key: SANDBOX-232
URL: https://issues.apache.org/jira/browse/SANDBOX-232
Project: Commons Sandbox
Issue Type: Improvement
Components: Functor
Reporter: Matt Benson
It is my opinion that semantically, "IsElementOf(foo, bar)" translates into English as "bar is an element of foo"; however this BinaryPredicate is actually coded such that the translation is "foo is an element of bar". This comes down to an opinion question, so I'd like for interested parties to weigh in on this one before I make the requested change.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Resolved: (SANDBOX-232) IsElementOf predicate behaves in
opposition to semantic implication
Posted by "Matt Benson (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/SANDBOX-232?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Matt Benson resolved SANDBOX-232.
---------------------------------
Resolution: Won't Fix
> IsElementOf predicate behaves in opposition to semantic implication
> -------------------------------------------------------------------
>
> Key: SANDBOX-232
> URL: https://issues.apache.org/jira/browse/SANDBOX-232
> Project: Commons Sandbox
> Issue Type: Improvement
> Components: Functor
> Reporter: Matt Benson
>
> It is my opinion that semantically, "IsElementOf(foo, bar)" translates into English as "bar is an element of foo"; however this BinaryPredicate is actually coded such that the translation is "foo is an element of bar". This comes down to an opinion question, so I'd like for interested parties to weigh in on this one before I make the requested change.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Closed: (SANDBOX-232) IsElementOf predicate behaves in
opposition to semantic implication
Posted by "Matt Benson (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/SANDBOX-232?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Matt Benson closed SANDBOX-232.
-------------------------------
> IsElementOf predicate behaves in opposition to semantic implication
> -------------------------------------------------------------------
>
> Key: SANDBOX-232
> URL: https://issues.apache.org/jira/browse/SANDBOX-232
> Project: Commons Sandbox
> Issue Type: Improvement
> Components: Functor
> Reporter: Matt Benson
>
> It is my opinion that semantically, "IsElementOf(foo, bar)" translates into English as "bar is an element of foo"; however this BinaryPredicate is actually coded such that the translation is "foo is an element of bar". This comes down to an opinion question, so I'd like for interested parties to weigh in on this one before I make the requested change.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Commented: (SANDBOX-232) IsElementOf predicate behaves in
opposition to semantic implication
Posted by "Joerg Schaible (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/SANDBOX-232?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12587859#action_12587859 ]
Joerg Schaible commented on SANDBOX-232:
----------------------------------------
Well, normally you provide the arguments in the sequence they are occurring in the expression of the relation:
x is element of y
Therefore the signature
IsElementOf(x, y)
I bet, if you switch the arguments here, you will create more confusion :)
Logic wins here over language dependent semantics and I bet also that most non-native English speakers are not even aware of it.
> IsElementOf predicate behaves in opposition to semantic implication
> -------------------------------------------------------------------
>
> Key: SANDBOX-232
> URL: https://issues.apache.org/jira/browse/SANDBOX-232
> Project: Commons Sandbox
> Issue Type: Improvement
> Components: Functor
> Reporter: Matt Benson
>
> It is my opinion that semantically, "IsElementOf(foo, bar)" translates into English as "bar is an element of foo"; however this BinaryPredicate is actually coded such that the translation is "foo is an element of bar". This comes down to an opinion question, so I'd like for interested parties to weigh in on this one before I make the requested change.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.
[jira] Commented: (SANDBOX-232) IsElementOf predicate behaves in
opposition to semantic implication
Posted by "Matt Benson (JIRA)" <ji...@apache.org>.
[ https://issues.apache.org/jira/browse/SANDBOX-232?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12587987#action_12587987 ]
Matt Benson commented on SANDBOX-232:
-------------------------------------
Hmm... perhaps this is a "six of one, half-dozen of the other" situation.
Time for a new programming language that mimics human language by having different syntax for different "parts of speech". Oooh...
Anyway, I'm prepared to let this one go, but frighteningly I'm intrigued by the idea I've expressed above...
Going, going...
> IsElementOf predicate behaves in opposition to semantic implication
> -------------------------------------------------------------------
>
> Key: SANDBOX-232
> URL: https://issues.apache.org/jira/browse/SANDBOX-232
> Project: Commons Sandbox
> Issue Type: Improvement
> Components: Functor
> Reporter: Matt Benson
>
> It is my opinion that semantically, "IsElementOf(foo, bar)" translates into English as "bar is an element of foo"; however this BinaryPredicate is actually coded such that the translation is "foo is an element of bar". This comes down to an opinion question, so I'd like for interested parties to weigh in on this one before I make the requested change.
--
This message is automatically generated by JIRA.
-
You can reply to this email to add a comment to the issue online.