th the
idea of the 2-slit experiment as a logic gate, but where now instead of
slits one has fields. However, this paper looks a bit dense to read.
LC
On Tuesday, August 6, 2019 at 5:38:54 AM UTC-5, Philip Thrift wrote:
>
>
> https://arxiv.org/abs/1905.02617 :
>
> *A Type Theory for
https://arxiv.org/abs/1905.02617 :
*A Type Theory for Defining Logics and Proofs*
Brigitte Pientka, David Thibodeau, Andreas Abel, Francisco Ferreira,
Rebecca Zucchini
(Submitted on 7 May 2019)
We describe a Martin-Löf-style dependent type theory, called Cocon, that
allows us to mix
> On 29 Sep 2018, at 10:18, Philip Thrift wrote:
>
>
>
> On Saturday, September 29, 2018 at 2:23:05 AM UTC-5, Bruno Marchal wrote:
>
>> On 28 Sep 2018, at 20:33, Philip Thrift >
>> wrote:
>>
>>
>> The Other-Condemning Moral Emotions - A Modal Logic Approach
>>
On Saturday, September 29, 2018 at 2:23:05 AM UTC-5, Bruno Marchal wrote:
>
>
> On 28 Sep 2018, at 20:33, Philip Thrift >
> wrote:
>
>
> The Other-Condemning Moral Emotions - A Modal Logic Approach
> https://dspace.library.uu.nl/handle/1874/319982
>
> A logic for reasoning about counterfactual
> On 28 Sep 2018, at 20:33, Philip Thrift wrote:
>
>
> The Other-Condemning Moral Emotions - A Modal Logic Approach
> https://dspace.library.uu.nl/handle/1874/319982
>
> A logic for reasoning about counterfactual emotions
> https://www.sciencedirect.com/science/article/pii/S0004370210002110
The Other-Condemning Moral Emotions - A Modal Logic Approach
https://dspace.library.uu.nl/handle/1874/319982
A logic for reasoning about counterfactual emotions
https://www.sciencedirect.com/science/article/pii/S0004370210002110
A logic for intention
On 2/26/2012 4:43 PM, Bruno Marchal wrote:
On 26 Feb 2012, at 20:37, Stephen P. King wrote:
On 2/26/2012 12:27 PM, Bruno Marchal wrote:
On 25 Feb 2012, at 20:01, Stephen P. King wrote:
snip
Likewize Bp Dt, and Bp Dt p, are other important variants. I
will say more when I get more
or false.
Jason
--
[SPK]
Not in general, unless one is only going to allow only Boolean
logics to exist. There have been proven to exist logics that have
truth values that range over any set of numbers, not just {0,1}.
Recall the requirement for a mathematical structure to exist: Self
On 27 Sep 2011, at 20:02, meekerdb wrote:
On 9/27/2011 5:28 AM, Jason Resch wrote:
On Tue, Sep 27, 2011 at 6:49 AM, Stephen P. King stephe...@charter.net
wrote:
On 9/26/2011 7:56 PM, Jason Resch wrote:
Okay, there may be other subjects, besides number theory and
arithmetical
one is only going to allow only Boolean
logics to exist. There have been proven to exist logics that have
truth values that range over any set of numbers, not just {0,1}.
Recall the requirement for a mathematical structure to exist:
Self-consistency.
Consistency is a notion applied usually
, true (or
false) are values, like numbers. In fact logics can have truth values
that range over any set of numbers. This puts truth valuations in the
same category as numbers. No?
How does the sentence 17 is prime is a true statement
confer implicit meaning to its referent
or odd, for example,
but I could not think of such a word that conveys the same for true or
false, which is why I used the state of being true or false.
AFAIK, true (or false) are values, like numbers. In fact logics can have
truth values that range over any set of numbers. This puts truth
. In fact logics
can have truth values that range over any set of numbers. This
puts truth valuations in the same category as numbers. No?
True and false can be represented by two different numbers, but I am
not sure that makes them values in the same sense of numbers.
[SPK]
I
logics to exist. There have been proven to exist logics that have
truth values that range over any set of numbers, not just {0,1}.
Recall the requirement for a mathematical structure to exist: Self-
consistency.
Consistency is a notion applied usually to theories, or (chatty)
machines
On 9/27/2011 4:49 AM, Stephen P. King wrote:
[SPK]
Not in general, unless one is only going to allow only Boolean logics to exist.
There have been proven to exist logics that have truth values that range over any set of
numbers, not just {0,1}. Recall the requirement for a mathematical
, like numbers. In fact logics can have
truth
values that range over any set of numbers. This puts truth valuations in
the same
category as numbers. No?
True and false can be represented by two different numbers, but I am not sure that makes
them values in the same sense of numbers
On Tue, Sep 27, 2011 at 1:02 PM, meekerdb meeke...@verizon.net wrote:
Not in general, unless one is only going to allow only Boolean logics
to exist. There have been proven to exist logics that have truth values that
range over any set of numbers, not just {0,1}. Recall the requirement
used the state of being true or false.
AFAIK, true (or false) are values, like numbers. In fact logics can have
truth values that range over any set of numbers. This puts truth valuations
in the same category as numbers. No?
True and false can be represented by two different numbers, but I
On 9/27/2011 1:40 PM, meekerdb wrote:
On 9/27/2011 4:49 AM, Stephen P. King wrote:
[SPK]
Not in general, unless one is only going to allow only Boolean
logics to exist. There have been proven to exist logics that have
truth values that range over any set of numbers, not just {0,1
19 matches
Mail list logo