Re: Ping: dawn, some mvl questions

JOG wrote:
> There is a lot of ad-hoc discussion of lists on cdt. Now logical
> statements, they appeal to me. They seem to provide the basis for a
> solid theoretical framework. I can see where I stand with predicate
> logic.

Perhaps some of the monadic second-order logic (MSO) writings would be of interest to you?

> As such, I would be much obliged if a List-point-of-view advocate,
> could step back from the 'model' for a second, rewinding to the
> original statements themselves, and explain to me how a list ought be
> described in terms of formal logical propositions.

Hopefully someone else can jump in there as I have been away from that world for too long to even be sure what you are asking. I'll illustrate one below.

> Thanks in advance,
> Jim.
>
> (caveat: I'd also appreciate a different example to bloody pizza
> toppings ;)

I like pizza, but bloody pizza toppings don't sound appealing to me either. I like the example of Grandma's recipe card. One possible proposition could be:

RECIPE proposition
Grandma (AUTHOR) has a recipe for fantastic brownies (RECIPE_NAME) that includes 1 c. butter, 4 eggs, 5 squares unsweetened chocolate, 2 T cocoa powder, 1 c sugar... (INGREDIENTS=[(QTY, UNITS, INGREDIENT)] ) with the following instructions... (INSTRUCTIONS).

I don't know if that helps at all. I'm guessing there are some here who do research in the area of your interest and read or write the type of information you are seeking, else some googling or searching ACM papers might show up some good information. If you find something helpful, please pass it along. If you don't find anything, let me know what your precise concerns are related to predicate logic and lists.

Cheers! --dawn Received on Tue May 23 2006 - 00:04:52 CEST