> On 27 Dec 2018, at 21:57, Philip Thrift <cloudver...@gmail.com> wrote:
> 
> 
> 
> On Thursday, December 27, 2018 at 6:55:34 AM UTC-6, Bruno Marchal wrote:
> 
>> On 24 Dec 2018, at 14:55, Philip Thrift <cloud...@gmail.com <javascript:>> 
>> wrote:
>> 
>> 
>> 
>> On Monday, December 24, 2018 at 6:55:46 AM UTC-6, Bruno Marchal wrote:
>> 
>>> On 23 Dec 2018, at 13:39, Philip Thrift <cloud...@gmail.com <>> wrote:
>>> 
>>> 
>>> 
>>> On Sunday, December 23, 2018 at 5:20:57 AM UTC-6, Bruno Marchal wrote:
>>> 
>>>> On 21 Dec 2018, at 11:06, Philip Thrift <cloud...@gmail.com <>> wrote:
>>>> 
>>>> 
>>>> 
>>>> On Friday, December 21, 2018 at 3:18:26 AM UTC-6, Bruno Marchal wrote:
>>>> 
>>>>> On 20 Dec 2018, at 14:49, Philip Thrift <cloud...@gmail.com <>> wrote:
>>>>> 
>>>>> The psychical (experiential) states of matter (brain)
>>>> 
>>>> Why a brain? If matter can be conscious, what is the role of the 
>>>> (non-digital) brain?
>>>> 
>>>> 
>>>> 
>>>> 
>>>> 
>>>> 
>>>>> are the real constituents (psychicals) of consciousness. The 
>>>>> brain-as-computer operates with psychicals as a Turing-machine operates 
>>>>> with symbols. 
>>>> 
>>>> I don’t understand. To be sure, I have no idea at all of this could work. 
>>>> Please try to explain like you would explain this to a kid. Up to now, I 
>>>> see only a magical use of word.
>>>> 
>>>> For a logician, a theory works when you can substitute any words by any 
>>>> words. Maybe use the axiomatic presentation, with f_i for the functional 
>>>> symbols, and R_i for the relation symbols. If not, it is hard to see if 
>>>> there is a theory, or just idea-associations.
>>>> 
>>>> Bruno 
>>>> 
>>>> 
>>>> 
>>>> 
>>>> 
>>>> 
>>>> 
>>>> Whether psychicals (experiential states) go down to, say insects, that's 
>>>> one thing scientists are studying:
>>>> 
>>>>     
>>>> https://secure-web.cisco.com/1L-w-yVlIdFYVShzZaeNau0eFudakfOgUw5EoTXb-83M1S2_Ca8rxAun9cwXFnyCp3rZQyLz7lyGWNE1B4Zn1QTBnIKKWOdXW2yzKnRUFnSylfpNCQ3vwOLSntIdU1Kl-bT9eoWMchWAFgyEIY1BR0P6d0it9s-yvTCVmpEhLYQoebOTRTqmiwhTHHm80pScZLrIYZDjF6YLhuCHUjlQbdBvDNrc1xKrrpwnGjYhpszXDaEZI1_12z7CZjn_jWHsC/https%3A%2F%2Fwww.smithsonianmag.com/science-nature/do-insects-have-consciousness-180959484/
>>>>  
>>>> <https://secure-web.cisco.com/1Lj9t6yYbslhSry1oEMPGTsRWOWu3BilEuDJrUlDrmqeJbgSfFk82d46OIqySh5h2HdDjw7DI7DaBrbK4MXnTphHxByFyRwJX0DEW2QG3j2pOL-p1a67FupHBNNaDdMeyHA1CKLNhF5vpsHVw-apCWidddgdUDSb0JcbQdtRH-hwdrcq-3NA69uKvWekpZQo2gHVc0KR_5tRCgtcppHUWTHN-LIhylf7tANXT4ekzu3HZkQiUX_Wh9M1Mixgv4vkjAYKAD-q_DK4MCObiaU6QSmcBSYx1V5xthr4Mt0qAWhk/https%3A%2F%2Fwww.smithsonianmag.com%2Fscience-nature%2Fdo-insects-have-consciousness-180959484%2F>
>>>> 
>>>> Whether they go down to cells, molecules, particles, ... ,that's another 
>>>> thing (the next chapter):
>>>> 
>>>>     
>>>> https://secure-web.cisco.com/1I0rM7nlqsHucDUuLhE30yvCN_pY26lwelEhG9NqrGwfPsSQ6nbLPI8HX1tJML9OFwNHqdy7e_fVf3_93KbKB1cK-VYHm1Srrc5IhWX6IhyGHPmG0YMmN7kSg_s5c3c4bomvpiP-OucF_AsxHHHPrbHgq3-uqNTT4eMrVhazG2uUQ02ICdtDfFMfkrEND3F30NYhahXGYRUzMtFQoTQn13Ft0WoDHyPzcfG9Yx5DWVKzRMfLaJcdI5jJLmWeWaztW/https%3A%2F%2Fwww.penguin.co.uk%2Fbooks/111/1117019/galileo-s-error/9781846046018.html
>>>>  
>>>> <https://secure-web.cisco.com/1mO8HLwwMhYlrW8zhW4aS7vXzx1xP6I1ZqhPEz7TkrHazXHAEZvfnhYbOKO6AiQLsB_7aJNUdePtuvG2fZZpQD2zoByqHfmNuN7B-i2vnLJGt5j436TX9AysqWbVXxDQF-lEvkvBtM6V-t3uvkkisPz3yfiPtqV9vwv3_badbSxEAQFdkrHRiwJfbVDkaWS-j5kFrOYNyXhMqsHyA6JRLp1jKzST-n_NObr3b7sQF0TRJKbPlDmn6f87f8XwV4gIBGAy-U7pJUF6v4YnWbpXtBTVAf7FOIqUerv5FIPaeHOk/https%3A%2F%2Fwww.penguin.co.uk%2Fbooks%2F111%2F1117019%2Fgalileo-s-error%2F9781846046018.html>
>>>> 
>>>>      
>>>> 
>>>> On experiential semantics (for brain-as-computer): The toy example as I've 
>>>> given before is to think of a Turing-type computer, but instead of 
>>>> operating with symbols, it is operating with emojis - but the emojis have 
>>>> actual (material!) realization as experience.
>>> 
>>> 
>>> You lost me. One of my goal is to explain “matter”, and with mechanism, we 
>>> cannot assume it at the start. Mechanism makes any role for some primary 
>>> matter being quite magical.
>>> 
>>> Bruno
>>> 
>>> 
>>> 
>>> 
>>> 
>>> But the point is: Matter is not Mechanistic.
>>> Matter is Experientialistic.
>>> 
>>> That's the whole thing!
>> 
>> But Mechanism implies exactly this: matter is experientialistic (first 
>> person, phenomenological) and indeed not emulable by any Turing machine, and 
>> so Mechanism explains the existence of a non mechanistic phenomenological 
>> matter. For example, to copy any piece of matter, we would need to run the 
>> entire universal dovetailing in a finite time, this entails a “non-cloning” 
>> theorem for matter, confirmed by QM.
>> In arithmetic, the universal machines are confronted with many non 
>> computable things, including first person and consciousness, and matter. 
>> Most arithmetical truth are not computable, and the matter indeterminacy 
>> inherit it by the First Person Indeterminacy on all computations.
>> 
>> Bruno
>> 
>> 
>> 
>> 
>> 
>> Engineers might be happy with imperfect cloning of matter.
> 
> 
> But engineers and physicist will not claim that matter is primary or 
> fundamental. They are neutral on fictionalism in physics. There is no problem 
> there. The problem is only with “religious dogmatic believer” who forbid to 
> doubt physicalism.
> 
> Bruno
> 
> 
> 
> 
> 
> What if conventional mathematics itself is in error by assuming its primary 
> elements are numbers?

Conventional mathematics is informal. It does not assume primary notion. Now, 
numbers are implicitly accepted as elementary notion, but so are finite sets, 
combination, strings of symbols, etc.

With mechanism, all you need to assume explicitly is one universal machinery. 
If you use the comboantors S and K, the numbers can be defined, like with 
Barendrecht numbers VfI, Vf(VfI), Vf(Vf(VfI))), … as I have illustrated 
recently in the Combinator Thread, or like with Church’s numbers, etc.
We could have used the Game-of-Life Patterns, or the lambda expression, or a 
von Neuman (virtual) machine, etc.

I use number because people are more familiar with them. Most people can easily 
conceived that “17 is odd” is true independently of them, but would have an 
harder time to conceive that KKK=K independent of them, even if this does not 
mean much more than the first (left) projection of (K, K) is K.




> 
> (There is arguably something to category/type theory that maybe gets away 
> from this.)
> 
> 
> What if primary elements include/are non-numbers - (qualitative) experiences?

I do not conceive easily that the qualitative can be primary. It is like 
starting from the mystery (qualia, consciousness) to explain the simple 
(numbers, addition, multiplication).
With mechanism, the qualitative requires some machinery (neurons, transistors, 
or numbers, or finite sets, symbols, etc.).

Bruno





> 
> HUMANA.MENTE Journal of Philosophical Studies
> Vol 9 No 31 (2016) 
> <http://secure-web.cisco.com/1if8W1c5rc-A9K41fpkmpzYjvw71w9n3k9Xz0wJ2kQL4kudLalW4KgLlF-zEFiQp42QRd5gQtUY5Q7_09q2vSuMD4PG-qapkWUAikQ9ObQNJHmDnMkOCKbAiRTmdEhZHiRmSTNjWVAyyIKfcVTFpd5IQKyRonR4SImenwN7AngKzy-5KV5fxFmtHEELCXFPVNoXzGPFn9G9KkupZOXB9hcvXhEMZ3-V-zXdIls0YL4WGUzTqQnddLBl0TNswNA4kkWQFGy4koDoYXFr9Qu352Tw/http%3A%2F%2Fwww.humanamente.eu%2Findex.php%2FHM%2Fissue%2Fview%2F23>:
>  The Enactive Approach to Qualitative Ontology: In Search of New Categories
> 
> Introduction 
> <https://secure-web.cisco.com/1J6l3f-Kg39Bb0IFSVaQWiO8rRC7K6do2TJBgaW7bBtp-M_f2pdHIZpPEi0xvRzhaPUb9qImM0gfZ4d7i-zC8aSNHvlE9wnczI-rU5yFmje582HgbqSLt667xQoKwEwcZiU3JfaMI0szw5O2d_B3IlVooCTpX2jen_-J8liu6UlMVT5x9oGJ099IiiGHwqi-ays6Xgz7jWvukRT1KP1OHoTyiFxn1HLVD8BsCvUsdCZE55jqCly1BGFntz1WgDHgJj6XZCy0WdL_kFjiVvqAMHg/https%3A%2F%2Fphilarchive.org%2Farchive%2FPACITT>:
> – the enactive approach opposes the Cartesian bifurcation of reality into 
> psychological and physical
> – complements quantitative categories, offering a mathematical treatment of 
> qualitative aspects of reality
> 
> 
> https://secure-web.cisco.com/1piGfJPg-96mV7Z36ESC8J7C8mEdHLZ-Gf_luRr-RqeA6lqxWX-ZYMf8et0iqKWJUOc9fgHsH3Wl7KXTLcLcu2X-7qZL93W8zzquevY-1UZJOffwk0n6k4uQ1JSrE2nsBW8AWYUacNjnuSSEBoXZj5XB0Hxj3NEsOC6CVXF6puq6eqiYxGVGH7lQltywnzxGBUvJ5W8lfZ_s2izIL3SyjPJ_TqeNgbrrhX9PPqaYhKveCkJ7aIOcfxFMtI2VzLQWHOnvSzKElLbapidu4AO9xew5dXAEVCP9DdYyXL-8eR_o/https%3A%2F%2Fcodicalist.wordpress.com%2F2018%2F12%2F14%2Fmaterial-semantics-for-unconventional-programming%2F
> 
> 
> - pt
> 
> -- 
> You received this message because you are subscribed to the Google Groups 
> "Everything List" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to everything-list+unsubscr...@googlegroups.com 
> <mailto:everything-list+unsubscr...@googlegroups.com>.
> To post to this group, send email to everything-list@googlegroups.com 
> <mailto:everything-list@googlegroups.com>.
> Visit this group at 
> https://secure-web.cisco.com/1lc_og06ZXuQKTOx_TXt7vguB7WyMDV4GNxiR7Tm12ND7VtXDzjdJZEDr32oEmXr-dVJ82fz9SInq4InVeqkHE_sZh9wfg5jI5oNflQEdFLFI9r3Y2jgmUvoi_cBnjCJPgS8F_EQBoSGinpL4JfYDjXHYvUu62lmqqR3nOZavTOtbUx77GE9ChT7NG68sN_m624gmHW7x5dYGcflzm4bZZtH9m-JCA9jOBzP2H7nu5VEaXBRJ-rcC3e3jVXBqoY6a-kmK9pqrIUFxEfeHXxM9WFodErmxbAG3Sd2aPKKrcfY/https%3A%2F%2Fgroups.google.com%2Fgroup%2Feverything-list
>  
> <https://secure-web.cisco.com/1lc_og06ZXuQKTOx_TXt7vguB7WyMDV4GNxiR7Tm12ND7VtXDzjdJZEDr32oEmXr-dVJ82fz9SInq4InVeqkHE_sZh9wfg5jI5oNflQEdFLFI9r3Y2jgmUvoi_cBnjCJPgS8F_EQBoSGinpL4JfYDjXHYvUu62lmqqR3nOZavTOtbUx77GE9ChT7NG68sN_m624gmHW7x5dYGcflzm4bZZtH9m-JCA9jOBzP2H7nu5VEaXBRJ-rcC3e3jVXBqoY6a-kmK9pqrIUFxEfeHXxM9WFodErmxbAG3Sd2aPKKrcfY/https%3A%2F%2Fgroups.google.com%2Fgroup%2Feverything-list>.
> For more options, visit 
> https://secure-web.cisco.com/1gB9_GmPDdEpCRogr6PBWn33SGBK1C6K4MMu02fswnV68UZ_R7Y9R9oQoZkkPbbmIINTy8ZNATfiQnfinno6UguOJ_6TNcewascJF09XOETxTiQ9g0FuNK7acfmAXqLLAvvJ1mQXruKHq7dfpL8Zb4mmmsybqM5-NWR4XQQIPQputyxnfKv2AsHNqZ588-CRQdMJ9ByoTtq_12nDhgbQzwN8rq2zOJInke716rdEIIIeNlecxLPCAQXJoJmwOt3dwKG8dpHL5cj6e-ZN7QIgs34pFHNlI7PXoGBpZ53q7hMU/https%3A%2F%2Fgroups.google.com%2Fd%2Foptout
>  
> <https://secure-web.cisco.com/1gB9_GmPDdEpCRogr6PBWn33SGBK1C6K4MMu02fswnV68UZ_R7Y9R9oQoZkkPbbmIINTy8ZNATfiQnfinno6UguOJ_6TNcewascJF09XOETxTiQ9g0FuNK7acfmAXqLLAvvJ1mQXruKHq7dfpL8Zb4mmmsybqM5-NWR4XQQIPQputyxnfKv2AsHNqZ588-CRQdMJ9ByoTtq_12nDhgbQzwN8rq2zOJInke716rdEIIIeNlecxLPCAQXJoJmwOt3dwKG8dpHL5cj6e-ZN7QIgs34pFHNlI7PXoGBpZ53q7hMU/https%3A%2F%2Fgroups.google.com%2Fd%2Foptout>.

-- 
You received this message because you are subscribed to the Google Groups 
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at https://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to