Re: Proof and entailment


"herbzet" <herbzet@xxxxxxxxx> a écrit dans le message de news:
477F31BF.628F2DF@xxxxxxxxxxxx


MoeBlee wrote:
"myname" wrote:

Hello,

I'm asked in an assignment to define in a few words
the relationship between "proof" and "entailment".

[...]

In any case, once you've given good definitions of the 'proves' and
'entails' relations ...

Always an excellent first step!

There are a lot of definitions of 'proof' and 'entailment' in the
dictionary. In a text on logic it is very likely to define
'proof' as a syntactic notion and 'entails' as a semantic notion.

Is that a meaningful distinction to you?

--
hz

--
Posted via a free Usenet account from http://www.teranews.com


Hello and thanks for your answers !

The class is called "Formal foundations of linguistic theories".

The question really just is "What is the relationship between
proof and entailment ?"...

The other questions are about things such as semantic compositionality,
finite recursive syntax, logical languages...

I didn't feel like saying "proof" and "entailment" are the same thing,
so I reached the conclusions I gave you in my first post
("proof" is the goal, "entailment" is the way...)



.

Relevant Pages

  • Re: Proof and entailment
    ... MoeBlee wrote: ... I'm asked in an assignment to define in a few words ... 'proof' as a syntactic notion and 'entails' as a semantic notion. ... Posted via a free Usenet account from http://www.teranews.com ...
    (sci.logic)
  • Re: Proof and entailment
    ... I'm asked in an assignment to define in a few words ... don't know what other context you might have by which your answer is ... 'entails' relations then you should go on to mention that for first ... very different senses, it turns out that, in first order, the ...
    (sci.logic)