mackwai.blogspot.com
A Miscellany: May 2015
http://mackwai.blogspot.com/2015_05_01_archive.html
Logic, a spice rack, and some other things. Sunday, May 24, 2015. Hexadecimal Digits AND Ligatures! A few years ago, I posted a set of hexadecimal digits that I invented that could serve as an alternative to the customary 0-9 and A-F. My idea was to make a set of digits that could be represented in the standard numeric LCD display where the digit somehow represented a binary version of the number it represents. See here. Like me, who looks at hex dumps. Sunday, May 03, 2015. Subscribe to: Posts (Atom).
mackwai.blogspot.com
A Miscellany: No More Free Variables (for now)
http://mackwai.blogspot.com/2015/02/no-more-free-variables-for-now.html
Logic, a spice rack, and some other things. Friday, February 13, 2015. No More Free Variables (for now). Formerly, somerby.net/mack/logic. Would accept statements with free variables. It would bind them all with existential quantifiers. That seemed to work; it yielded the results I expected for all of the statements I had tried - up until a few days ago, when I found it to fail for some statements. One such statement is " a=b. There is always an a. Subscribe to: Post Comments (Atom). Blogs that I like.
mackwai.blogspot.com
A Miscellany: March 2015
http://mackwai.blogspot.com/2015_03_01_archive.html
Logic, a spice rack, and some other things. Saturday, March 28, 2015. Free Variables Are Back (partially). And other such things for instruction and insight. I knew that there was more than one system of modal logic, but this reading has made me appreciate the need for me to define exactly what system of modal logic somerby.net/mack/logic implements. So I'm working on that, too. Subscribe to: Posts (Atom). Blogs that I like. Pilgrim, not Wanderer. Programming in the 21st Century. Sites that are not blogs.
mackwai.blogspot.com
A Miscellany: Alternative Hexadecimal Digits
http://mackwai.blogspot.com/2009/07/alternative-hexadecimal-digits.html
Logic, a spice rack, and some other things. Thursday, July 02, 2009. I'm not complaining about the convention of using characters 0-9 and A-F as hexadecimal digits. It's a good system; it's easy to learn, since most of us in the Western World have known the meaning of 0-9 and the order of the alphabet since childhood. But what if we could start over with only practical concerns (apart from the value of keeping a well-recognized and heavily-used convention) to guide us? They should be easy to learn. Of a ...
mackwai.blogspot.com
A Miscellany: March 2014
http://mackwai.blogspot.com/2014_03_01_archive.html
Logic, a spice rack, and some other things. Saturday, March 29, 2014. Investigating Logical Arguments with somerby.net/mack/logic. I created a web application. First off, I'm going to strip the arguments down to what I think is the essential logic that makes both arguments work. I don't suppose this will be agreeable to everyone, at least not without some persuasion, but I'll just go with it for now and try to defend myself later if I have to. So, for Plantinga's argument I will use:. G- []G G - G. Befor...
mackwai.blogspot.com
A Miscellany: Hexadecimal Digits AND Ligatures!
http://mackwai.blogspot.com/2015/05/hexadecimal-digits-and-ligatures.html
Logic, a spice rack, and some other things. Sunday, May 24, 2015. Hexadecimal Digits AND Ligatures! A few years ago, I posted a set of hexadecimal digits that I invented that could serve as an alternative to the customary 0-9 and A-F. My idea was to make a set of digits that could be represented in the standard numeric LCD display where the digit somehow represented a binary version of the number it represents. See here. Like me, who looks at hex dumps. Subscribe to: Post Comments (Atom).
mackwai.blogspot.com
A Miscellany: August 2014
http://mackwai.blogspot.com/2014_08_01_archive.html
Logic, a spice rack, and some other things. Sunday, August 17, 2014. O Perl, how I love you. Here is a Perl subroutine that finds the greatest common divisor of two integers:. My $x, my $y ) =. Map abs, grep { $ } @ ;. Gcd( $y, $x % $y ) : $x. And here is a Perl subroutine that finds the greatest common divisor of any number of integers (including 0 integers, for which it returns undef. My $x, my $y, my @others) =. Map abs, grep { $ } @ ;. Gcd( $y, $x % $y, @others ) : $x. Let me explain what I mean by "...
mackwai.blogspot.com
A Miscellany: February 2014
http://mackwai.blogspot.com/2014_02_01_archive.html
Logic, a spice rack, and some other things. Saturday, February 01, 2014. Here's a web application that decides simple statements in a fragment of first-order symbolic logic: somerby.net/mack/logic. It's based on that .NET console application I was calling "Monadic Predicate Logic". Subscribe to: Posts (Atom). Blogs that I like. Pilgrim, not Wanderer. Programming in the 21st Century. Typewriter Monkey Task Force. Sites that are not blogs. G K Chesterton's Works on the Web. Kenneth E. Bailey.
mackwai.blogspot.com
A Miscellany: January 2015
http://mackwai.blogspot.com/2015_01_01_archive.html
Logic, a spice rack, and some other things. Saturday, January 24, 2015. Another Square of Opposition. In my former post, I showed Terrence Parsons' theory of Aristotle's Square of Opposition in symbolic form. I also noted that the Square of Opposition holds up under the modern interpretation of the four forms of Term Logic if it is assumed a priori. That the subject terms of the forms is non-empty (I am not the first to note this; see section 2.2.2 of iLogic. Thursday, January 01, 2015. On the Square....
mackwai.blogspot.com
A Miscellany: November 2014
http://mackwai.blogspot.com/2014_11_01_archive.html
Logic, a spice rack, and some other things. Friday, November 28, 2014. Feedback for somerby.net/mack/logic. Anyone who wishes to comment on somerby.net/mack/logic. Please leave your comments here. Subscribe to: Posts (Atom). Blogs that I like. Pilgrim, not Wanderer. Programming in the 21st Century. Typewriter Monkey Task Force. Sites that are not blogs. G K Chesterton's Works on the Web. Kenneth E. Bailey. Feedback for somerby.net/mack/logic. View my complete profile.
