GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Conversation

Notices

  1. Embed this notice
    がび🐾 (gaby@fedibird.com)'s status on Wednesday, 30-Nov-2022 09:39:14 JST がび🐾 がび🐾

    直前のTootを削除しました。『Appleは広告を撤退させただけじゃなく、本当に全てのツイートを削除して全てのアカウントをアンフォローした』ではなく、Appleはずっと広告だけでツイートはゼロだったそうです。↓参照 [参照]

    In conversation Wednesday, 30-Nov-2022 09:39:14 JST from fedibird.com permalink
    • Embed this notice
      Sakaé Fuchino ? (sakaefuchino@mathstodon.xyz)'s status on Wednesday, 30-Nov-2022 11:21:58 JST Sakaé Fuchino ? Sakaé Fuchino ?
      in reply to
      • rinsuki

      @gaby @rinsuki 数学や computer science で使われる logic では,tweets が一つもない時にも,「すべての tweets を削除した」は true statement なので (論理学では,このタイプの “真理” は vacuous truth と呼ばれます),一般向けの tweet だと問題かもしれませんが,科学者,あるいはコンピュータ文化の人たちがこの tweet の読者なら,こう書いても o.k. かもしれません.ちなみに,私はこの種類の論理からくるコミュニケーションギャップについての議論を含む一般向けの解説/論説をちょっと前に書きました: https://fuchino.ddo.jp/misc/logic-2022-x.pdf この作文が掲載されたのは哲学の素養のある人向けの雑誌だったので,それを意識して,ちょっと凝った文章になってしまってはいますが.一般の人たちと「コンピュータ文化」の中の人の論理の理解の違いによるコミュニケーションの齟齬の問題については,この作文の第4節の最後に述べてあります.上で言った vacuous truthについても,この作文の第3節で触れています.

      In conversation Wednesday, 30-Nov-2022 11:21:58 JST permalink

      Attachments


Feeds

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

GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.