Australasian Association for Logic
Australasian Association for Logic
  • 107
  • 15 246

วีดีโอ

James Carr Locality in Residuated Lattice Models
มุมมอง 36วันที่ผ่านมา
James Carr Locality in Residuated Lattice Models
Jonte Deakin Weak and Strong Bi Intuitionistic Logics from an Abstract Algebraic Logic Perspective
มุมมอง 51วันที่ผ่านมา
Jonte Deakin Weak and Strong Bi Intuitionistic Logics from an Abstract Algebraic Logic Perspective
Joseph McDonald Canonical Completion and Duality for Cylindric Ortholattices
มุมมอง 29วันที่ผ่านมา
Joseph McDonald Canonical Completion and Duality for Cylindric Ortholattices
Sara L Uckelman and Ben Steer "Bad grammar as well as bad logic" Christine Ladd Franklin on Bert
มุมมอง 51วันที่ผ่านมา
Sara L Uckelman and Ben Steer "Bad grammar as well as bad logic" Christine Ladd Franklin on Bert
Dominik Kirst and Ian Shillito A Succinct and Verified Completeness Proof for First Order Bi Intu
มุมมอง 23วันที่ผ่านมา
Dominik Kirst and Ian Shillito A Succinct and Verified Completeness Proof for First Order Bi Intu
John Slaney SubDL Is Dead; Long Live subDL
มุมมอง 18วันที่ผ่านมา
John Slaney SubDL Is Dead; Long Live subDL
Fernando Cano Jorge Inconsistent Sets and How to Compute Them
มุมมอง 36วันที่ผ่านมา
Fernando Cano Jorge Inconsistent Sets and How to Compute Them
Isabella Scott Computability Theory of Existentially Closed Groups
มุมมอง 56วันที่ผ่านมา
Isabella Scott Computability Theory of Existentially Closed Groups
Annalisa Conversano Applications of o minimality to groups and rings
มุมมอง 35วันที่ผ่านมา
Annalisa Conversano Applications of o minimality to groups and rings
Alberto Paparella Reasoning with Many Valued Interval Temporal Logic
มุมมอง 90วันที่ผ่านมา
Alberto Paparella Reasoning with Many Valued Interval Temporal Logic
Ben Blumson Three Valued Conditionals
มุมมอง 13วันที่ผ่านมา
Ben Blumson Three Valued Conditionals
Gemma Robles A Connexive 4 valued Implication Expansion of Belnap Dunn Logic with the Variable Sha
มุมมอง 2514 วันที่ผ่านมา
Gemma Robles A Connexive 4 valued Implication Expansion of Belnap Dunn Logic with the Variable Sha
Mikhail Katz A Leibniz:NSA Comparison
มุมมอง 12414 วันที่ผ่านมา
Mikhail Katz A Leibniz:NSA Comparison
Ramaz Liparteliani On the Theory of Epistemic Lukasiewicz Logic Corresponding to the Chang Algebra
มุมมอง 3914 วันที่ผ่านมา
Ramaz Liparteliani On the Theory of Epistemic Lukasiewicz Logic Corresponding to the Chang Algebra
Frank Stephan Languages Given by Finite Automata Over the Unary Alphabet
มุมมอง 1014 วันที่ผ่านมา
Frank Stephan Languages Given by Finite Automata Over the Unary Alphabet
Tomasz Kowalski Embedding lattice ordered groups into lattice ordered groups whose all automorphis
มุมมอง 3214 วันที่ผ่านมา
Tomasz Kowalski Embedding lattice ordered groups into lattice ordered groups whose all automorphis
Nick Smith Proving Oneself
มุมมอง 13314 วันที่ผ่านมา
Nick Smith Proving Oneself
Nathaniel Gan Relative Completeness
มุมมอง 1614 วันที่ผ่านมา
Nathaniel Gan Relative Completeness
Andre Nies Finite Automaton Presentable Groups Examples and Non Examples
มุมมอง 2514 วันที่ผ่านมา
Andre Nies Finite Automaton Presentable Groups Examples and Non Examples
Noam Greenberg Effective descriptive set theory and Wadge classes
มุมมอง 2614 วันที่ผ่านมา
Noam Greenberg Effective descriptive set theory and Wadge classes
Masanobu Toyooka Star Semantics for Empirical Negation
มุมมอง 3114 วันที่ผ่านมา
Masanobu Toyooka Star Semantics for Empirical Negation
Cláudia Nalon and Dirk Pattinson Non Monotonic Modal Logics From Sequent to Resolution Calculi
มุมมอง 2514 วันที่ผ่านมา
Cláudia Nalon and Dirk Pattinson Non Monotonic Modal Logics From Sequent to Resolution Calculi
Tim French Proof Theory For Aleatoric Logic
มุมมอง 5814 วันที่ผ่านมา
Tim French Proof Theory For Aleatoric Logic
Davide Sutto Axiomatizing the Weak Iterative Conception of Set
มุมมอง 4814 วันที่ผ่านมา
Davide Sutto Axiomatizing the Weak Iterative Conception of Set
Karen Green Some ‘Objects of Thought’ Are Not Objects
มุมมอง 3714 วันที่ผ่านมา
Karen Green Some ‘Objects of Thought’ Are Not Objects
Zoltan Kocsis The Probability of Excluded Middle and the Satisfiability Gap of Classical Principle
มุมมอง 2614 วันที่ผ่านมา
Zoltan Kocsis The Probability of Excluded Middle and the Satisfiability Gap of Classical Principle
Sankha Basu Paracomplete Probabilities
มุมมอง 2514 วันที่ผ่านมา
Sankha Basu Paracomplete Probabilities
Sigfrido Ciletti A Zero One Law for Propositional Intuitionistic Logic
มุมมอง 2014 วันที่ผ่านมา
Sigfrido Ciletti A Zero One Law for Propositional Intuitionistic Logic
Rashed Ahmad A Case for Weak Kleene ST
มุมมอง 6014 วันที่ผ่านมา
Rashed Ahmad A Case for Weak Kleene ST

ความคิดเห็น

  • @Ерофеева-и7ч
    @Ерофеева-и7ч 13 วันที่ผ่านมา

    Thanks for the forecast! I have a quick question: I have a SafePal wallet with USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). How should I go about transferring them to Binance?

  • @Синельникова-з4й
    @Синельникова-з4й 13 วันที่ผ่านมา

    Thanks for the forecast! A bit off-topic, but I wanted to ask: My OKX wallet holds some USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). Could you explain how to move them to Binance?

  • @kurtgodel5236
    @kurtgodel5236 13 วันที่ผ่านมา

    3:10 "dede kind"????

  • @KatelynnWitty
    @KatelynnWitty 17 วันที่ผ่านมา

    You're doing a fantastic job! Could you help me with something unrelated: My OKX wallet holds some USDT, and I have the seed phrase. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). How should I go about transferring them to Binance?

  • @JennyBrown-q6w
    @JennyBrown-q6w 17 วันที่ผ่านมา

    Aprecio mucho tus esfuerzos! Tengo una pregunta rápida: Tengo una billetera SafePal con USDT y tengo la frase de recuperación. (alarm fetch churn bridge exercise tape speak race clerk couch crater letter). ¿Cómo puedo transferirlos a Binance?

  • @DarrenMcStravick
    @DarrenMcStravick 18 วันที่ผ่านมา

    UWA producing some bangers as per usual

  • @MrMentalpuppy
    @MrMentalpuppy 7 หลายเดือนก่อน

    Insightful video!

  • @die_schlechtere_Milch
    @die_schlechtere_Milch 8 หลายเดือนก่อน

    9:32 What? Phenomenology, the metaphysical underpinnning of National Socialism? Because Husserl's most famous non-jewish student was a Nazi?

  • @mathematicsandstuff
    @mathematicsandstuff 9 หลายเดือนก่อน

    Personally, I like the Brian Magee series... He set up to investigate exactly the same stuff George Riley Scott investigated in the fifties, but somehow, nobody knows how, the Home Office Dossiers got buried!!! Can you spot the *cannibal* in the Brian Magee series?? That's Iris Murdoch, sir.

  • @ValentinBrutusBura
    @ValentinBrutusBura 11 หลายเดือนก่อน

    Flamingoes, mobile Sierpinski Triangles, and on-the-ground hardware, right here in Te Aro, makes a 40 year old man fall of their feet due to stroke, blame it on tobacco. Hah.

  • @ValentinBrutusBura
    @ValentinBrutusBura 11 หลายเดือนก่อน

    The car that I want?? So I am the one who wants a car! It's time for Flamingoes gentlemen. Problems?? :))

  • @ValentinBrutusBura
    @ValentinBrutusBura 11 หลายเดือนก่อน

    In any case. My research will always be public, dear fellow researchers. That's because: 1) the Earth is actually flat, as you should know by now, and 2) I don't like Aliens ruining Cathedrals. Cool?

  • @ValentinBrutusBura
    @ValentinBrutusBura 11 หลายเดือนก่อน

    Maybe there's a language barrier here. Maybe I am the native Englishman. Who knows.

  • @ValentinBrutusBura
    @ValentinBrutusBura 11 หลายเดือนก่อน

    Mister Cress. Three questions. Year of Birth. Are you still getting aroused from time to time. Describe your Math achievements in not more than two sentences.

  • @razzullie
    @razzullie 11 หลายเดือนก่อน

    wow!

  • @razzullie
    @razzullie 11 หลายเดือนก่อน

    Have not seen him for a long time!

  • @aniketsharma5870
    @aniketsharma5870 11 หลายเดือนก่อน

    Is it possible for the handouts for this video to be shared. I am currently working on a thesis on theories of quantification and Marcus-Quine Debate about the Substitutional Versus Objectual Interpretations (respectively) of First Order Binary Quantifiers - and would really benefit from said handouts.

  • @hebozhe
    @hebozhe 11 หลายเดือนก่อน

    I generalized this for intuitionistic fragment {\/, /\, and ~} using classical truth-tables and a corollary of Gilvenko's theorem. I'll see if there's applicability of this to the conditional. "Hacking Truth-Tables" in Google should link to the article.

  • @hebozhe
    @hebozhe 11 หลายเดือนก่อน

    I do have a use case for it, but starting from the atomics.

  • @Mentat1231
    @Mentat1231 11 หลายเดือนก่อน

    Is there any way to think of the Barcan schema that doesn't run afoul of the usual domain concerns? It's easy to derive from the Barcan sentence that ◇∃x(Bx) -> ∃x(◇Bx), which seems clearly false. Does translating this into Advicenna's way help?

  • @Medievalists
    @Medievalists ปีที่แล้ว

    Any details on when and where this took place?

  • @corneliuscain5351
    @corneliuscain5351 ปีที่แล้ว

    Promo-SM

  • @valentinussofa4135
    @valentinussofa4135 ปีที่แล้ว

    Can I have the access to this paper or slide presentation? Thanks before. 🙏

  • @amanasleep3369
    @amanasleep3369 ปีที่แล้ว

    based

  • @KAClown
    @KAClown ปีที่แล้ว

    I would be interested to see this done with probability amplitudes and quantum probability theory.

  • @KAClown
    @KAClown ปีที่แล้ว

    Cool, now do the dual calculus for counter-intuitive logic (LDJ or coLJ).

  • @TrggrWarning
    @TrggrWarning ปีที่แล้ว

    What the heck is going on here? lol

  • @liammcooper
    @liammcooper ปีที่แล้ว

    As someone interested in how theoreticians 'play'/'perform' the role of theoretician, I find the concept that "there was something highly emotional about Quine's feeling toward modal logic" fascinating. I think a lot of discourse in many domains contains high amount of pathos; we can just see how people adamantly denounced Cantor's theory of 'transfinite', or the emotional toll that defending his theories had on Ludwig Boltzmann (just two examples from mathematics) shows that despite being in the 'rational' tradition, often academics get highly emotionally invested -- which may or may not produce further disputes/schisms in traditions, which their ideas attempted to reconcile originally.

  • @cyberpunkworld
    @cyberpunkworld ปีที่แล้ว

    There existed a man who, officially, was terrified of the possibility of Ghosts in his Refrigerator, so he's done something about it, yet he was so artistic in what he's done that not many people understand his very simple yet highly technical argument :)

  • @terencenxumalo1159
    @terencenxumalo1159 ปีที่แล้ว

    good work

  • @teetsanbeer
    @teetsanbeer 2 ปีที่แล้ว

    I agree with you, it's amazing to have this record. I once read in Takeuti's autobiography that Kleene was a very tall guy with a profound voice describing him as a pole with a megaphone.

  • @daveclark9411
    @daveclark9411 2 ปีที่แล้ว

    ρɾσɱσʂɱ

  • @valentinussofa4135
    @valentinussofa4135 2 ปีที่แล้ว

    Wow. Thanks Sir. Great lecture. I love it. 😇🙏

  • @amanasleep3369
    @amanasleep3369 2 ปีที่แล้ว

    Fascinating, never heard Kleene's voice before. The voice in my mind when reading his work will sound quite different from now on! also, lol @ 3:20

    • @teetsanbeer
      @teetsanbeer 2 ปีที่แล้ว

      Neither do I and I am fascinated. Gaisi Takeuti in his autobiography says that Kleene was very tall and had a profound voice, describing him as a pole with a megaphone.

  • @LEEEEMO
    @LEEEEMO 2 ปีที่แล้ว

    Ruth was not an easy person to deal with. She made enemies because of her personality.