• Lucid Dreaming - Dream Views




    Results 1 to 3 of 3
    1. #1
      knows
      Join Date
      Mar 2007
      LD Count
      1billion+5
      Posts
      546
      Likes
      31

      Predicate logic translation

      I've requested for info from someone who's been helpful in the past, but bring it here for further support.

      My issue in predicate logic is concerned with English - translation. I understand that when translating occurs, an individual is ascribed a predicate, the former denoted by an individual constant and the latter by a predicate constant. I also am aware to an "extent", the usage of variables that represent individuals in the monadic aspect. However, specifically, my problem lies with general sentences and how variables are assigned to expressions that subsequently fit into polyadic relational predicates (2 place, etc.) What exactly does it mean for a general sentence (a sentence not denoting a subject with a singular term) to say something about a quantity of something, and to what scope is that quantity extended, in terms of the English sentence saying so?

      EX 1: "Dave is good" could be translated as "Gd". I know this.

      EX 2: All men are good" could be translated as "(x)(Mx-->Gx)". I know this too, and looking at "men" as a class of individuals, I understand that the quantifier in relation to men is mentioning every individual within it.


      --HERE'S THE PROBLEM--

      EX 3:

      a) "All women admire cats"

      and

      b) "All women love to dance"

      3.a How are both general subjects "women" and "cats" different than if we used instead "Melissa" and "Mr. Pebbles"? Are we using the universal quantifier in the general sentence to state that "all of something" RELATES TO "all of something?" And is the term "cats" implicitly universal VS if we had instead added "some" cats? Also, when relating a subject to something else, does it necessary have to be a SET or CLASS OF INDIVIDUALS? Such as (x) RELATION(class,class). If so, how is this SET distinguished when using class terms not as obvious such as the aforementioned? (<-more about this below)

      3.b. My confusion lies in how to pick out whether "love to" is a 2_place predicate or not. I'm not even sure if "dance" can be an entity to be used IF "love to" is by itself relational, as they may be dependent on each other to be only a monadic predicate, and I can't imagine "dance" itself representing individuals.

      -------------------------------------------------------------------------------------
      It seemed like I kinda knew the answer, but thought more into and dun confused mahself
      Last edited by Malac Reborn; 09-21-2012 at 12:42 AM.
      I stomp on your ideas.

    2. #2
      Banned
      Join Date
      May 2008
      LD Count
      don't know
      Gender
      Posts
      1,602
      Likes
      1144
      DJ Entries
      17
      *yawn*

      For the first question I'd say no, plurals alone don't imply ALL of the entities. They stand for an unknown and readily assignable quantity more than 1.

      For the second question, maybe you could see "love" as the only predicate and "to dance" to be a subject?
      Last edited by Wayfaerer; 09-21-2012 at 08:16 PM.

    3. #3
      knows
      Join Date
      Mar 2007
      LD Count
      1billion+5
      Posts
      546
      Likes
      31
      Quote Originally Posted by Wayfaerer View Post
      *yawn*

      For the first question I'd say no, plurals alone don't imply ALL of the entities. They stand for an unknown and readily assignable quantity more than 1.
      Well, in this case, they technically they can. However, I see that for classes, it's context will entail whether it's universally or existentially quantified.

      For the second question, maybe you could see "love" as the only predicate and "to dance" to be a subject?
      Ha, nah. Thanks though, I figured it out.
      I stomp on your ideas.

    Similar Threads

    1. Time Translation
      By goldguy31 in forum Introduction Zone
      Replies: 4
      Last Post: 10-18-2011, 10:44 PM
    2. translation trouble
      By litl3r3d in forum Introduction Zone
      Replies: 5
      Last Post: 05-12-2009, 02:26 PM
    3. Lost In Translation
      By Howie in forum Religion/Spirituality
      Replies: 20
      Last Post: 01-03-2007, 03:21 AM

    Bookmarks

    Posting Permissions

    • You may not post new threads
    • You may not post replies
    • You may not post attachments
    • You may not edit your posts
    •