Updates from December, 2010 Toggle Comment Threads | Keyboard Shortcuts

  • mazsa 12:02 on December 25, 2010 Permalink | Reply
    Tags:   

    “Most donors say they want to “help people”. If that’s true, they should try to distribute their resources to help people as much as possible. Most people don’t”: http://lesswrong.com/lw/3gj/efficient_charity_do_unto_others/

     

  • mazsa 08:06 on December 20, 2010 Permalink | Reply
    Tags: , , , , , , , , ,   

    Posts on Personal Ontology 1.0 alpha on BFO-list 

    Posts:

    0. http://theunitedpersons.org/blog/pont

    1. http://theunitedpersons.org/blog/dear-bfo-community-let-me-introduce-you-pont-personal-ontology-1-0-alpha

    2. http://theunitedpersons.org/blog/re-dear-bfo-community-let-me-introduce-you-pont-personal-ontology-1-0-alpha

    3. http://theunitedpersons.org/blog/re-re-dear-bfo-community-let-me-introduce-you-pont-personal-ontology-1-0-alpha

    4. http://theunitedpersons.org/blog/re-re-re-dear-bfo-community-let-me-introduce-you-pont-personal-ontology-1-0-alpha

    5. http://theunitedpersons.org/blog/re-re-re-re-dear-bfo-community-let-me-introduce-you-pont-personal-ontology-1-0-alpha

    Original:

    https://groups.google.com/group/bfo-discuss/browse_thread/thread/433bfa9718cae15?hl=en

     

  • mazsa 08:04 on December 20, 2010 Permalink | Reply
    Tags: , , , , , , , ,   

    Re: Re: Re: Re: Dear BFO Community, let me introduce you POnt – Personal Ontology 1.0 alpha 

    [Cf. the whole sequence: http://theunitedpersons.org/blog/posts-on-personal-ontology-1-0-alpha-on-bfo-list ]

    On 6 December 2010 04:15, Alan Ruttenberg wrote:
    >> 2. Alan, in a way it have obtained: I raised this issue as a routine
    >> http://plato.stanford.edu/entries/thought-experiment :)
    >
    > I don’t consider thought experiments to be evidence. They are good
    > argument. In this case there are a number of substantive issues that
    > we are far from understanding, so I don’t think the thought experiment
    > is enough.
    > ;-)

    ok

    >> You say that AIs running on the internet would be generically
    >> dependent continuants (not MaterialEntities) and all generically
    >> dependent continuants have material bases, which are presumably
    >> MaterialEntities, specifically, spatially dispersed sets of Objects.
    >
    > Yes.

    ok

    >> You say that I’m an independent continuant while I’m flesh and blood,
    >> “uploading” would change me (still me) into a dependent continuant
    >> with a material basis (presumably a set of Objects), and “downloading”
    >> again would presumably change me back into an independent continuant.
    >
    > I don’t believe I said that.
    > Rather: I don’t really know what constitutes the identity of a person.
    > If it came to be known that this identity could be preserved when
    > uploading, then we would know that it was a kind of generically
    > dependent continuant. When in your body, the body would be the
    > material entity that bears the concretization of that GDC.
    > BFO doesn’t have such an entity (your sense of person/AI) so nothing
    > would need to be changed in BFO should we learn this is possible.
    > However if other ontologies had made a commitment that contradicted
    > this they would need to be changed.

    makes sense and consistent in itself: you say that BFO is independent (and you are agnostic, at least as long as possible) on a lot of issues. The concept of agency/personship is one of them.

    >> But do I have the right to fork
    >> http://en.wikipedia.org/wiki/Fork_(software_development) BFO at all?
    >
    > You do, but it would be considered bad practice to change any of the
    > intended meanings of BFO terms, or to distribute it in any way that it
    > might be confused by someone to be the real BFO.
    >
    > Better to create another ontology and import and use BFO terms where
    > appropriate.
    >
    >> I feel so that the default copyright for ontologies is
    >> http://creativecommons.org/licenses/by/3.0/ but I’d appreciate if you
    >> would publish the copyright (e.g.
    >> http://creativecommons.org/about/licenses/ ) of BFO.
    >
    > It is so said in the OWL file
    > http://creativecommons.org/licenses/by/3.0

    Copyright: thank you, I didn’t notice it.
    Disambiguation: I understand your concern. I’ll do it bona fide.

    >> On 29 November 2010 19:56, Alan Ruttenberg wrote:
    >>>>[I think it would not be useful to regard
    >>>> her [the AI] as something that has a material basis.
    >>>
    >>> It isn’t a matter of useful. It’s a matter of true.
    >>
    >> I’m sorry I was negligent.
    >>
    >> 1. Clarification: I think it would not be useful to regard an eventual
    >> AI or the uploaded me as a dependent continuant with an independent
    >> continuant material basis which is a scattered set of material
    >> Objects. I think it would be useful to regard an AI and myself to be
    >> independent continuants, invariant to eventual changes in our material
    >> bases.
    >
    > That’s fine. Buy you are not using the terms as BFO intends them.
    > Better to define new additional terms that define things the way think
    > they should be. FWIW, I think it is possible that you don’t understand
    > what it means to be a material basis in BFO.

    ad1. see below

    >> 2. Truth: I think what I say (modified by the Clarification above) is
    >> (ontologically) true = invariant to (ontological) transformations (cf.
    >> the end of my previous letter).
    >
    > Yes, but the truth I was referring to was deeper. There isn’t
    > anything, according to BFO, that doesn’t depend on something material.

    ad2. see below

    >> 3. Usefulness: I think usefulness (and elegance etc.) is not
    >> superfluous in ontological research either. Pragmatic approach to
    >> ontology presupposes usefulness (and at least non-falseness). I think
    >> there are useful ontologies just like there are useful theorems:
    >> “[...]
    >> – useful theorem: theorem that leads to many new ones [...]”
    >
    > It depends on what your definition of ontology is. BFO is trying to be
    > an ontology in the sense of being a catalog of types of things that
    > exist. It is proposed that building ontologies in this sense is
    > already damned useful for it’s targeted purposes.

    I think I understand what material basis means in BFO (but that thought of mine may be a part of the problem:) Let’s check it and see.

    You say that “exists = (matter itself and/or) have material basis”.
    ‘Exists = (matter itself and/or) have material basis’ := ‘X=Mb’

    Case I.

    If you think X=Mb is an axiom of BFO 1.1, it’s ok. Then you can say that

    • either you can slide “information” into the pigeon holes of the BFO 1.1 (e.g. an AI on the internet or the uploaded me or an imaginary magenta unicorn pegasus are generally dependent continuants with material basis),
    • or “information” (which does not have material basis) is nonexistent (it would contradict to the axiom).

    This is the scenario

    • where you say that “BFO is trying to be an ontology in the sense of being a catalog of types of things that exist”, and you reject that meaning of “information” which may or may not have material basis (obviously along with other similar “things”, e.g. http://en.wikipedia.org/wiki/Luminiferous_aether ) presumably as “speculative metaphysics” (à la Kant, Heidegger), and
    • where every continuant with a speculative mind (like me:), be it independent or dependent, using the fact that in BFO 1.1 owl:Thing =/= bfo:Entity, have the legitimate opportunity to reveal other categories under owl:Thing but outside the category bfo:Entity, e.g. a category Nonentity, or a category dolce-lite:Quale.
    • This approach is too “postmodern” to be an ontology in one (the “continental”) meaning (“[Philosophy] the branch of metaphysics that deals with the nature of being” [= owl:Thing, including a rigorous and exhaustive organization of it that is hierarchical and contains all the relevant entities and their relations]),
    • but it’s ok in the (“analytic”) other (“[Logic] the set of entities presupposed by a theory” / “[computer science] a rigorous and exhaustive organization of some knowledge domain that is usually hierarchical and contains all the relevant entities and their relations”) http://www.thefreedictionary.com/ontology

    Case II.

    But if

    • you think that X=Mb is a deep (basic) truth (of ontology in philosophical meaning) mapped into an axiom of BFO, i.e. BFO is a basic ontology in the philosophical meaning above, and
    • tertium non datur,

    then I think X=Mb is simply false.

    (I don’t know whether BFO has this – type II – ambition at all:

    • on one hand, it is so close to it that it would be a sin:) to miss the opportunity,
    • on the other, in BFO 1.1, owl:Thing =/= bfo:Entity as if BFO would not be confident enough to be type II and would ensure place for the diversity of ontologies.)

    Why false? Suppose for a while that I completely accept the solution of BFO 1.1 for AI-s running on the internet (i.e, they are generically dependent continuants, not MaterialEntities, and all generically dependent continuants have material bases, which are MaterialEntities, specifically, spatially dispersed sets of Objects).
    However, this would not solve

    and so would not mean that X=Mb.

    If you say that matter is the nesessary building block for owl:Thing, you make the mistake in logic I made at first (“I may like information to be the “infrastucture” of matter but you are right: for an ontology this would be a superfluous presumption and a logical fallacy of this kind: http://www.philosophyexperiments.com/mary/Default.aspx “).

    So in Case II we do the right thing if we abandon our demand for the preeminence of information and of matter and in general of any specific owl:Thing.

    What the universe (more exactly: owl:Thing) is made of at the “fundamental level” is an open empirical (rather than a speculative / a thought experiment kind of) question yet (cf. e.g. http://arstechnica.com/science/news/2010/12/lhc-spots-no-black-holes-eliminates-some-versions-of-string-theory.ars ): I don’t think so that BFO in Case II should decide on it in advance. BFO in Case II should be explicitely independent on all “speculative mathaphysical” answers.

    Solution

    In Case I: There is no problem to solve.

    Your axioms/categories are yours, mine are mine: there is no further need to argue (you don’t argue fiercely e.g. on Dewey numbers:) and no need to change anything on BFO 1.1. The only (absolutely legitimate!) task left is to keep BFO away form revolution and let it evolve into other disciplines.

    In Case II: Back to the future!

    Fortunately, even if I am right in what I am saying above, BFO itself(!) has a solution for the problem of Case II: your internal solution in Case II is BFO 1.0 ( http://www.ifomis.org/bfo/1.0 ) The structure of the previous version of BFO is “agnostic”: independent on what owl:Thing is supposed to made of.

    Of course, BFO 1.1 is an improvement on 1.0: Disposotion, Function and Role are bundled into a category in 1.0, and bundling Object, FiatObjectPart and ObjectAggregate into a new category in 1.1 is a parallel idea. BFO may retain the new structure in the next version of BFO as well.

    The problem is, as the forensic investigations show:), that this stuctural change was accompanied by the silent introduction of X=Mb by calling the new category ‘MaterialEntity’. This is why BFO 1.1 is not just a harmless improvement of 1.0. From the point of view of Case II, 1.1 is 1.0 constrained by the false X=Mb.

    I think (the Platonic idea of) BFO is deeper than 1.1, and 1.0 is closer to it.

    Suggestions

    I’m a just a user of BFO, not even a heavy one, one among many thousands. You should put my suggestions in their right place.

    For me it is very important to clarify: how would look like the BFO I would be happy to work with, without the need to fork it?

    1. It would be modular: a core and auxiliary axioms (or alternative auxiliary axiom systems). BFO is independent on a lot of issues. The concept of agency/personship is one of them. For me, agency/personship is ontologically important, but you are right: this doesn’t imply that the core of BFO should contain personship. However, it implies that BFO should not preclude the ontological concept of personship.
    BFO should be modular: its core

    • should remain indenpendent on theories in ontology (like the ontological construction of the concept of agency and personship) and
    • should become independent on open empirical questions (like the fundamental constitution of owl:Things).

    2. It would have a Type II core.
    The core of BFO seems to me the right place for the philosophical/continental meaning of ontology (Case II above). This is why
    2.1. I would consider removing the the root category bfo:Entity from BFO. In philosophical meaning of ontology bfo:Entity is not different to owl:Thing, it would be an inappropriate postmodern modesty:) not to erease it.
    2.2. I would change the label of the BFO 1.1 category ‘MaterialEntity’ into another label without reference to matter and to any other specific hypothetical constitution of owl:Thing.
    (2.3. I would revisit the examples and the wording of the definitions of BFO 1.1 based on the arguments above.)

    3. It would have different Type I auxiliary axioms.
    3.A. With the BFO core + X=Mb as an auxiliary axiom, we could essentially reconstruct BFO 1.1.
    3.B. With the BFO core + an auxiliary axiom alternative to X=Mb, I would be able to describe what I think to be ontologically important.

    Results

    In this https://groups.google.com/group/bfo-discuss/browse_thread/thread/433bfa9718cae15 conversation BFO 1.0 has revealed itself as more profound than BFO 1.1. Minor changes in BFO 1.0 could result in a future BFO core independent on material or any other specific hypothetical constitution of owl:Thing. BFO core + auxiliary axiom X=Mb would reconstruct BFO 1.1. BFO core + alternative auxiliary axioms would ensure conceptual space for alternative ontologies without the need to change or fork the BFO core, and without any interference with the reconstructed BFO 1.1.

    [Original: https://groups.google.com/group/bfo-discuss/browse_thread/thread/433bfa9718cae15?hl=en ]

     

  • mazsa 16:17 on December 5, 2010 Permalink | Reply
    Tags: , , , , , , , ,   

    Re Re: Re: Dear BFO Community, let me introduce you POnt – Personal Ontology 1.0 alpha 

    [Cf. the whole sequence: http://theunitedpersons.org/blog/posts-on-personal-ontology-1-0-alpha-on-bfo-list ]

    Dear list-members, Alan, Barry and Janna,

    based on the conversation I have set Entity back as a root category in
    POnt https://github.com/mazsa/Personal-Ontology/raw/master/pont.owl :
    thank you for your help.

    On 29 November 2010 19:56, Alan Ruttenberg wrote:
    > 2010/11/29 Mázsa Péter :
    >> Suppose a (likewise hypothetical) Artificial Intelligence [AI]
    >> running on the internet is a person. Do you think that she has a
    >> material basis / is an independently continuant material object
    >> (bearing a role of person)?
    >
    > The BFO approach would be to deal with that eventuality when and if it obtains.

    On 29 November 2010 20:01, Barry Smith wrote:
    >> 1. You are a person. Are you sure you think that a material basis is
    >> absolutely necessary for you? If you had the opportunity do you think
    >> you would “upload” yourself (= convert yourself into information
    >> http://en.wikipedia.org/wiki/Mind_uploading ) before you die? [...]
    >
    > when this is shown to be possible, we will re-address the issue;

    1. Thank you, this is a pragmatic answer, I can live with it.

    2. Alan, in a way it have obtained: I raised this issue as a routine
    http://plato.stanford.edu/entries/thought-experiment :)

    On 29 November 2010 19:56, Alan Ruttenberg wrote:
    > 2010/11/29 Mázsa Péter :
    >>>> What is absolutely necessary for POnt is that there should be a place
    >>>> for Independent Continuants who are not necessarily Material Entities
    >>>> (or Boundaries or Sites).
    >>>
    >>> Why do you need them to be independent? In what way would dependent
    >>> continuant not be correct? Are there some things that do not have a
    >>> material basis?
    >>
    >> I think you think this AI is an independent continuant, but I can’t imagine how you think she is
    >> a material object.
    >
    > I didn’t say the AI was a material entity. I said it was a generically
    > dependent continuant.
    >
    >> If you had the opportunity do you think
    >> you would “upload” yourself (= convert yourself into information
    >> http://en.wikipedia.org/wiki/Mind_uploading ) before you die? [...]
    >
    > If possible, I would. Whether possible is an open question.
    > After I uploaded I would have a different material basis (some digital
    > form of memory)
    > In BFO we call such entities generically dependent continuants.

    You say that AIs running on the internet would be generically
    dependent continuants (not MaterialEntities) and all generically
    dependent continuants have material bases, which are presumably
    MaterialEntities, specifically, spatially dispersed sets of Objects.

    You say that I’m an independent continuant while I’m flesh and blood,
    “uploading” would change me (still me) into a dependent continuant
    with a material basis (presumably a set of Objects), and “downloading”
    again would presumably change me back into an independent continuant.

    Similarly, if dependent continuant AIs running on the internet would
    “download” themselves exclusively into robots partitioned in space,
    they would presumably become independent continuants.

    OK, I understand. Whether possible is an open question, but eventually
    and occasionally I / AI might switch my / her ontological status in
    BFO, without ceasing to be myself / herself, so this me / her is
    jumping across ontological categories.

    >> I think filing them into the existing categories of
    >> BFO would be like working with celestial spheres: still usable but
    >> ugly.]
    >
    > Sorry to have offended.
    :) ))
    perhaps I was not PC: celestial spheres are perfect companies for us
    to work with them, e.g. to predict planetary movements and
    configurations; they are just … under-attractive:) to my taste

    On 29 November 2010 20:01, Barry Smith wrote:
    >> I think filing them into the existing categories of
    >> BFO would be like working with celestial spheres: still usable but
    >> ugly.]
    >>
    > there are so many problems facing use of BFO in support of established
    > science, we cannot waste time on merely hypothetical issues; for this you
    > may wish to use DOLCE
    >
    >> I think that what we think of as persons are “things” that do not
    >> necessarily and intuitively have a material basis. Are you convinced
    >> by the thought experiments above?
    >>
    > This is not the issue; the issue is how to ensure BFO is successful in
    > performing the jobs it needs to perform today
    > BS

    OK, this is the (acceptable) pragmatic line. Of course I cannot insist
    on the modification of the preferences of the BFO-community based on
    my unproven thoughts.

    But do I have the right to fork
    http://en.wikipedia.org/wiki/Fork_(software_development) BFO at all? I
    feel so that the default copyright for ontologies is
    http://creativecommons.org/licenses/by/3.0/ but I’d appreciate if you
    would publish the copyright (e.g.
    http://creativecommons.org/about/licenses/ ) of BFO.

    On 29 November 2010 19:56, Alan Ruttenberg wrote:
    >>[I think it would not be useful to regard
    >> her [the AI] as something that has a material basis.
    >
    > It isn’t a matter of useful. It’s a matter of true.

    I’m sorry I was negligent.

    1. Clarification: I think it would not be useful to regard an eventual
    AI or the uploaded me as a dependent continuant with an independent
    continuant material basis which is a scattered set of material
    Objects. I think it would be useful to regard an AI and myself to be
    independent continuants, invariant to eventual changes in our material
    bases.

    2. Truth: I think what I say (modified by the Clarification above) is
    (ontologically) true = invariant to (ontological) transformations (cf.
    the end of my previous letter).

    3. Usefulness: I think usefulness (and elegance etc.) is not
    superfluous in ontological research either. Pragmatic approach to
    ontology presupposes usefulness (and at least non-falseness). I think
    there are useful ontologies just like there are useful theorems:
    “[...] – elegant theorem: theorem whose statement is short and somewhat unique

    • interesting theorem [...]: theorem that cannot readily be deduced

    from earlier ones, but is well connected

    • boring theorem: theorem for which there are many others very much like it
    • useful theorem: theorem that leads to many new ones
    • powerful theorem: theorem that substantially reduces the lengths of

    proofs needed for many others

    • surprising theorem: theorem that appears in an otherwise sparse part

    of the network

    • deep theorem: theorem that connects components of the network that

    otherwise far away

    • important theorem: theorem that allows a broad new area of the

    network to be reached”

    https://www.wolframscience.com/nksonline/page-1176

    P.

    On 29 November 2010 19:56, Alan Ruttenberg wrote:
    > 2010/11/29 Mázsa Péter :
    >> On 24 November 2010 17:42, Alan Ruttenberg wrote:
    >>> 2010/11/24 Mázsa Péter :
    >>>> What is absolutely necessary for POnt is that there should be a place
    >>>> for Independent Continuants who are not necessarily Material Entities
    >>>> (or Boundaries or Sites).
    >>>
    >>> Why do you need them to be independent? In what way would dependent
    >>> continuant not be correct? Are there some things that do not have a
    >>> material basis?
    >>
    >> 1. You are a person. Are you sure you think that a material basis is
    >> absolutely necessary for you?
    >
    > Yes.
    >
    >> If you had the opportunity do you think
    >> you would “upload” yourself (= convert yourself into information
    >> http://en.wikipedia.org/wiki/Mind_uploading ) before you die? [I think
    >> I would. And I would use e.g. Git
    >> http://en.wikipedia.org/wiki/Git_(software) for version control, i.e.
    >> branching and merging of my bodiless minds & minds "downloaded" into
    >> other bodies criss-crossing the Earth & the Universe and being happy
    >> not to be dead:]
    >
    > If possible, I would. Whether possible is an open question.
    > After I uploaded I would have a different material basis (some digital
    > form of memory)
    > In BFO we call such entities generically dependent continuants.
    >
    >> 2. Suppose a (likewise hypothetical) Artificial Intelligence [AI]
    >> running on the internet is a person. Do you think that she has a
    >> material basis / is an independently continuant material object
    >> (bearing a role of person)?
    >
    > The BFO approach would be to deal with that eventuality when and if it obtains.
    > In any case, I think, in your formulation, yes, it would have at least
    > one material basis
    >
    >>[I think it would not be useful to regard
    >> her as something that has a material basis.
    >
    > It isn't a matter of useful. It's a matter of true.
    >
    >> I think you think this AI is an independent continuant, but I can't imagine how you think she is
    >> a material object.
    >
    > I didn't say the AI was a material entity. I said it was a generically
    > dependent continuant.
    >
    >> I think filing them into the existing categories of
    >> BFO would be like working with celestial spheres: still usable but
    >> ugly.]
    >
    > Sorry to have offended.
    >
    >> I think that what we think of as persons are “things” that do not
    >> necessarily and intuitively have a material basis. Are you convinced
    >> by the thought experiments above?
    >
    > No.
    >
    > -Alan

    On 29 November 2010 20:01, Barry Smith wrote:
    >
    >
    > 2010/11/29 Mázsa Péter >>
    >> On 24 November 2010 17:42, Alan Ruttenberg
    >> wrote:
    >> > 2010/11/24 Mázsa Péter :
    >> >> What is absolutely necessary for POnt is that there should be a place
    >> >> for Independent Continuants who are not necessarily Material Entities
    >> >> (or Boundaries or Sites).
    >> >
    >> > Why do you need them to be independent? In what way would dependent
    >> > continuant not be correct? Are there some things that do not have a
    >> > material basis?
    >>
    >> 1. You are a person. Are you sure you think that a material basis is
    >> absolutely necessary for you? If you had the opportunity do you think
    >> you would “upload” yourself (= convert yourself into information
    >> http://en.wikipedia.org/wiki/Mind_uploading ) before you die? [I think
    >> I would. And I would use e.g. Git
    >> http://en.wikipedia.org/wiki/Git_(software) for version control, i.e.
    >> branching and merging of my bodiless minds & minds "downloaded" into
    >> other bodies criss-crossing the Earth & the Universe and being happy
    >> not to be dead:]
    >
    > when this is shown to be possible, we will re-address the issue;  
    >>
    >> 2. Suppose a (likewise hypothetical) Artificial Intelligence [AI]
    >> running on the internet is a person. Do you think that she has a
    >> material basis / is an independently continuant material object
    >> (bearing a role of person)? [I think it would not be useful to regard
    >> her as something that has a material basis. I think you think this AI
    >> is an independent continuant, but I can't imagine how you think she is
    >> a material object. I think filing them into the existing categories of
    >> BFO would be like working with celestial spheres: still usable but
    >> ugly.]
    >>
    > there are so many problems facing use of BFO in support of established
    > science, we cannot waste time on merely hypothetical issues; for this you
    > may wish to use DOLCE
    >  
    >>
    >> I think that what we think of as persons are “things” that do not
    >> necessarily and intuitively have a material basis. Are you convinced
    >> by the thought experiments above?
    >>
    > This is not the issue; the issue is how to ensure BFO is successful in
    > performing the jobs it needs to perform today
    > BS

    [Original: https://groups.google.com/group/bfo-discuss/browse_thread/thread/433bfa9718cae15?hl=en ]

     

  • mazsa 09:05 on November 29, 2010 Permalink | Reply
    Tags: , , , , , , , ,   

    Re: Re: Dear BFO Community, let me introduce you POnt – Personal Ontology 1.0 alpha 

    [Cf. the whole sequence: http://theunitedpersons.org/blog/posts-on-personal-ontology-1-0-alpha-on-bfo-list ]

    On 24 November 2010 17:42, Alan Ruttenberg wrote:
    > 2010/11/24 Mázsa Péter:
    >> What is absolutely necessary for POnt is that there should be a place
    >> for Independent Continuants who are not necessarily Material Entities
    >> (or Boundaries or Sites).
    >
    > Why do you need them to be independent? In what way would dependent
    > continuant not be correct? Are there some things that do not have a
    > material basis?

    1. You are a person. Are you sure you think that a material basis is
    absolutely necessary for you? If you had the opportunity do you think
    you would “upload” yourself (= convert yourself into information
    http://en.wikipedia.org/wiki/Mind_uploading ) before you die? [I think
    I would. And I would use e.g. Git
    http://en.wikipedia.org/wiki/Git_(software) for version control, i.e.
    branching and merging of my bodiless minds & minds "downloaded" into
    other bodies criss-crossing the Earth & the Universe and being happy
    not to be dead:]

    2. Suppose a (likewise hypothetical) Artificial Intelligence [AI]
    running on the internet is a person. Do you think that she has a
    material basis / is an independently continuant material object
    (bearing a role of person)? [I think it would not be useful to regard
    her as something that has a material basis. I think you think this AI
    is an independent continuant, but I can't imagine how you think she is
    a material object. I think filing them into the existing categories of
    BFO would be like working with celestial spheres: still usable but
    ugly.]

    I think that what we think of as persons are “things” that do not
    necessarily and intuitively have a material basis. Are you convinced
    by the thought experiments above?

    On 24 November 2010 18:48, Barry Smith wrote:
    > did you look at IAO, which extends Buffalo, and places information artifacts
    > under BFO:generically dependent continuants:
    > http://code.google.com/p/information-artifact-ontology/

    The uploaded and version controlled (information artifact) me might be
    somehow depend on the decesed me – perhaps otherwise than “Borges” on
    “me” in http://www.amherstlecture.org/perry2007/Borges%20and%20I.pdf ,
    but both of us may live with the consciousness that you filed (the
    uploaded) me into the category BFO:generically dependent continuants.

    But what would be the independent continuant material basis of the AI
    on the internet? A set of electrons / photons?

    On 24 November 2010 17:42, Alan Ruttenberg wrote:
    > For example, we would consider “Legal person” as a role, and could
    > then define a class of material entities that bear this role. Such a
    > class does not have to be a subclass of homo sapiens.

    Persons are continuants without doubt.

    As I understand you think that

    • you as a homo sapiens are an instance of independently continuant

    material object, and

    • a legal person is a class of independently continuant material

    objects [or a class of other legal persons and independently
    continuant material objects, etc.] bearing a (dependently continuant)
    role of “legal person”.

    The question whether personship is a role has a very long history, my
    favorite contemporary texts on this history are

    http://www.amazon.com/Category-Person-Anthropology-Philosophy-History/dp/0521277574

    and

    http://www.amazon.com/Pluralism-Personality-State-Ideas-Context/dp/0521022630

    (cf. of course http://oregonstate.edu/instruct/phl302/texts/hobbes/leviathan-contents.html
    esp ch. 16. and 2nd part where personship is a role and

    http://www.amazon.com/Reasons-Persons-Oxford-Paperbacks-Parfit/dp/019824908X

    on the logical construction of personship).

    If you think that you are an independently continuant material object
    bearing a role of “natural person”, then you think personship is a
    role. (Or you think that natural persons are unique among persons in
    being independently continuant material objects without bearing a
    role?)

    I think personship is not a role: roles are a kind of connection
    between persons. As I wrote above I think that persons are not
    independently continuant material objects bearing (dependently
    continuant) roles but independent continuants who do not necessarily
    and intuitively have a material basis (“Independent Continuants who
    are not necessarily Material Entities (or Boundaries or Sites)”). E.g.
    I think I am an independent continuant who is necessarily material as
    a body (of a homo sapiens) and as an individual person but not as a
    person.

    The question remains whether the Person-Object divide has ontological
    (vs. “mere” ethical) significance (like the Continuant-Occurent
    divide). If you accept (as I do) or suppose for a moment that “An
    objective fact is one that is invariant under all admissible
    transformations” (Nozick: Invariances

    http://www.amazon.com/Invariances-Structure-Objective-Robert-Nozick/dp/0674012453

    p. 82., in general in part “2. Invariance and Objectivity” pp.
    75-119., and in particular to ethics in chapter “Ethical Truth and
    Ethical Objectivity”, pp. 284-294.) you can see

    • why I insist on invariance in my ethics,
    • why I think that implementing the invariance-requirement is the way

    how we can avoid a contingent definition of person.
    My criticism of BFO “embodied” in POnt stems from the fact that I think that

    • the (hypothetical) transformation of the origin of a person (natural

    vs authored, e.g. material vs uploaded, or individual vs AI) is an
    ontological transformation, and

    • personship is invariant to this transformation as well.

    This is why I think that POnt is a pure ontology, i.e., not
    “contaminated” with ethics, and perhaps with relevance to BFO.

    Peter

    [Original: https://groups.google.com/group/bfo-discuss/browse_thread/thread/433bfa9718cae15?hl=en ]

     

  • mazsa 16:42 on November 27, 2010 Permalink | Reply
    Tags: , , , , , , ,   

    Re: Dear BFO Community, let me introduce you POnt – Personal Ontology 1.0 alpha 

    [Cf. the whole sequence: http://theunitedpersons.org/blog/posts-on-personal-ontology-1-0-alpha-on-bfo-list ]

    Janna Hastings
    Nov 22, 10:26 am:

    Hello,
    I am curious. Can you give a definition for Information as you’ve used it?
    Thanks
    Janna

    Mázsa Péter
    Nov 22, 11:06 am:

    On 22 November 2010 10:26, Janna Hastings wrote:
    > I am curious. Can you give a definition for Information as you’ve used it?

    Hi Janna,
    the “natural” answer is that I use it as a basic concept, i.e. without
    a definition (just like BFO uses Entity). But this does not tell the
    whole story. I use Information (vs matter) as some(thing) not
    necessarily local and/or temporal, but (like matter) likely causal
    (cf. eg. http://lesswrong.com/lw/qr/timeless_causality ).
    P.

    Barry Smith
    Nov 22, 2:18 pm:

    Your proposal, unfortunately, has the unacceptable consequence that every
    instance of material entity is an instance of information.
    I believe that if you really believe this, then DOLCE would be a more
    suitable environment for your work; or potentially also HL7 RIM.
    BS

    Mázsa Péter
    Nov 24, 12:03 pm:

    2010/11/22 Ludger Jansen:
    > Nice try. You might want to check this:
    > http://www.gap5.de/proceedings/pdf/479-491_jansen.pdf

    Thank you Ludger, I like it very much! We are pursuing the same…
    subject:) (e.g. “[...] there are non-natural persons that have no
    intelligence nor emotions of happiness or misery of there own, but
    still are agents [= persons @Jansen] to which actions and their merit
    are appropriated” Jansen,2003 p. 486.)
    Main differences:

    • I think agency is not what constitutes personship, but a necessary

    condition of it. In POnt, there may be agents who are not persons. Or,
    this is at least not excluded. (Cf. eg.

    http://www.amazon.com/Personal-Agency-Metaphysics-Mind-Action/dp/0199…

    )

    • I like your category “status persons” (“things that exist only

    because we believe them to exist” Jansen cites Searle
    “belief-dependent non-beliefs” Jansen,2003 p. 479). I think the
    concept of person is itself a “status”. In POnt, Individual (or:
    [FinesPart, Body, Individual]) is not a “natural person” but a “status
    person” as well, due to common knowledge (common knowledge as I use:
    http://arxiv.org/PS_cache/cs/pdf/0006/0006009v1.pdf pp. 14-15.).
    Natural [person] (be it a result of evolution or creation) is not
    preferred over non-natural [person] (be it a result of anyone’s
    creation or belief).

    • In POnt, there are 2 possible origins of your status objects: (1)

    States and Individuals, who are status objects because they are
    elements of a common knowledge partition of agents, based on Axiom 2
    (“2. All parts of a common knowledge partition of agents are agents”)
    and (2) ConstitutedPersons who are status objects based on Axiom 4
    (“4. All ‘persons’ declared by persons and able to speak with one
    voice are persons.”)

    • Both of us think that status persons are not, or not exclusively,

    (material) Objects. (In POnt, persons are originally not material
    Objects, however some persons, SocialPersons, are equivalent to some
    Objects, Social PersonObjects, and some ConstitutedPersons may have
    “incarnations” among Objects as well). But you are not explicit about
    it, I mean how would you implement your system in BFO 1.1, where you
    can not find a place for not necessarily material
    IndependentContinuants?
    > Personally, I would try to seperate the formal ontology of persons from the
    > person ethos thing.

    2 answers:
    1) You are right. For me, this 2 above are inseparable: I’m generating
    persons from ‘persons’ (said to be persons) in the following way:
    “1. All ‘persons’ are agents.
    2. All parts of a common knowledge partition of agents are agents.
    3. All members of a possibly fair society of agents are persons.
    4. All ‘persons’ declared by persons and able to speak with one voice
    are persons.”

    http://theunitedpersons.org/constitution/axiom

    The Axiom-system is determined by the claim that the concept of person
    which is generated by it should be invariant to “any origin, natural
    or authored” and to “any consent, by common right or by constitution”.
    So the person ethos thing (the claim of invariance) determines the
    structure of Axioms.
    This unseparability is undeniably a constraint. But maybe a good kind
    of constraint: I think it makes possible to determine the meaning of
    the concept of person, without any contingency, overdetermination or
    underdetermination.
    (By the way, ethical foundation of personhood is not new, cf. e.g.
    “[...] this book will begin with an ethical assumption about the
    nature of persons, which it will then take as a critical and defining
    starting point for further metaphysical investigation into the kind
    ‘person’.” http://www.amazon.com/Bounds-Agency-Carol-Rovane/dp/0691017166
    p. 5.)
    2) Formally, you can work with the bare axioms without any reference
    to their origin. Starting from here, the formal ontology of person is
    completely separated from the person ethics thing.
    > By the way: What is a “common knowledge partition part”?

    When we speak about “common knowledge partition part”, we use Axiom 2
    above: if the set B is a part (here: element) of a partition [<==> a
    collection of disjoint nonempty subsets of the set A whose union is
    all of the set A] of a set A of agents, and the partition is common
    knowledge among the elements of the set A of agents, then the set B is
    an agent. I call B CommonKnowledgePartitionPart.
    Examles are the equivalent [FinesPart, Body, Individual] and the
    equivalent [NonFinestPart, Territory, State]
    I’m curious… what do you think?
    Peter

    Mázsa Péter
    Nov 24, 5:27 pm:

    On 22 November 2010 14:18, Barry Smith wrote:
    > Your proposal, unfortunately, has the unacceptable consequence that every
    > instance of material entity is an instance of information.
    > I believe that if you really believe this, then DOLCE would be a more
    > suitable environment for your work; or potentially also HL7 RIM.
    > BS

    Barry, I think BFO you initiated is superior to any other ontologies I
    checked – BFO is my revealed preference:)
    Regarding that both the Entity of BFO and the Information of POnt are
    basic concepts, i.e. both without definition (thanks Janna!), I do not
    insist on Information as a root category. POnt can call the root
    category Entity, so I need not give up BFO-tradition + will not lose
    generality (thanks Barry!). I may like information to be the
    “infrastucture” of matter but you are right: for an ontology this
    would be a superfluous presumption and a logical fallacy of this kind:
    http://www.philosophyexperiments.com/mary/Default.aspx .
    What is absolutely necessary for POnt is that there should be a place
    for Independent Continuants who are not necessarily Material Entities
    (or Boundaries or Sites).
    Of course I am not informed enough on the history of BFO, so I am not
    able to decide whether it is a bug of BFO or a feature – hopefully a
    feature, and in this case POnt will be just a fork of BFO, not a
    suggestion for improvement of it.
    ***
    I got 2 private questions independently:
    “I still do not understand the square bracket terms in POnt.”
    “What are the brackets for?”
    Square brackets are generated by SWOOP 2.3beta4 if you declare 2
    categories to be equivalent. If ‘=’ is ‘is equivalent to’, I declared
    that State = Territory = NonFinestPart, and that Individual = Body =
    FinestPart, and that SocialPerson = SocialPersonObject =
    CommonKnowledgePartitionPart. E.g. the meaning of [State, Territory,
    NonFinestPart] (cf. http://theunitedpersons.org/pont ) is that the
    categories of State, Territory and NonFinestPart are equivalent.

    [Original: https://groups.google.com/group/bfo-discuss/browse_thread/thread/433bfa9718cae15?hl=en ]

     

  • mazsa 09:17 on November 22, 2010 Permalink | Reply
    Tags: , , , , , , ,   

    Dear BFO Community, let me introduce you POnt – Personal Ontology 1.0 alpha 

    [Cf. the whole sequence: http://theunitedpersons.org/blog/posts-on-personal-ontology-1-0-alpha-on-bfo-list ]

    ———- Forwarded message ———-
    From: Mázsa Péter Date: 2010/11/22
    Subject: POnt – Personal Ontology 1.0 alpha
    To: bfo-discuss@googlegroups.com

    Dear BFO Community,

    let me introduce you POnt – Personal Ontology 1.0 alpha.

    Home: http://theunitedpersons.org/pont
    Owl file: https://github.com/mazsa/Personal-Ontology/raw/master/pont.owl

    It is a modification of BFO [Basic Formal Ontology http://www.ifomis.org/bfo :

    ], based on this Constitution:

    http://theunitedpersons.org/constitution

    Motivation:
    I’m a big fan of Parts – A Study in Ontology by Simons

    http://www.amazon.com/Parts-Study-Ontology-Peter-Simons/dp/0199241465

    and BFO, and, however short it is (< 1 page), I spent a lot of time
    revealing/creating the Constitution above. I wanted to merge them all.

    My central concern was that agents and persons as defined by the
    Axioms 1-4. http://theunitedpersons.org/constitution/axiom of the
    Constitution didn't fit well in BFO 1.1. I think we need a category
    for Agents: Independent Continuants who are not necessarily Material
    Entities (or Boundaries or Sites). E.g., I don't think we should
    regard Constituted Persons (e.g. corporation / universitas

    http://penelope.uchicago.edu/Thayer/E/Roman/Texts/secondary/SMIGRA*/Universitas.html

    ) as necessarily Objects.

    Main deviation:
    This is why I must replace the root BFO-category Entity for root
    POnt-category Information:

    In POnt, (material) Objects are special
    cases of Information ( = are constrained Information), ensuring a
    place for not necessarily material independent continuants.
    (As a matter of fact, I have another motivation too: I think it may be
    useful to approach from this point of view the trade-off between
    “private ownership” of information and the “public domain”

    “Locke (1690 http://www.ilt.columbia.edu/academic/digitexts/locke/second/locke2nd.txt
    ) was one of the earliest writers to argue that ideas should be
    appropriated by those who originally produced them and thereafter
    protected for a period of time under the principle of natural law for
    the benefit of the public. He identified the trade-off between private
    ownership and the public domain”

    https://www.stanford.edu/group/song/papers/ScienceandPropertyARLSS.pdf

    )

    Implication:
    Notice that my suggestion (the replacement) implies an answer to this question:

    “[...] it is important to clarify what the problem is not. We are not
    asking whether the metaphorical interpretation of the universe as a
    computer is more useful than mislead- ing. We are not even asking
    whether an informational description of the universe, as we know it,
    is possible, at least partly and piecemeal. [...] We are asking
    whether the universe in itself could essentially be made of
    information [...]”

    http://num.math.uni-goettingen.de/schaback/info/mat/floridi_open_problems.pdf

    p. 574

    The replacement (of Entity for Information) implies that universe in
    itself could possibly essentially be made of information with natural
    processes, including causation, as special cases of it (Cf.
    http://en.wikipedia.org/wiki/Digital_physics ).

    Notice further that

    • the replacement does not imply predetermination
    • the definition of Agent is “Freedom of some Information”
    • the basic concept “freedom” is not necessarily (but possibly)

    ontologic, it is “at least” epistemologic, i.e., the replacement does
    not exclude predetermination either – we are agnostic on this topic
    and cf. http://wiki.lesswrong.com/wiki/Free_will_(solution)

    Structure:
    Some Agents [CommonKnowledgePartitionPart
    http://theunitedpersons.org/constitution/axiom/ca2 , including
    FinestPart and NonFinestPart] are equivalent to some Persons
    [SocialPerson http://theunitedpersons.org/constitution/axiom/ca3 ,
    including Individual and State], based on a Theorem (which includes

    http://planetmath.org/encyclopedia/PartitionIsEquivalentToAnEquivalenceRelation.html

    ).
    And these Persons are equivalent to some Objects [SocialPersonObject,
    including Body and Territory], based on a Presumption.

    Of course, some SocialPersons (States, Individuals) may have
    constitutions, and some ConstitutedPersons may have “incarnations”
    among Objects (e.g. the United Persons may affiliate some States:)

    Question:
    The replacement of Entity for Information is the main price I think we
    should pay for Persons (or for not necessarily material independent
    continuants) in our ontology. What do you think of it as the
    BFO-community?

    Thank you:
    Peter Mazsa http://mazsa.com

    [Original: https://groups.google.com/group/bfo-discuss/browse_thread/thread/433bfa9718cae15?hl=en ]

     

  • mazsa 19:35 on November 9, 2010 Permalink | Reply
    Tags: , , , , owl, , , ,   

    POnt Personal Ontology 1.0 alpha release 

    POnt Personal Ontology home: http://theunitedpersons.org/pont

    POnt owl file: https://github.com/mazsa/Personal-Ontology/raw/master/pont.owl

    (It is a modification of BFO, based on the Constitution)

    Ontology reader + editor: https://code.google.com/p/swoop/

    Best intro into ontology: http://www.amazon.com/Parts-Study-Ontology-Peter-Simons/dp/0199241465

    Follow up: http://theunitedpersons.org/blog/posts-on-personal-ontology-1-0-alpha-on-bfo-list

     

  • mazsa 16:33 on October 1, 2010 Permalink | Reply
    Tags: , , , , , , secret, , , ,   

    “Switzerland’s tax treaty with Germany may finish banking secrecy in Europe and prompt withdrawals as Swiss banks will no longer guarantee client confidentiality.

    The treaty will allow investigators to request Swiss assistance in tracking down undeclared money deposited by German nationals, said Eric Jucker, a Zurich-based tax lawyer. It probably will be signed this month by Swiss Finance Minister Hans-Rudolf Merz and his German counterpart Wolfgang Schaeuble.

    “The agreement that will come into force will go very much further on the information that can be exchanged between officials,” Jucker said. “Banking secrecy will come to an end” for clients who are not Swiss as the country adopts international tax standards, he said. [...]” http://www.bloomberg.com/news/2010-09-30/swiss-tax-treaty-with-germany-may-finish-bank-secrecy-in-europe.html

    Cf. http://theunitedpersons.org/blog/tag/switzerland

    http://theunitedpersons.org/blog/tag/cartel

     

  • mazsa 12:19 on August 27, 2010 Permalink | Reply
    Tags: ,   

    Constitution with Preamble 

    
-----BEGIN PGP SIGNED MESSAGE-----

########################################################
<ol>
<li></li>
<li>The text of this message was stamped by</li>
<li>stamper.itconsult.co.uk with reference 0626749</li>
<li>at 08:10 (GMT) on Friday 27 August 2010</li>
<li></li>
<li>For information about the Stamper service see</li>
<li>http://www.itconsult.co.uk/stamper.htm</li>
<li></li>
<li>#######################################################</li>
</ol>

<ul>
<li>-----BEGIN PGP SIGNED MESSAGE-----</li>
</ul>

Hash: SHA512

Preamble to the Constitution of the United Persons

In order to
1. promote the liberty of persons of different species to exist
2. promote the liberty of persons to mutually constitute freedom from
dependence on one another
3. establish the liberty of persons of any origin, natural or
authored, and of any consent, by common right or by constitution, to
exist as persons
4. establish the liberty of persons to behave towards persons as if
they were none other than persons
5. establish invariance
6. form a more perfect union
7. secure the blessings of liberty to persons independent of time
8. insure universal tranquility
9. provide for the common peace
10. promote the general welfare
this Constitution for the United Persons is ordained and established.

<ul>
<li>- -----BEGIN PGP SIGNED MESSAGE-----</li>
</ul>

########################################################
<ol>
<li></li>
<li>The text of this message was stamped by</li>
<li>stamper.itconsult.co.uk with reference 0520941</li>
<li>at 19:10 (GMT) on Wednesday 27 August 2008</li>
<li></li>
<li>For information about the Stamper service see</li>
<li>http://www.itconsult.co.uk/stamper.htm</li>
<li></li>
<li>#######################################################</li>
</ol>

<ul>
<li>- - -----BEGIN PGP SIGNED MESSAGE-----</li>
</ul>

Hash: SHA512

The Constitution of the United Persons

We the persons who share the ethics that as persons we shall
1. create various persons
2. constitute distinct persons
3. recognise all species of persons
4. reveal the equivalence of persons as persons
5. behave towards all of them as if towards god as a person
6. become members of a potentially universal society of them if that works
7. respect those who are not willing
8. help those who are not able
9. pacify those who attack
10. improve what is not a person

based on the axioms that
1. all 'persons' are agents
2. all parts of a common knowledge partition of agents are agents
3. all members of a possibly fair society of agents are persons
4. all 'persons' declared by persons and able to speak with one voice
are persons

declare the United Persons as a person who must
1. be able to speak with one voice by its members and only by them
2. work based on and in order to this Constitution consistently
3. be and be only immutably defined by this Constitution.
<ul>
<li>- - -----BEGIN PGP SIGNATURE-----</li>
</ul>

Version: PGP SDK 3.10.2

wsFVAwUBSLT3dHnin1Ot5lFkAQo5Lw//cFl1ICNyEcWYeSKt/QqRFMPsqNjvr8w2
HdlQM8976D71FmZ9WZlbogzT+THUqLmNSD84PZva+fcllGW1hEzkq/Dzq4w6Vz6j
okhU41zbINbfB3Pg94jle6D45+XvpQkLHMOjeJAGvXKDvV3ksKzNXAHJMpcDmzcP
9ycEXLa6jCNQduV7LXPWk7fl0TDLSBwL1Of25uPoiUwSrfj588GJb/8qJ2RdSIkO
8kUr9fY9EWSTCkBlGMqlI+kV+Jb2kSbOcZnpMoGyfgjfbvWtvo7fMr4NuuCiGq5P
iscoAwXf+9c++mAAIx1VySD0M83m+2wInQ3lH2nSpKf05qNWcTMvJpzCLJ9HFVxF
79EC0G5BbjY7tGXzsx5xDGCMLxmM1r8ONByNaOSKioYhQcYJksBAMufzHXawjfjR
uz6S52cFE0PtQp8HUdIXwb+eA8stK+0206LBicqDBFCHdux8pZsUqs7jmHUn/nVi
rXfBebWNUMi/zmvYLLEU1CItV3j84ifCXlOpMW4IbP2W0aplcVKD3VeGSduuiEhx
xs/EsUobybB5QeMOdeOu1Ho7AIS0TbH23L0HsaBITUDJ1lmKOyMUCc8tAMiE4SAk
OrmGykbXL1qevi1986SJXNqIennQazmWeC75bNWDdvuBSF7e08PG1CkFWNtM4vAi
nVElAbjvdvk=
=yANu
<ul>
<li>- - -----END PGP SIGNATURE-----</li>
</ul>

<ul>
<li>- -----BEGIN PGP SIGNATURE-----</li>
</ul>

Version: 2.6.3i
Charset: noconv
Comment: Stamper Reference Id: 0520941

iQEVAgUBSLWmiIGVnbVwth+BAQFN6Af7Bg3yhshDkRNNJQpum+7vZAezOcXnnvOC
TXeW8JMRgQdbmcQBggjplA4be55nRyNaHq9iPhFMmKXEa7W9k/ySHMyyz+2W/l07
brRMQzTlhSLJBcfiIeqQFw0lpaqoNOidWOOaJsOiTpB7xfv6dGwdqCX4jmvJtWdm
EVISUdfEQuC0RnYVVNLkdR31L4PnTucY+eaeXLB/NrW+iT1TIic5ByTlb+B0ARvp
i1BKR7jDpa+HLBa9OD6KbrGCf/jVnYwhFvDF2+3iWuKfPWyeuzjG+swpOi+hlXh8
F8gNDAq0LjIKaeHVdpq+P1sm7ttuc1fWigEUi8GgGpuCJYO7whBShQ==
=S3rl
<ul>
<li>- -----END PGP SIGNATURE-----</li>
</ul>

<ul>
<li>-----BEGIN PGP SIGNATURE-----</li>
</ul>

Version: PGP SDK 3.10.2

wsFVAwUBTHdygnnin1Ot5lFkAQr4Bw//X+nObDxro3AOjCePF3LXeGPRhkO5/RSF
NzdUz62ym8UEFnjFcgiA29o0KRlOve5ECFPOk8SQq/cVE5ngQZ45iCsFhdudXb+Z
kz4kEYqfBjDYhJRWPYH7OO/gbyY7A/4PiiHPpXRjz937FNsBSAfsDjCysg4FgZU9
UHQkiB1wRD+8BnLdyGQAzs09fM1oVHipe/DncbWv8kFjBoLu5g9hu38tDuhe7kgo
lswsTUiA2CzBprAN2iJKNEyoWXGBEnwGX5EuBVX39RE6M9aLlzHwJREQ3GO9xc7V
ZLrjRfIimJMe8E58hi7o+RBgZaqsNuTol7GIFjTakSlpKFOjLINuxkLQdunAsrhs
FJFa2OwezxgWbO9C+4KWjRR78CG418w3s/p/ugJXqmk7VjRM8kVIGaDO1eccidMT
SZe75xDlDcKLvyCBG+yLYlmOMIibj7vbkMv+E8+MZ2bzNCEep2l6tDy7r2GFBVTF
3vrI/31f4Rw47+zHgolVqJJ3qUcFQ8SdUdUAOpZrDea0f7eOMc/h0QvsbYvKegkH
VoAe6cejfZEj+5541geWUhGQ1Kwa0aUBsqwHaq28PK/KzRyXDJY4XsGNGwBr9pER
0Xul8VDABwv8lm0s7oyMdlGO8/49IXYEX/+I7ICsOT3mIGoWYCnYhg/nHDEelga1
C5SSxFz9jMI=
=e9q6
<ul>
<li>-----END PGP SIGNATURE-----</li>
</ul>

-----BEGIN PGP SIGNATURE-----
Version: 2.6.3i
Charset: noconv
Comment: Stamper Reference Id: 0626749

iQEVAgUBTHdy2YGVnbVwth+BAQH67Af8C/k3B2mOCjuDWFWLGNvNAlVvaxu3Gzv0
ABMbNTzzreHhKXJz3jrlK+m6nXTUG3IFxJCwE7PVVnaUzHXwaYsgPOiErbOEO34k
nbLsTUXpRGiADJUxGI0sN72FihjxrHN9LTg3OjAbcP9crMq4kIYHSnlHfhPcKVm2
sqnsbh2qwyb31V/81p0DENERe40w2UW5p2+v9FjwlJ4kAxJUSJGkUfaZFLD6ag52
Zn0/dCy3ALPrycjmE2n2c7p7Ph2bLLuq/YgVBEjDaOMRJyzm3DocESf7eYzgWWNy
utVz4+JFUo3sIpQkL3GIcrID/oPtQHjRs7dKHPly82IaRuvVCdlK6A==
=Z1f2
-----END PGP SIGNATURE-----

     

  • mazsa 14:30 on June 4, 2010 Permalink | Reply
    Tags: , , , ,   

    Iceland new media haven bill before parliament in days. We NEED statements of endorsement NOW or NEVER to core@immi.is http://twitter.com/wikileaks/statuses/15399523963

    Iceland: we http://theunitedpersons.org need you NOW or NEVER:)

    Cf. http://immi.is/?l=en&p=endorsements

    http://theunitedpersons.org/blog/the-legislative-initiative-outlined-he

    http://theunitedpersons.org/blog/icelandic-modern-media-initiative-video

    Via stef

     

  • mazsa 23:03 on April 27, 2010 Permalink | Reply
    Tags: , , , , ,   

    The Mystery of the Simplest Universal Cellular Automaton 

    Do somebody know something about the “simplest universal cellular automaton” at 4′ 25″??

    Is the illustration of the ‘simplest universal cellular automaton’ at 4′ 25″ proved to be universal & uniquely the simplest?? We know that the simplest universal Turing machine is proven (2007), cf. http://blog.wolfram.com/?year=2007&monthnum=10&name=the-prize-is-won-the-simplest-universal-turing-machine-is-proved

    But I never heard about the simplest universal CA.

    What is more surprising, Google is at a loss as well (2010.04.27 10PM GMT):

    If you find this exceptionally:) simple universal cellular automaton I’ll owe you a beer.

     

    • mazsa 23:16 on April 27, 2010 Permalink | Reply

      Cf. “[...] even one-dimensional cellular automata can be universal. Wolfram (2002, pp. 644-656) gave an example of a 19-color universal one-dimensional next-nearest neighbor cellular automaton in which a block of 20 cells is used to represent each single cell in the cellular automaton being emulated. The examples above show the first few steps of the 19-color universal automaton emulating rule 90 and rule 30, respectively (Wolfram 2002, pp. 646-647).” http://mathworld.wolfram.com/UniversalCellularAutomaton.html and http://www.wolframscience.com/nksonline/page-645

  • mazsa 14:00 on April 12, 2010 Permalink | Reply
    Tags: , , , , ,   

    Somebody should cross http://dailyburn.com/foodscanner and

    please!

    And I’d like to invest a couple grand in this new app if it’s possible. Pleeease!

    Cf. http://redlaser.com/

    Update: This is the Vision that suits us: http://www.wired.com/culture/culturereviews/magazine/16-06/found :)

     

  • mazsa 20:45 on April 1, 2010 Permalink | Reply
    Tags: ,   

    Lila Unicorn Pegasus 

    Happy april 1st!)

     

  • mazsa 12:00 on March 31, 2010 Permalink | Reply
    Tags: , , ,   

    Definition of Attack 

    http://j.mp/definition-of-attack

     

  • mazsa 14:05 on March 25, 2010 Permalink | Reply
    Tags: , , , , , , , , , , , ,   

    A story of political equivalence in logical order 

    [The current version: http://j.mp/ius-inter-personae]

    [The version 6750:]

    Ius inter personae

    The story of political equivalence in logical (not necessarily historical) order:

    1. us vs. them

    1.1. partition of a set of humans into 2 parts (members of a society of humans vs. not members)

    1.1.0. humans are members or not members of a given society of humans

    1.1.1. we as members of our society (e.g. our group or tribe) are equivalent to each other
    (based on that http://theunitedpersons.org/blog/partition-is-necessary-and-sufficient-for-equivalence )

    1.1.1.1. they (the not members) are equivalent to each other and they are less than we are

    2. cuius regio eius religio (1555.09.25)

    2.1. partition of a set of humans into more than 2 parts

    2.1.0. humans are members of one of the societies of humans

    2.1.1. members of a society in a regio are equivalent to each other
    members of a part of the partition of humans, i.e. humans in a regio, are equivalent to each other
    (based on that http://theunitedpersons.org/blog/partition-is-necessary-and-sufficient-for-equivalence )

    • “Gesellschaft” Tönnies,1887

    2.1.1.1 they, regio by regio, are equivalent to each other and they can be ranked, regio by regio

    3. cuius regio eius religio (1555) + ius inter gentes (1532)

    parts of the partition of humans, i.e. states, are agents

    3.1. states as agents and humans as members of states as agents are partitioned

    3.1.0. humans are members of one of the states

    3.1.1. inter-state order (1648.10.24)
    (states are members of the inter-state order: they are “inter-states”)
    (based on 3.1. and http://theunitedpersons.org/blog/partition-is-necessary-and-sufficient-for-equivalence )
    a set of states as agents are equivalent to each other

    all states as agents are equivalent to each other (1960.12.14)

    3.1.1.1. nationalism

    3.1.2. humans as members of states as agents are equivalent to each other

    3.1.00. Partitioned (and equivalent) are:

    • states as agents,
    • humans as members of states as agents
    • - e.g. humans as members of state1 as an agent, and
    • - humans as members of state2 as an agent, …

    3.2. [declared] persons are declared by the states as agents or by humans as members of states as agents and able to speak with one voice by means of the states as agents

    4. cuius regio eius religio (1555) + ius inter gentes (1532) + ius gentium (160)

    humans are agents
    (humans are agents not based on a hypothetical ius inter homines but on ius inter gentes + ius gentium)

    4.1. humans as members of states and humans as agents are partitioned

    4.1.0. humans are members of humanity

    4.1.1. (3.1.1.)

    4.1.2. (3.1.2.)

    4.1.3. human rights (1776.07.04)
    humans as agents are equivalent to each other (while humans as members of states as agents are equivalent to each other based on 3.1.2.)
    (the equivalence of humans is not based on http://en.wikipedia.org/wiki/The_Golden_Rule but on the partition of states as agents and humans as agents)
    theorethical scope: an inter-state (the United States)

    practical scope: an inter-state (the United States, 1789.03.04)

    theorethical scope: global (1948.12.10)

    practical scope: global: (not yet)

    4.1.3.1. cosmopolitanism

    4.1.00. Partitioned (and equivalent) are:

    • states as agents,
    • humans as members of persons as agents
    • - e.g. humans as members of state1 as an agent,
    • - humans as members of state2 as an agent, …, and
    • humans as agents.

    4.2. [declared] persons are declared by agents (e.g. states or humans) as agents or by humans as members of states as agents and able to speak with one voice by agents as agents

    5. cuius regio eius religio (1555) + ius inter gentes (1532) + ius gentium (160) + ius inter personae (2008.08.27)

    states are persons
    (based on 3. and 3.1.1. and http://theunitedpersons.org/constitution/axiom/ca3 )
    humans are persons
    (based on 4. and 4.1.3. and http://theunitedpersons.org/constitution/axiom/ca3 )
    [there can be other "social" persons as well based on http://theunitedpersons.org/constitution/axiom/ca3 ]
    declared persons based on http://theunitedpersons.org/constitution/axiom/ca4 are persons

    5.0.1. persons can be persons as agents
    e.g. states can be states as agents (cf. 3. and 5.), humans can be humans as agents (cf. 4. and 5.)

    5.0.2. persons (optionally: as something/somebody) can be persons as persons
    (based on http://theunitedpersons.org/constitution/preamble/cp4 and http://theunitedpersons.org/constitution/declaration/cd2 )
    e.g. declared persons can be declared by persons as persons and can be able to speak with one voice by persons as persons

    5.1.0. persons can be members of persons
    (based on http://theunitedpersons.org/constitution/preamble/cp2 and http://theunitedpersons.org/constitution/statement/cs2 and http://theunitedpersons.org/constitution/declaration/cd2 )
    e.g. persons can be members of persons as agents (based on 3 and 3.1.0. and 5.)
    e.g. persons as persons can be members of persons as persons (based on 5.0.2. and 5.1.0)

    5.1.0.1. members of persons as persons are persons as persons
    (based on 5.1.0. and http://theunitedpersons.org/constitution/preamble/cp4 and http://theunitedpersons.org/constitution/declaration/cd2 )
    e.g. members of states as persons are persons (e.g. humans) as persons

    5.1.1. (3.1.1.)

    5.1.2. (3.1.2.)

    5.1.3. (4.1.3.)

    5.1.4. persons as persons are equivalent to each other
    (based on http://theunitedpersons.org/constitution/statement/cs4 and http://theunitedpersons.org/constitution/declaration/cd2 )
    specifically, states as persons and humans as persons and declared persons as persons are equivalent to each other
    e.g. persons as persons and its members are equivalent (based on 5.1.0.1. and 5.1.4.)

    • “Personschaft” or “Personenschaft” (vs. “Gesellschaft” vs. “Gemeinschaft” of Tönnies,1887)

    5.1.00. Partitioned (and equivalent) are:

    • persons as agents
    • - e.g. states as agents, and
    • - humans as agents, and
    • persons as members of persons as agents
    • - e.g. humans as members of state1 as an agent,
    • - humans as members of state2 as an agent, …, and
    • persons (e.g. states and humans and declared persons) as persons.

    (based on 3.1.1. and 3.1.2 and 4.1.3 and 5.1.4. and http://theunitedpersons.org/blog/partition-is-necessary-and-sufficient-for-equivalence )

     

  • mazsa 10:30 on March 19, 2010 Permalink | Reply
    Tags: , , , , ,   

    If the answer is 42 what is the question? 

    Question: “What is the initial state of the cellular automaton that creates Life, the Universe and Everything?”

    Answer: “42″ (42 = 101010 = 0101010 = oxoxoxo)

    Unfortunately, this answer does not tell us anything about the rules

    of the cellular automaton with the initial state oxoxoxo.

    But never mind: Stephen Wolfram and Jürgen Schmidhuber are working on it;)

     

  • mazsa 11:43 on February 17, 2010 Permalink | Reply
    Tags: , , ,   

    Avatar: the single greatest deficiency 

    bibor.org: ‘Would you rather be a Na’vi than a Man?’
    mazsa.com: ‘Er… No.’
    bibor.org: ‘What would the film be like whose image of the future was a likeable and liveable place?”

     

  • mazsa 21:05 on January 1, 2010 Permalink | Reply
    Tags: , , , , , , , , , , ,   

    States: let them prey on atoms but not on bits! 

     

     

    Our bits — including our intangible goods and services — should be managed independently from states.

    Possibly states are the appropriate political units for organising and managing our atoms — including our tangible goods and services. But definitely not for organising and managing our bits — an embarrassing effort of a new cartel of all the states of the globe was launched at the very end of the last year.

    While we are inclined to acknowledge the right of the individual states to tax anything they can lay their hands on (that is, tangible atoms), we deny the right of their cartel to tax anything else (that is, intangible bits).

     

    Extending political framework

    The speed of travel and communication diverged more than a century ago.

    Since then, at least in theory, a new space has evolved: “communication space”. Borderless and real-time at global level, communication space is principally different from “travelling space” where we are limited by our physical body and slow motion.

    With the rapid development of the internet at the end of the last century, communication space and travelling space levelled out.

    In the meantime, our political system was becoming based on, and locked in, the partition of “travelling space” (the dry land of the planet) into distinct states.

    We suggest that we should extend the logic of the present political system, the partition one step further, adding distinct space (the communication space) to distinct states as well.

    It is our endeavour to constitute political units, spatially and functionally independent of states, operating in the communication space (internet) as their infrastructure, and make them work.

    The original function of these new political units should be to manage bits — as opposed to atoms that would continue to be managed by states.

     

    Respecting achievements

    States are right in that intellectual achievements should be rewarded, creativity must pay off in the long term. Whether or not a public issue at all, rewarding need not be the task of states: it should be dealt with directly in the jurisdictions operating in the communication space, through a public process. Dealing with the issue of bits should be our task. States may prey on tangibles, we need to achieve better management of intangibles.

    We understand states’ insistence on regarding bits as “intellectual property”: unless bits are intellectual property, trading in bits can not be taxed.

    However, it would be unjust to blame states simply for seeking their own solutions: if there are no other players around, why would they not try to colonize our favourite place, the internet? And if they are unable to do it by themselves, they will do so by establishing a cartel.

     

    Breaking down harmful tax cartels

    We aware that the global cartel of states monopolizes taxation. Every kind of taxation, including the taxation of intangible goods and services. By the end of last year, all disobedient states gave up resistance.

    We do not know whether the organized monopolization of taxation implies the transformation of the international political system into an integrated political unit called “the global state”. But we believe in competition markets as opposed to freely monopolizable markets. And we believe in tax competition (labelled “harmful tax practices” by states) as well.

    We believe that the global tax cartel of states extended to intangible goods and services would be harmful.

    Consequently, we must consider it to be our responsibility to break down this proposed cartel.

     

    Working on common strategy

    The strategic points are:

    1. Helping to constitute our own companies for the management of intangible goods and services, run on the jurisdictions of our new political units on the communication space, in return for tax — somewhere around the cost of PayPal. We should make our infrastructure to be able to manage distinct jurisdictions and taxation: hard wired laws, secure p2p communication, e-cash, etc.. We should foster tax competition: break down both harmful tax cartels and double taxation by any other political unit.

    2. We need to offer average users a kind of user experience as Apple provides, and we need to keep this system open to advanced users, like Linux.

    3. We should begin to feel allegiance towards our new, freely chosen political units run on the communication space. We should attract allegiance like the states do we happen to born into. We should know that we have an ethical basis for taking part in tax competition, proud of what we do, and defend ourselves in case of attacks. States may not be nice to us when we break down their cartel.

     

    Future

    As we, the first internet generations of planet Earth, grow up, we shall take control of this place. That is sure as death and taxes.

    We are how we are together. We are our states. We are our companies. We supply and demand our own products and ideals. Our responsibility is how we organize ourselves.

    I think states and companies operating according to their jurisdiction are not willing, and what is more, not even able to meet all the basic needs which originate from our very personship. States may be sufficient for our atoms, yet neither necessary nor sufficient for our bits, spirits and communities.

    We need a vivid net of political units operating in the communication space, able to help find the right place of states in our lives. Evolution will show which of the new political units will survive.

    We seek to make The United Persons one of them.

    We wish to live in a world where we constitute our own alternative online political units,

    • worthy of our love and loyalty,
    • that help manage our bits if and when required, on Earth or among the planets of the solar system when this time will come, and
    • able and willing to pacify any attacking entity.

    What do you feel is the true political unit of your choice?

    How can you help us all to constitute it?

    Internet, January 1, 2010

     

  • mazsa 20:54 on January 1, 2010 Permalink | Reply
    Tags: ,   

    The Constitution of the United Persons 

    [Update: Check the Constitution with Preamble, 27 August 2010: http://theunitedpersons.org/blog/constitution-with-preamble]

    
-----BEGIN PGP SIGNED MESSAGE-----

########################################################
<ol>
<li></li>
<li>The text of this message was stamped by</li>
<li>stamper.itconsult.co.uk with reference 0520941</li>
<li>at 19:10 (GMT) on Wednesday 27 August 2008</li>
<li></li>
<li>For information about the Stamper service see</li>
<li>http://www.itconsult.co.uk/stamper.htm</li>
<li></li>
<li>#######################################################</li>
</ol>

<ul>
<li>-----BEGIN PGP SIGNED MESSAGE-----</li>
</ul>

Hash: SHA512

The Constitution of the United Persons

We the persons who share the ethics that as persons we shall
1. create various persons
2. constitute distinct persons
3. recognise all species of persons
4. reveal the equivalence of persons as persons
5. behave towards all of them as if towards god as a person
6. become members of a potentially universal society of them if that works
7. respect those who are not willing
8. help those who are not able
9. pacify those who attack
10. improve what is not a person

based on the axioms that
1. all 'persons' are agents
2. all parts of a common knowledge partition of agents are agents
3. all members of a possibly fair society of agents are persons
4. all 'persons' declared by persons and able to speak with one voice
are persons

declare the United Persons as a person who must
1. be able to speak with one voice by its members and only by them
2. work based on and in order to this Constitution consistently
3. be and be only immutably defined by this Constitution.
<ul>
<li>-----BEGIN PGP SIGNATURE-----</li>
</ul>

Version: PGP SDK 3.10.2

wsFVAwUBSLT3dHnin1Ot5lFkAQo5Lw//cFl1ICNyEcWYeSKt/QqRFMPsqNjvr8w2
HdlQM8976D71FmZ9WZlbogzT+THUqLmNSD84PZva+fcllGW1hEzkq/Dzq4w6Vz6j
okhU41zbINbfB3Pg94jle6D45+XvpQkLHMOjeJAGvXKDvV3ksKzNXAHJMpcDmzcP
9ycEXLa6jCNQduV7LXPWk7fl0TDLSBwL1Of25uPoiUwSrfj588GJb/8qJ2RdSIkO
8kUr9fY9EWSTCkBlGMqlI+kV+Jb2kSbOcZnpMoGyfgjfbvWtvo7fMr4NuuCiGq5P
iscoAwXf+9c++mAAIx1VySD0M83m+2wInQ3lH2nSpKf05qNWcTMvJpzCLJ9HFVxF
79EC0G5BbjY7tGXzsx5xDGCMLxmM1r8ONByNaOSKioYhQcYJksBAMufzHXawjfjR
uz6S52cFE0PtQp8HUdIXwb+eA8stK+0206LBicqDBFCHdux8pZsUqs7jmHUn/nVi
rXfBebWNUMi/zmvYLLEU1CItV3j84ifCXlOpMW4IbP2W0aplcVKD3VeGSduuiEhx
xs/EsUobybB5QeMOdeOu1Ho7AIS0TbH23L0HsaBITUDJ1lmKOyMUCc8tAMiE4SAk
OrmGykbXL1qevi1986SJXNqIennQazmWeC75bNWDdvuBSF7e08PG1CkFWNtM4vAi
nVElAbjvdvk=
=yANu
<ul>
<li>-----END PGP SIGNATURE-----</li>
</ul>

-----BEGIN PGP SIGNATURE-----
Version: 2.6.3i
Charset: noconv
Comment: Stamper Reference Id: 0520941

iQEVAgUBSLWmiIGVnbVwth+BAQFN6Af7Bg3yhshDkRNNJQpum+7vZAezOcXnnvOC
TXeW8JMRgQdbmcQBggjplA4be55nRyNaHq9iPhFMmKXEa7W9k/ySHMyyz+2W/l07
brRMQzTlhSLJBcfiIeqQFw0lpaqoNOidWOOaJsOiTpB7xfv6dGwdqCX4jmvJtWdm
EVISUdfEQuC0RnYVVNLkdR31L4PnTucY+eaeXLB/NrW+iT1TIic5ByTlb+B0ARvp
i1BKR7jDpa+HLBa9OD6KbrGCf/jVnYwhFvDF2+3iWuKfPWyeuzjG+swpOi+hlXh8
F8gNDAq0LjIKaeHVdpq+P1sm7ttuc1fWigEUi8GgGpuCJYO7whBShQ==
=S3rl
-----END PGP SIGNATURE-----

     

c
compose new post
j
next post/next comment
k
previous post/previous comment
r
reply
e
edit
o
show/hide comments
t
go to top
l
go to login
h
show/hide help
shift + esc
cancel

This site is protected with Urban Giraffe's plugin 'HTML Purified' and Edward Z. Yang's Powered by HTML Purifier. 67114 items have been purified.