Lynn Bradshaw via plug on 18 Jan 2022 22:24:10 -0800

[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Re: [PLUG] Since constructed languages came up recently...

Frisian is probably the closest living language relative of English
today, so that's a cool endeavor.

Regarding legal or philosophical matters, that is also very
interesting. There is such a thing as legal automation:

I am under the impression that legal language already tries to nail
down as many details as possible and perhaps something along the lines
of Lojban or maybe proof assistant software like Coq could be useful
in that setting. I'm not sure how rapid the adoption would be since
there's also a heavy reliance on tradition and precedent. (Plus
lawyers aren't always math types.)

I do have to say though that, no matter how much detail gets nailed
down, there always tends to be "squishy" elements in the law. It's not
unique to that field. Our best AIs work as well as they do because
they run on statistics, which is a sweet spot between being
sufficiently well-defined to run on the computers we have today and
also having enough tolerance of ambiguity to function properly in the
real world.

One other fascinating bit about the intersection of computing and law:
the Curry-Howard correspondence between software programs and theorems
has, as I understand it, been used in court to undermine the
legitimacy of software patents because code is isomorphic to theorems
and theorems can't be patented under US law. Here is hopefully
something of a lead:

On Tue, Jan 18, 2022 at 3:20 AM Syeed Ali via plug
<> wrote:
> On Mon, 17 Jan 2022 22:31:04 -0500
> Lynn Bradshaw via plug <> wrote:
> > Anyway, I just wanted to mention the constructed language Lojban:
> >
> >
> One day, humanity will have to craft one or two languages for law and
> philosophy.  I've always wondered if it could be Lojban.
> Courts should not have inexact language, and they should not exclusively
> use the spoken word.  They are also stacked against introverts and the
> socially unprepared, but that's a separate rant.
> -
> I see LibreOffice mostly supports Frisian (Frysk).  It's a language I'm
> developing lessons for as I go.  I didn't realize there was dictionary
> support, I'll put that on my tools list.
> As a further aside, I got to listen to some Scots recently.  That's
> another language that needs some love.  It's so close to English that I
> wonder if a native could just use an en_GB dictionary and build a
> personal dictionary to share.
> ___________________________________________________________________________
> Philadelphia Linux Users Group         --
> Announcements -
> General Discussion  --
Philadelphia Linux Users Group         --
Announcements -
General Discussion  --