Identi.ca Identi.ca
  • Login
  • Public

    • Public
    • Groups
    • Featured
    • Popular

formal and philosophical logic (logic) group

Notices

  1. Matthias Benkard Matthias Benkard formal and philosophical logic

    Fragen: Drawing web-ready derivation trees?

    Question

    I'd like to write a logic-related blog article. Is there software for drawing derivation trees suitable for embedding in HTML? (Something SVG-based would be next to optimal, I guess.)

    about 2 months ago from web
    • Matthias Benkard Matthias Benkard formal and philosophical logic

      I ended up using MetaPost (with the drv package) and pdf2svg. That works, but I'd still like to collect ideas.

      about 2 months ago
  2. Matthias Benkard Matthias Benkard formal and philosophical logic

    Function follows form: Applying algebra for fractions to derivation rules makes sense. Somewhat. http://mulk.eu/j/134

    about 2 months ago from web at Dortmund, North Rhine-Westphalia, Germany
    • infinity infinity formal and philosophical logic , Matthias Benkard

      @mbenkard Willkommen in der Logik-Gruppe! !logic

      about 2 months ago from web
      • GnuX GnuX formal and philosophical logic

        Thou shalt not commit logical #fallacies http://ur1.ca/d3ho5 !logic

        about 2 months ago from IdentiCurse
        • gryps75 likes this.
        • gryps75 repeated this.
        • Show all 4 replies
        • infinity infinity formal and philosophical logic

          Welcome to the !Logic group :-)

          about 2 months ago
        • GnuX GnuX infinity

          @infinity Thanks!

          about 2 months ago
        • GnuX GnuX gryps75

          @gryps75 I'm glad you like it.

          about 2 months ago
      • infinity infinity formal and philosophical logic , rozzin's identicat ghost

        @rozzin Welcome to the !Logic group :-)

        about a year ago from web
        • Remote profile options...
          Jeff Ratliff Jeff Ratliff Psychedelic Squid

          What, exactly, is similar to 0???

          about a year ago from dent.gomertronic.com at Cincinnati, Ohio, United States
          • Show all 7 replies
          • reality reality Brian van den Broek

            Jesus Is Close To Us All

            about a year ago
          • Brian van den Broek Brian van den Broek reality

            @reality You misunderstand. I did not mean "~∃x (x is simlar to 0)" but "(~∃x x) is simlar to 0" ie "The absence of things is similar to 0."

            about a year ago
          • Brian van den Broek Brian van den Broek formal and philosophical logic , reality

            @reality In other word, !logic pun. (This is why I am rarely invited to parties.)

            about a year ago
        • Brian van den Broek Brian van den Broek formal and philosophical logic

          A !logic course page with cheesecake photos. To, you know, encourage the girls. http://ur1.ca/8e2l0 Context: http://ur1.ca/8e2jz #sad #angry

          about a year ago from Emacs Identica-mode
          • infinity infinity formal and philosophical logic , Percy Camilo Triveño Aucahuasi

            @aucahuasi Welcome to the !Logic group :-)

            Saturday, 01-Oct-11 19:50:35 UTC from web
            • Percy Camilo Triveño Aucahuasi Percy Camilo Triveño Aucahuasi formal and philosophical logic

              @infinity ty nice to see this kind of groups :)

              Friday, 30-Dec-11 08:37:09 UTC
          • infinity infinity formal and philosophical logic

            Formal Representations of Belief: http://plato.stanford.edu/entries/formal-belief/ #Epistemology !Logic

            Friday, 16-Sep-11 10:44:36 UTC from LuneShell
            • infinity infinity math , formal and philosophical logic

              Dedekind’s Contributions to the Foundations of Mathematics: http://plato.stanford.edu/entries/dedekind-foundations/ !Logic !Math

              Wednesday, 07-Sep-11 09:02:01 UTC from LuneShell
              • infinity infinity formal and philosophical logic

                Aristotle on Causality: http://plato.stanford.edu/entries/aristotle-causality/ !Logic #Aristoteles #Causality

                Monday, 05-Sep-11 11:37:15 UTC from LuneShell
                • infinity infinity formal and philosophical logic

                  The Hole Argument: http://plato.stanford.edu/entries/spacetime-holearg/ !Logic #Spacetime

                  Thursday, 01-Sep-11 17:57:34 UTC from LuneShell
                  • infinity infinity formal and philosophical logic

                    John Buridan - http://plato.stanford.edu/entries/buridan/ !Logic

                    Tuesday, 30-Aug-11 20:14:35 UTC from LuneShell
                    • infinity infinity formal and philosophical logic

                      Medieval Theories of Future Contingents: http://plato.stanford.edu/entries/medieval-futcont/ !Logic #Aristoteles #Future

                      Wednesday, 24-Aug-11 20:02:13 UTC from web
                      • infinity infinity formal and philosophical logic

                        Higher-Order Theories of Consciousness: http://plato.stanford.edu/entries/consciousness-higher/ #Consciousness !Logic

                        Friday, 19-Aug-11 14:10:46 UTC from web
                        • infinity infinity formal and philosophical logic

                          I love the Stanford Encyclopedia of Philosophy - http://plato.stanford.edu/ - fantastic site, so many good articles! ♥ !Logic

                          Thursday, 04-Aug-11 23:14:33 UTC from LuneShell
                          • infinity infinity math , formal and philosophical logic

                            Voting Methods - http://plato.stanford.edu/entries/voting-methods/ !Logic !Math

                            Thursday, 04-Aug-11 23:06:35 UTC from LuneShell
                            • infinity infinity formal and philosophical logic

                              Logic of Belief Revision - http://plato.stanford.edu/entries/logic-belief-revision/ !Logic

                              Wednesday, 03-Aug-11 13:24:53 UTC from LuneShell
                              • infinity infinity Science topics , formal and philosophical logic

                                Thermodynamic Asymmetry in Time - http://plato.stanford.edu/entries/time-thermo/ !Logic !Science

                                Sunday, 31-Jul-11 10:58:27 UTC from LuneShell
                                • infinity infinity formal and philosophical logic

                                  ... change and inconsistency ... http://plato.stanford.edu/entries/change/ ... !logic #change ...

                                  Tuesday, 26-Jul-11 20:53:45 UTC from web
                                  • Before

                                  Group actions

                                  • Subscribe
                                  formal and philosophical logic

                                  formal and philosophical logic

                                  Global

                                  http://en.wikipedia.org/wiki/Logic

                                  A group for mathematical and philosophical logic and general Gödliness.

                                  Site notice

                                  Identi.ca is converting to pump.io on 1 June 2013

                                  Members 14

                                  • Matthias Benkard mbenkard
                                  • GnuX atheist
                                  • rozzin rozzin
                                  • Percy Camilo Triveño Aucahuasi aucahuasi
                                  • Shimster shimmybot
                                  • Maximilian Marx mmarx
                                  • mcnalu mcnalu
                                  • srgioviniciusd srgioviniciusd

                                  Admins

                                  infinity infinity

                                  Feeds

                                  • Activity Streams
                                  • RSS 1.0
                                  • RSS 2.0
                                  • Atom
                                  • FOAF
                                  • Help
                                  • About
                                  • FAQ
                                  • TOS
                                  • Privacy
                                  • Source
                                  • Version
                                  • Contact

                                  Identi.ca is a microblogging service brought to you by E14N. It runs the StatusNet microblogging software, version 1.1.0-release, available under the GNU Affero General Public License.

                                  Creative Commons Attribution 3.0 All Identi.ca content and data are available under the Creative Commons Attribution 3.0 license.

                                  Switch to mobile site layout.

                                  Built in Montreal